scientific article; zbMATH DE number 5064404
From MaRDI portal
Publication:5493757
zbMATH Open1105.03012MaRDI QIDQ5493757FDOQ5493757
Authors: Oron Shagrir 
Publication date: 16 October 2006
Title of this publication is not available (Why is that?)
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
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)
Cited In (15)
- What is the Church-Turing Thesis?
- Godel on computability
- Gödel's reception of Turing's model of computability: the shift of perception in 1934
- Gödel's philosophical challenge (to Turing)
- Title not available (Why is that?)
- Logical Approaches to Computational Barriers
- Title not available (Why is that?)
- 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
- Computation and intractability: echoes of Kurt Gödel
- Gödel and Turing's thesis
- Computability. Turing, Gödel, Church, and beyond
- Title not available (Why is that?)
- Can Church's thesis be viewed as a Carnapian explication?
- On Turing machines knowing their own Gödel-sentences
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)
