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

[psilogic]

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

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

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

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

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

Comments

[solomon2.livejournal.com]

Даже ламерская формулировка т.Г. все-таки, кажется,

Не бывает логических систем, достаточных для формализации арифметики, одновременно полных и непротиворечивых.

а иначе (без выделенного) это просто ложное утверждение.

[jtraub.livejournal.com]

Вот здесь http://ru.wikipedia.org/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0_%D0%93%D0%B5%D0%B4%D0%B5%D0%BB%D1%8F_%D0%BE_%D0%BD%D0%B5%D0%BF%D0%BE%D0%BB%D0%BD%D0%BE%D1%82%D0%B5
формулировка не ламерская?

Кстати, а ты не думал о том, что твои учебники можно выложить на Викиучебники(ru.wikibooks.org)?
Я серьезно спрашиваю

[eugenebo.livejournal.com]

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

[ex-l331.livejournal.com]

Просьба к Вам.
Нужна мне простенькая программка типа Excel по нечеткой логике.
Может FuziCalc или еще чего посоветуете?
Работали с такими?

Был бы весьма признателен.

[sanitareugen.livejournal.com]

Философы-гедельянцы...