Title: | Models of hypercomputation | Language: | English | Authors: | Acar, Erman | Qualification level: | Diploma | Keywords: | Hyperberechenbarkeit; Church-Turing These; Quantencomputer; relativistische Maschinenmodelle hypercomputation; Church-Turing Thesis; quantum computers; relativistic models of hypercomputation |
Advisor: | Leitsch, Alexander | Issue Date: | 2012 | Number of Pages: | 95 | Qualification level: | Diploma | Abstract: | Der Darlegung von Grundsätzen der Berechenbarkeitstheorie folgt die Diskussion einiger Versionen und Interpretationen der sogenannten Church-Turing- These. Anschließend wird eine formale Definition der Hyperberechenbarkeit gegeben. Daraufhin werden einige abstrakte und physikalische Hypermaschinenmodelle aus der Literatur präsentiert. Diese sind in erster Linie Turingmaschinen mit unendlicher Zeit, Quantencomputer und relativistische Maschinenmodelle. Grundlegende Prinzipien dieser Modelle und ihre Rechenkraft werden diskutiert. After presenting preliminary knowledge in Computability Theory, some versions and interpretations of the so called Church-Turing thesis will be discussed. A formal definition of hypercomputation will be given. Some proposed abstract and physical hypermachine models from the literature will be presented. These will be (mainly) innite time Turing machines, quantum computers and relativistic machine models. Basic principles behind these models and their computational power will be discussed. |
URI: | https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-52279 http://hdl.handle.net/20.500.12708/13335 |
Library ID: | AC07813100 | Organisation: | E185 - Institut für Computersprachen | Publication Type: | Thesis Hochschulschrift |
Appears in Collections: | Thesis |
Files in this item:
File | Description | Size | Format | |
---|---|---|---|---|
Models of hypercomputation.pdf | 916.51 kB | Adobe PDF | ![]() View/Open |
Page view(s)
19
checked on Feb 18, 2021
Download(s)
60
checked on Feb 18, 2021

Google ScholarTM
Check
Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.