Computability in Europe 2006
Logical Approaches to Computational Barriers

Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 73

Deprecated: Function split() is deprecated in /srv/www/htdocs-cs/cie06/db-code.php on line 80

Regular Talk:
Decidability of arithmetic through hypercomputation: logical objections

Speaker: Paolo Cotogno


The theory of hypercomputation aims to extend effective computability beyond
Turing reducibility, in particular by means of supertasks; physical models are
considered in Newtonian, relativistic and quantum contexts. Apart from
implementation differences, all approaches take for granted that supertask
computations would decide arithmetic; in logical terms, this amounts to assume
that the undecidability of Peano Arithmetic can be bypassed by the  omega-rule.
We argue that this assumption is untenable, as long as the system is consistent:
the conclusion follows from alternative versions of Gödelís incompleteness,
such as Rosserís and Yabloís, which are indifferent to infinite deductions.

websites: Arnold Beckmann
Warning: date(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /srv/www/htdocs-cs/cie06/conf-code.php on line 563