Incomputability emergent, and higher type computation

DOI10.1007/978-3-319-22156-4_13MaRDI QIDQ4637227zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 18 April 2018

Published in Turing’s Revolution (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-22156-4_13

zbMATH Keywords

emergenceincomputabilityTuring definabilityhigher type computation

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

• The Extended Turing Model as Contextual Tool
• The machine as data: a computational view of emergence and definability
• Computability theory
• Alan Turing and the foundations of computable analysis
• Emergence as a computability-theoretic phenomenon

Cites work

• scientific article; zbMATH DE number 1955470 (Why is no real title available?)
• scientific article; zbMATH DE number 2204752 (Why is no real title available?)
• scientific article; zbMATH DE number 3264932 (Why is no real title available?)
• scientific article; zbMATH DE number 3104649 (Why is no real title available?)
• Alan Turing. His work and impact
• Algorithmic randomness and complexity.
• Computability and models. Perspectives east and west
• Higher-order computability
• Semantic information and the correctness theory of truth
• Systems of Logic Based on Ordinals^†
• The chemical basis of morphogenesis

Cited in

(7)

• The Extended Turing Model as Contextual Tool
• Emergence as a computability-theoretic phenomenon
• scientific article; zbMATH DE number 3933051 (Why is no real title available?)
• scientific article; zbMATH DE number 4087654 (Why is no real title available?)
• Extending and interpreting Post's programme
• Type structure and chiral breaking in the standard model
• The machine as data: a computational view of emergence and definability

This page was built for publication: Incomputability emergent, and higher type computation

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