Complex Systems

How to Acknowledge Hypercomputation? Download PDF

Alexander Leitsch

Günter Schachner
Institut für Computersprachen
Vienna University of Technology
Favoritenstr.9/185, 1040 Vienna, Austria
leitsch@logic.at

Karl Svozil
Institute for Theoretical Physics,
Vienna University of Technology,
Wiedner Hauptstraße 8-10/136, 1040 Vienna, Austria
svozil@tuwien.ac.at

Abstract

We discuss the question of how to operationally validate whether or not a "hypercomputer" performs better than the known discrete computational models.