Всем математикам посвящается!
Пара по философии
-- Вовочка, расскажи нам о структуре философского знания.
-- Сейчас... Будем рассматривать множество всех знаний (философию) с операциями суммы знаний и конкретизации знаний. Нейтральным знанием назовем такое знание, что любое знание при конкретизации этим нейтральным знанием не меняется. Концепцией называется такое множество знаний, за которое нельзя выйти с помощью операций суммы и конкретизации. Догмой называется такое множество знаний, которое является концепцией, но при этом конкретизация любого догматического знания с помощью любого знания дает снова догматическое знание. Религией называется знание, состоящее из одного элемента {X происходит потому, что гладиолусБ-г}. Ясно, что религия является догмой. Самообосновывающим называется знание, конкретизация которого с самим собой дает само себя. Потенциально религиозным называется знание, конкретизация которого самим с собой достаточное количество раз дает религиозное знание. Аналогично с потенциально религиозной догмой. Философия называется полубезрелигиозной, если единственным догматическим знанием в ней является религия. Догма называется простой, если единственная ее нетривиальная поддогма является религией. Теперь мы можем сформулировать утверждение Джекобсона: если философия полубезрелигиозна, то в ней есть такие простые догмы, что вся философия распадается в сумму этих простых догм, а значит каждое знание представляет собой просто сумму компонент-знаний из различных догм, причем
А. Каждая догма есть вся философия, конкретизированная некоторым существующим самообосновывающим знанием.
Б. Конкретизация различных этих самообосновывающих знаний дает религию.
В. Компонента произвольного знания получается просто конкретизацией соответствующим самообосновывающим знанием
Г. Суммы всех самообосновывающих знаний является нейтральным знанием.
Вот...
-- Вовочка! Сколько раз тебе говорить! Философию надо учить по учебникам, а не по ван дер Вардену!!!