How to Acknowledge Hypercomputation?
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.
