"Итак, формулировка первой,или слабой теоремы Гёделя о неполноте: «Любая формальная система аксиом содержит неразрешенные предположения». Но на этом Гёдель не остановился, сформулировав и доказав вторую, или сильную теорему Гёделя о неполноте: «Логическая полнота (или неполнота) любой системы аксиом не может быть доказана в рамках этой системы. Для ее доказательства или опровержения требуются дополнительные аксиомы (усиление системы)»."
И какие интересные выводы из нее по поводу отличия человеческого мышления от мышления компь
...
Читать дальше »
Просмотров: 517 |
Добавил: Cleo |
Дата: 09.05.2013
|
|
|
