Computability theory

MaRDI QIDQ2851819zbMATH OpenFDO

Authors S. Barry Cooper

Publication date 4 October 2013

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Turing machines and related notions (03D10)

Recommendations

• scientific article; zbMATH DE number 1955470
• Directions for computability theory beyond pure mathematical
• Turing computability. Theory and applications
• Alan Turing and the foundations of computable analysis
• The concept of computability

Cited in

(22)

• Mysteries of mathematics and computation
• Toward a generalized computability theory
• Computation as social agency: what, how and who
• Computability issues for adaptive logics in multi-consequence standard format
• Turing computability: structural theory
• Theory of computation.
• A survey on universal computably enumerable equivalence relations
• Philosophy of Computation
• Directions for computability theory beyond pure mathematical
• The Foundations of Computability Theory
• The Extended Turing Model as Contextual Tool
• scientific article; zbMATH DE number 1285742 (Why is no real title available?)
• scientific article; zbMATH DE number 1061261 (Why is no real title available?)
• Incomputability emergent, and higher type computation
• scientific article; zbMATH DE number 6164359 (Why is no real title available?)
• The Foundations of Computability Theory
• Swarm Intelligence
• The Turing universe in the context of enumeration reducibility
• The incomputable
• A roadmap for TAMC
• Computability and complexity theory
• Theoretical computer science: computability, decidability and logic

This page was built for publication: Computability theory

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