Non-Turing computations via Malament-Hogarth space-times

Gabor Etesi, Istvan Nemeti

We investigate the Church-Kalmár-Kreisel-Turing Theses concerning theoretical (necessary) limitations of future computers and of deductive sciences, in view of recent results of cl…