Меню сайта
Форма входа
Календарь
«  Май 2013  »
ПнВтСрЧтПтСбВс
  12345
6789101112
13141516171819
20212223242526
2728293031
Архив записей
Страницы...
  • sea





    • Статистика
    Онлайн всего: 1
    Гостей: 1
    Пользователей: 0
    Главная » 2013 » Май » 09
    Теорема Гёделя о неполноте
    "Итак, формулировка первой,или слабой теоремы Гёделя о неполноте: «Любая формальная система аксиом содержит неразрешенные предположения». Но на этом Гёдель не остановился, сформулировав и доказав вторую, или сильную теорему Гёделя о неполноте: «Логическая полнота (или неполнота) любой системы аксиом не может быть доказана в рамках этой системы. Для ее доказательства или опровержения требуются дополнительные аксиомы (усиление системы)»."

    И какие интересные выводы из нее по поводу отличия человеческого мышления от мышления компь ... Читать дальше »
    Просмотров: 541 | Добавил: Cleo | Дата: 09.05.2013 | Комментарии (3)