Computability in Europe 2006
Logical Approaches to Computational Barriers
|Author(s):||Peter Peshev and Dimiter Skordev|
|Slot:||Tue, 15:10-15:30, Faraday D (col. 4)|
A proof by P. C. Rosenbloom of the fundamental theorem of algebra is used in the paper for obtaining a subrecursive refinement of the theorem. Arbitrary complex numbers are supposed to be represented as limits of such sequences of rational ones that the distance between the n-th term of the sequence and its limit is not greater than the reciprocal of n+1. In the case when polynomials of a fixed degree are considered, we show the existence of computable operators that belong to the second Grzegorczyk class and transform any representations of the coefficients of any monic polynomial into representations of its roots.
|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