|
Тема |
Re: Изчислимост -- оопппс [re: Numberous] |
|
Автор | Heдeв (Нерегистриран) | |
Публикувано | 27.03.08 11:39 |
|
|
Ммм, ясно. Ето ти и връзката с предната тема. Понеже машината на Тюринг, както и всяка нейна програма, е крайна, то изчислимите реални числа са изброимо много. А всички реални числа, както споменахме нееднократно, са неизброимо много. Откъдето и следва, че "повечето" реални числа са неизчислими. Това обаче не ни помага да построим (или покажем) нито едно неизчислимо число - да го "покажем" значи да го изчислим.
|
| |
|
|
|