Remarks on the development of computability

DOI10.1080/01445348308837055zbMath0529.03015OpenAlexW2069157621WikidataQ58438143 ScholiaQ58438143MaRDI QIDQ3310596

Stewart Shapiro

Publication date: 1983

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445348308837055

zbMATH Keywords

Church's thesiscomputability theoryHilbert programalgorithmic notionsGoedel's incompleteness theoremuniversal algorithmic languages

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Recursive functions and relations, subrecursive hierarchies (03D20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Mechanism, mentalism, and metamathematics. An essay on finitism
• Algebra and logic. Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia
• On some recent criticism of Church's thesis
• General recursive functions of natural numbers
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• An Unsolvable Problem of Elementary Number Theory
• Finite combinatory processes—formulation
• On Computable Numbers, with an Application to the Entscheidungsproblem
• On notation for ordinal numbers
• Recursively enumerable sets of positive integers and their decision problems
• String theory

This page was built for publication: Remarks on the development of computability