Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 4 of 4 for “"Church-Turing thesis"”.

  1. Turing machines, computers and artificial intelligence

    … computation with current digital equipment. The Church -Turing thesis and the specific properties of Turing machines are examined and some of the philosophical 'in principle' objections, such as the application of Gödel's incompleteness theorem, are discussed. It is argued that the …

    unsw Repository record for Turing machines, computers and artificial intelligence (opens in a new tab)

  2. Games, puzzles, and computation

    … with two-player games. In the first half of this thesis, I develop the idea of game as computation to a greater degree than has been done previously. I present a general family of games, called Constraint Logic, which is both mathematically simple and ideally suited for reductions to many actual …

    mit Repository record for Games, puzzles, and computation (opens in a new tab)

  3. On Near-Term Quantum Computation: Theoretical Aspects of Variational Quantum Algorithms and Quantum Computational Supremacy

    … Of course, there are several ideas, and this thesis contributes to the theory underpinning some of these ideas. It has two parts, corresponding to two of the most natural directions to pursue in searching for applications of near-term quantum computers. The first part is concerned with …

    mit Repository record for On Near-Term Quantum Computation: Theoretical Aspects of Variational Quantum Algorithms and Quantum Computational Supremacy (opens in a new tab)

  4. ON THE FOUNDATIONS OF COMPUTABILITY THEORY

    … 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 …

    uwo Repository record for ON THE FOUNDATIONS OF COMPUTABILITY THEORY (opens in a new tab)