ON THE FOUNDATIONS OF COMPUTABILITY THEORY

The principal motivation for this work is the observation that there are significant deficiencies in the foundations of conventional computability theory. This thesis examines the problems with conventional computability theory, including its failure to address discrepancies between theory and practice in computer science, semantic confusion in terminology, and limitations in the scope of conventional computing models. In light of these difficulties, fundamental notions are re-examined and revised definitions of key concepts such as “computer,” “computable,” and “computing power” are provided. A detailed analysis is conducted to determine desirable semantics and scope of applicability of foundational notions. The credibility of the revised definitions is ascertained by demonstrating by their ability to address identified problems with conventional definitions. Their practical utility is established through application to examples. Other related issues, including hidden complexity in computations, subtleties related to encodings, and the cardinalities of sets involved in computing, are examined. A resource-based meta-model for characterizing computing model properties is introduced. The proposed definitions are presented as a starting point for an alternate foundation for computability theory. However, formulation of the particular concepts under discussion is not the sole purpose of the thesis. The underlying objective of this research is to open discourse on alternate foundations of computability theory and to inspire re-examination of fundamental notions.

Name thesis:degree_name

Ph D

Discipline thesis:degree_discipline

Computer Science

Year dc:date.issued

2009

Author dc:creator

• Hoeberechts, Maia

Advisor dc:contributor.advisor

• Jiirgensen, Helmut

• computability
• uncomputability
• Turing machines
• models of computation
• computing power
• Church-Turing thesis
• encodings

Handle dc:identifier.uri

https://hdl.handle.net/20.500.14721/18981

OAI identifier oai:identifier

oai:uwo.scholaris.ca:20.500.14721/18981