Computability in Europe 2006
Logical Approaches to Computational Barriers
|Author(s):||Edwin Beggs and John V Tucker|
|Slot:||Tue, 10:30-10:50, Faraday C (col. 3)|
The talk will consider to what extent machines operating under Newton's laws can compute more than a Turing machine. Various examples will be given, and their advantages and drawbacks discussed. The examples will be studied using a methodology to analyse and classify the physical sub-theories allowing the computations and hyper-computations. The work is part of our programme to discover just what pieces of classical mechanics are necessary ensure that machines can only compute what a Turing machine can compute.
|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 135