Математико-идеологическая фантазия
Привиделось мне, что широкая общественность живо интересуется аксиоматикой Цермело-Френкеля. Некоторые граждане патриотической направленности призывают от нее вообще отказаться и напоминают, что великие Гаусс, Лобачевский и Чебышев прекрасно без нее обходились. Менее радикально настроенные напоминает, что сам Георг Кантор, между прочим, развивал теорию множеств без этих аксиом и что непротиворечивость этой аксиоматики не доказана, да и доказана быть не может. Либералы, напротив, заявляют, что отрицание аксиоматики Цермело-Френкеля - чистое мракобесие и что мы этого безобразия не допустим. Вдумчивые спрашивают математиков, на фига эти аксиомы вообще нужны, если 99% математиков ими не пользуются, а многие и не знают их на память. Математики возмущенно отвечают, что вся математика основана на аксиоматике Цермело-Френкеля; некоторые из математиков пишут книги, статьи и записи в блогах, разъясняющие широкой публике всю важность аксиом Цермело-Френкеля. Широкая публика (та ее часть, которая «за», естественно) активно эту популярную литературу поглощает: «Кардиналы... ординалы... Ух ты, главное не перепутать». В общем, идет бурная общественная жизнь.
Сначала я хотел завершить эту запись фразой «Слово [название науки] употребляется в тексте только в этой фразе», но потом решил, что это уже излишество.
Сначала я хотел завершить эту запись фразой «Слово [название науки] употребляется в тексте только в этой фразе», но потом решил, что это уже излишество.