Hypercomputation: Towards an extension of the classical notion of Computability?

Abstract

The purpose of this thesis is to make an analysis of the concept of Hypercomputation and of some hypermachines. This thesis is separated in three main parts. We start in the first chapter with an analysis of the concept of Classical Computability with the Turing Machine and the Church-Turing thesis as a main reference and afterwards, in the second chapter, we continue with an analysis of hypercomputation and some hypermachines. Attention is given to the possible physical realization of these machines and their usefulness. In the third chapter a superficial introduction to Quantum Computing is made and a brief analysis to a quantum hypercomputational model, Tien D. Kieu's Adiabatic Quantum Computing.

References in corpus (8)

• Quantum Computing
• Consistency of the Adiabatic Theorem
• An Elementary Proof of the Quantum Adiabatic Theorem
• Hypercomputation: computing more than the Turing machine
• Quantum adiabatic algorithm for Hilbert's tenth problem: I. The algorithm
• On the identification of the ground state based on occupation probabilities: An investigation of Smith's apparent counterexamples
• Hypercomputability of quantum adiabatic processes: Fact versus Prejudices
• Reply to Andrew Hodges