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

[psilogic]

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

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

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

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

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

Comments

[psilogic.livejournal.com]

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

Заглянул. Внешне как часть проекта "Википедия", но почему-то очень бедно (по количеству). Что это за сайт такой?

[jtraub.livejournal.com]

Это проект, который поддерживается фондом Викимедия (тот самый, который создал Википедию. Вернее наоборот. Сначала была создана Википедия, а потом уже фонд) :-). А так - я бы рекомендовал

Оттуда:
===============
Викиучебник — это вебсайт, где любой посетитель может внести свой вклад в написание учебной литературы: учебников, руководств, кулинарных книг и тому подобного. Он работает по технологии «Вики» и на принципах свободы информации: каждый может создать и изменить любую страницу любого викиучебника, и каждый может бесплатно читать, копировать, издавать и изменять его содержание.

Викиучебник был создан 10 июля 2003 года (русский раздел, фактически — годом позже), после рождения и расцвета знаменитой Википедии, — интернет-энциклопедии, работающей на таких же принципах. В Википедии вы можете найти энциклопедические сведения о ней самой, Викиучебнике, их общем организаторе (Фонде Викимедиа) и очень многом другом.
=================

[npopok.livejournal.com]

Присоединяюсь к призыву. Рассмотрите возможность ещё раз.

Мы растём, причём следует ожидать, что это процесс с положительной обратной связью (Википедия росла экспоненциально).

[psilogic.livejournal.com]

В самом деле "растете и хорошеете", очень рад за вас. Наверное, надо будет попробовать...