Hypercomputation: Computing Beyond the Church-Turing Barrier

2008
ISBN: 978-0-387-30886-9
Verlag: SPRINGER NATURE

Buch, Englisch, 260 Seiten, Format (B × H): 163 mm x 243 mm, Gewicht: 500 g

Reihe: Monographs in Computer Science

This book provides a thorough description of hypercomputation. It covers all attempts at devising conceptual hypermachines and all new promising computational paradigms that may eventually lead to the construction of a hypermachine. Readers will gain a deeper understanding of what computability is, and why the Church-Turing thesis poses an arbitrary limit to what can be actually computed. Hypercomputing is a relatively novel idea. However, the book’s most important features are its description of the various attempts of hypercomputation, from trial-and-error machines to the exploration of the human mind, if we treat it as a computing device.

Zielgruppe

Research

Autoren/Hrsg.

Syropoulos, Apostolos

Fachgebiete

• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
• Interdisziplinäres Wissenschaften Wissenschaften: Forschung und Information Informationstheorie, Kodierungstheorie
• Mathematik | Informatik EDV | Informatik Daten / Datenbanken Informationstheorie, Kodierungstheorie

Inhaltsverzeichnis

On the Church–Turing Thesis.- Early Hypercomputers.- Infinite-Time TuringMachines.- Interactive Computing.- Hyperminds.- Computing Real Numbers.- Relativistic and Quantum Hypercomputation.- Natural Computation and Hypercomputation.

Über Autor(innen)

Apostolos Syropoulos holds a Diploma in Physics from the University of Ioannina, Greece, a M.Sc. in Computer Science from the University of Göteborg, Göteborg. Sweden, and a Ph.D. in Theoretical Computer Science from the Democritus University of Thrace, Xanthi, Greece. He has published papers in the areas of categorical semantics, natural computing, programming language theory, Web-oriented technologies, and digital typography.

In addition, the prospective author has presented his work in the workshop of the European COST Action Group 16 (Multivalued Logics) that was held in Vienna, Austria in 1998. He is also the team leader of the Greek Molecular Computing Group, which is a member of the European Molecular Computing Consortium, whose director is Professor Grzegorz Rezenberg. He was also member of the Democritus University team on Industrial Mathematics of the European Initiative on Mathematics in Industry. Last, but not least, it is worth to mention that recently the prospective author has published a book on the Perl programming language (in Greek).