Computability and Incomputability

DOI10.1007/978-3-540-73001-9_75MaRDI QIDQ5425375zbMATH OpenOpenAlexFDO

Authors Robert I. Soare

Publication date 13 November 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73001-9_75

zbMATH Keywords

Alan TuringChurch-Turing Thesiscomputabilitycomputability in analysiscomputable approximationseffectively continuous functions on realsKurt Gödelstrong reducibilities reexaminedTuring \(a\)-machineTuring \(o\)-machine

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Turing machines and related notions (03D10)

Recommendations

• scientific article; zbMATH DE number 4068851
• Turing oracle machines, online computing, and three displacements in computability theory
• Alan Turing and the foundations of computable analysis
• Publication:4941989
• The Foundations of Computability Theory

Cited in

(19)

• Turing oracle machines, online computing, and three displacements in computability theory
• The concept of computability
• On the power of recursive word-functions without concatenation
• Strong determinism vs. computability
• On the impact of Turing machines
• Incomputability in physics and biology
• Formalism and intuition in computability
• Computability and analysis, a historical approach
• Computability in Specification
• scientific article; zbMATH DE number 4068851 (Why is no real title available?)
• scientific article; zbMATH DE number 4128774 (Why is no real title available?)
• scientific article; zbMATH DE number 1512850 (Why is no real title available?)
• Why Turing’s Thesis Is Not a Thesis
• scientific article; zbMATH DE number 895229 (Why is no real title available?)
• scientific article; zbMATH DE number 1390011 (Why is no real title available?)
• Mathematical and technological computability
• scientific article; zbMATH DE number 7533333 (Why is no real title available?)
• The incomputable
• New Computational Paradigms

This page was built for publication: Computability and Incomputability

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