Закончил выкладку креативов
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 05:35 am (UTC)Не бывает логических систем, достаточных для формализации арифметики, одновременно полных и непротиворечивых.
а иначе (без выделенного) это просто ложное утверждение.
no subject
Date: 2006-01-29 04:09 pm (UTC)Конечно, ложное - оттого и ламерское (ламер = наглый, самоуверенный недоучка, чайник = обычный недоучка, готовый учиться).
no subject
Date: 2006-01-29 06:37 am (UTC)формулировка не ламерская?
Кстати, а ты не думал о том, что твои учебники можно выложить на Викиучебники(ru.wikibooks.org)?
Я серьезно спрашиваю
no subject
Date: 2006-01-29 04:42 pm (UTC)Заглянул. Внешне как часть проекта "Википедия", но почему-то очень бедно (по количеству). Что это за сайт такой?
no subject
Date: 2006-01-30 06:50 am (UTC)Оттуда:
===============
Викиучебник — это вебсайт, где любой посетитель может внести свой вклад в написание учебной литературы: учебников, руководств, кулинарных книг и тому подобного. Он работает по технологии «Вики» и на принципах свободы информации: каждый может создать и изменить любую страницу любого викиучебника, и каждый может бесплатно читать, копировать, издавать и изменять его содержание.
Викиучебник был создан 10 июля 2003 года (русский раздел, фактически — годом позже), после рождения и расцвета знаменитой Википедии, — интернет-энциклопедии, работающей на таких же принципах. В Википедии вы можете найти энциклопедические сведения о ней самой, Викиучебнике, их общем организаторе (Фонде Викимедиа) и очень многом другом.
=================
no subject
Date: 2006-05-26 11:10 pm (UTC)Мы растём, причём следует ожидать, что это процесс с положительной обратной связью (Википедия росла экспоненциально).
no subject
Date: 2006-05-27 12:22 pm (UTC)no subject
Date: 2006-01-29 09:22 am (UTC)no subject
Date: 2006-01-29 04:37 pm (UTC)no subject
Date: 2006-01-29 03:07 pm (UTC)Нужна мне простенькая программка типа Excel по нечеткой логике.
Может FuziCalc или еще чего посоветуете?
Работали с такими?
Был бы весьма признателен.
no subject
Date: 2006-01-29 04:10 pm (UTC)no subject
Date: 2006-01-30 04:08 pm (UTC)no subject
Date: 2006-01-30 05:00 pm (UTC)