home | login | register | DMCA | contacts | help | donate |      

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я


my bookshelf | genres | recommend | rating of books | rating of authors | reviews | new | форум | collections | читалки | авторам | add

реклама - advertisement



D.ah

Как пояснил по моей просьбе автор, он здесь имеет в виду знаменитый результат К. Геделя, опубликованный им в работе К Goedel. Ueber formal unentscheidbare Saetze der Principia Mathematica und verwandter Systeme I // Monalshefte fuer Mathematik und Physik, Bd. 38, 1931, SS. 173-198. В русской логической литературе этот результат К. Геделя обычно называется «теоремой о неполноте». Неполнота достаточно богатых формальных систем доказывается К. Геделем с помощью построения для таких систем неразрешимых высказываний — отсюда и название этой теоремы как «теоремы о неразрешимости». — Прим. редактора.


предыдущая глава | Открытое общество и его враги | cледующая глава