Incomputability Emergent, and Higher Type Computation

DOI10.1007/978-3-319-22156-4_13zbMath1401.03069OpenAlexW2229702459WikidataQ59896051 ScholiaQ59896051MaRDI QIDQ4637227

No author found.

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)

Cites Work

• Semantic information and the correctness theory of truth
• Algorithmic Randomness and Complexity
• Higher-Order Computability
• The chemical basis of morphogenesis
• Systems of Logic Based on Ordinals^†
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Incomputability Emergent, and Higher Type Computation