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 SizeFormat
Models of hypercomputation.pdf916.51 kBAdobe PDFThumbnail
 View/Open
Show full item record

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.