Проект відкрита логіка

openlogic-wm-314x124The Open Logic Project —  колекція навчальних матеріалів з математичної логіки для нематематиків. Всі матеріали — з відкритим кодом (можна завантажити LaTeX код) і у вільному доступі з можливістю модифікувати і ділитися своїми версіями. Команда використовує платформу GitHub для своїх розробок і поширює контент під ліцензією Creative Commons Із зазначенням авторства 4.0 міжнародна.

В одному з розділів ідеться про теорему Льоба — теорему в математичній логіці про взаємозв’язок між доказовими твердження і самим твердженням — і доводиться існування Санта Клауса: “якщо X вірне, то Санта Клаус існує” — ґрунтуючись на нашому припущенні, що X вірне, ми приходимо до висновку, що Санта Клаус існує.

Напишіть відгук

Ваша пошт@ не публікуватиметься.

Можна використовувати XHTML теґи та атрибути: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>