scientific article; zbMATH DE number 5064404

MaRDI QIDQ5493757zbMATHFDO

Authors Oron Shagrir

Publication date 16 October 2006

zbMATH Keywords

Turing computability

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Recursive functions and relations, subrecursive hierarchies (03D20) Turing machines and related notions (03D10)

Recommendations

• Godel on computability
• Logical Approaches to Computational Barriers
• Computability. Turing, Gödel, Church, and beyond
• Gödel and Turing's thesis
• Computation and intractability: echoes of Kurt Gödel
• scientific article; zbMATH DE number 1869992
• Gödel on Tarski
• scientific article; zbMATH DE number 205734
• On Gödel's incompleteness theorems

Cited in

(16)

• What is the Church-Turing Thesis?
• Kurt Gödel's Anticipation of the Turing Machine: A Vitalistic Approach
• A new Gödelian argument for hypercomputing minds based on the busy beaver problem
• Gödel and Turing's thesis
• Computability. Turing, Gödel, Church, and beyond
• scientific article; zbMATH DE number 5187689 (Why is no real title available?)
• Gödel, Nagel, minds, and machines
• Logical Approaches to Computational Barriers
• On Turing machines knowing their own Gödel-sentences
• scientific article; zbMATH DE number 1909820 (Why is no real title available?)
• Gödel's reception of Turing's model of computability: the shift of perception in 1934
• Computation and intractability: echoes of Kurt Gödel
• Can Church's thesis be viewed as a Carnapian explication?
• Gödel's philosophical challenge (to Turing)
• scientific article; zbMATH DE number 1869992 (Why is no real title available?)
• Godel on computability

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5493757)