Bibliographic Metadata

Title
Models of hypercomputation / von Erman Acar
AuthorAcar, Erman
CensorLeitsch, Alexander
Published2012
DescriptionXII, 95 S. : graph. Darst.
Institutional NoteWien, Techn. Univ., Dipl.-Arb., 2012
Annotation
Zsfassung in dt. Sprache
LanguageEnglish
Document typeThesis (Diplom)
Keywords (DE)Hyperberechenbarkeit, Church-Turing These, Quantencomputer, relativistische Maschinenmodelle
Keywords (EN)hypercomputation, Church-Turing Thesis, quantum computers, relativistic models of hypercomputation
URNurn:nbn:at:at-ubtuw:1-52279 Persistent Identifier (URN)
Restriction-Information
 The work is publicly available
Files
Models of hypercomputation [0.89 mb]
Links
Reference
Classification
Abstract (German)

error: u'Der Darlegung von Grunds\xe4tzen der Berechenbarkeitstheorie folgt die Diskussion einiger Versionen und Interpretationen der sogenannten Church-Turing- These. Anschlie\x19\xdfend wird eine formale Defi\x0cnition der Hyperberechenbarkeit gegeben. Daraufhin werden einige abstrakte und physikalische Hypermaschinenmodelle aus der Literatur pr\xe4sentiert. Diese sind in erster Linie Turingmaschinen mit unendlicher Zeit, Quantencomputer und relativistische Maschinenmodelle.

Grundlegende Prinzipien dieser Modelle und ihre Rechenkraft werden diskutiert.

'

Abstract (English)

error: u'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) in\x0cnite time Turing machines, quantum computers and relativistic machine models. Basic principles behind these models and their computational power will be discussed.'