Computation, hypercomputation, and physical science

DOI10.1016/J.JAL.2008.09.007zbMath1167.03002OpenAlexW2169365145MaRDI QIDQ959046

Konstantine Arkoudas

Publication date: 11 December 2008

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2008.09.007

zbMATH Keywords

quantum computersChurch-Turing thesishypercomputationGandy's thesisquantum computabilityTuring limit

Mathematics Subject Classification ID

Quantum computation (81P68) Philosophical and critical aspects of logic and foundations (03A05) Recursive functions and relations, subrecursive hierarchies (03D20) General topics in artificial intelligence (68T01) Turing machines and related notions (03D10) General topics in the theory of computing (68Q01)

Related Items (1)

Mathematical and Technological Computability

Uses Software

• ALGOL 60

Cites Work

• The wave equation with computable initial data such that its unique solution is not computable
• Does a rock implement every finite-state automaton?
• On code generation in a PASCAL compiler
• The B-Book
• Turing's O-machines, Searle, Penrose and the brain
• Computability and Recursion
• The Mechanical Evaluation of Expressions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computation, hypercomputation, and physical science