Чего не могут вычислительные машины: различия между версиями
Содержимое удалено Содержимое добавлено
Строка 232:
Уровень подтверждённости тезиса Чёрча к настоящему
времени гораздо выше уровня подтверждённости любого
скромно называют его «тезисом», потому что он в принципе не может быть строго
доказан.
| |||