|
Тема |
Re: Изчислимост -- оопппс [re: Zzz] |
|
Автор | пи ниrъ (Нерегистриран) | |
Публикувано | 08.04.08 01:02 |
|
|
аз пък нямам хич никви знания по въпроса, но от дефиницията
"In the following, Minsky defines the numbers to be computed in a manner similar to those defined by Turing 1936-7, i.e. as "sequences of digits interpreted as decimal fractions" between 0 and 1:
"A computable number [is] one for which there is a Turing machine which, given n on its initial tape, terminates with the nth digit of that number [encoded on its tape]." (Minsky 1967:159) "
направо си следва, че изчислимите числа са изброими, понеже машините на тюринг са изброимо множество и тва е
|
| |
|
|
|