Закончил выкладку креативов

[psilogic]

Последний из трех учебников - на этот раз по классическому исчислению высказываний:

http://psi-logic.shadanakar.org/kiv/kiv.htm

Там, кстати, в конце есть и знаменитая теорема Эрбрана. Чем знаменитая? А тем, что опровергает ламерскую формулировку еще более знаменитой теоремы Геделя о полноте.

Теорема Геделя (ламерская формулировка) о неполноте говорит:
- Не бывает логических систем одновременно полных и непротиворечивых.
Теорема Эрбрана говорит:
- Классическое исчисление высказываний одновременно полное и непротиворечивое.

А какая неламерская, а правильная формулировка теоремы Геделя, я как-нибудь потом напишу :)

Comments

[eugenebo.livejournal.com]

Опечаточка: "это абстрактная прититивная модель компьютера"

[psilogic.livejournal.com]

спасибо