Закончил выкладку креативов
Jan. 29th, 2006 02:47 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
psilogicПоследний из трех учебников - на этот раз по классическому исчислению высказываний:
http://psi-logic.shadanakar.org/kiv/kiv.htm
Там, кстати, в конце есть и знаменитая теорема Эрбрана. Чем знаменитая? А тем, что опровергает ламерскую формулировку еще более знаменитой теоремы Геделя о полноте.
Теорема Геделя (ламерская формулировка) о неполноте говорит:
- Не бывает логических систем одновременно полных и непротиворечивых.
Теорема Эрбрана говорит:
- Классическое исчисление высказываний одновременно полное и непротиворечивое.
А какая неламерская, а правильная формулировка теоремы Геделя, я как-нибудь потом напишу :)
http://psi-logic.shadanakar.org/kiv/kiv.htm
Там, кстати, в конце есть и знаменитая теорема Эрбрана. Чем знаменитая? А тем, что опровергает ламерскую формулировку еще более знаменитой теоремы Геделя о полноте.
Теорема Геделя (ламерская формулировка) о неполноте говорит:
- Не бывает логических систем одновременно полных и непротиворечивых.
Теорема Эрбрана говорит:
- Классическое исчисление высказываний одновременно полное и непротиворечивое.
А какая неламерская, а правильная формулировка теоремы Геделя, я как-нибудь потом напишу :)
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2006-01-29 03:07 pm (UTC)Нужна мне простенькая программка типа Excel по нечеткой логике.
Может FuziCalc или еще чего посоветуете?
Работали с такими?
Был бы весьма признателен.
no subject
Date: 2006-01-29 04:10 pm (UTC)