Computability in Europe 2006
Logical Approaches to Computational Barriers
|Slot:||Tue, 14:50-15:10, Faraday D (col. 4)|
Campagnolo, Costa, and Moore found connections between discrete complexity classes and analog classes defined on the reals. Building on these ideas Bournez and Hairney found function algebra descriptions of classes of functions defined via computable analysis. We develop a general collection of tools which allow us to nicely compare different classes of functions via a notion of "approximation." We apply these general tools to obtain some previous results and prove new ones, along the lines of the aforementioned authors.
|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