Женщины и формальные теории
Математический подход к женской логике в моём представлении состоит в
следующем. Есть в математике такое понятие - формальная теория. Она
состоит из 4-х составляющих (я чуть упрощенно):
1. Множество символов, образующих алфавит
2. Множество слов в алфавите, которые называются формулами
3. Выделенное подмножество множества формул, которые называются аксиомами
4. Множество отношений на множестве формул, которые называют правилами вывода
Допустимые действия в формальной теории в любом случае подчиняются законам алгебры логики.
Справедливы две теоремы Гёделя о неполноте - более филосовского
утверждения в философии не существует, нежели эти два в математике.
Первая теорема Гёделя утверждает, что я рамках любой достаточно богатой
теории (включающей формальную арифметику) можно сформулировать
утверждение, которое нельзя ни доказать ни опровергнуть в рамках этой
теории!
Она же подразумевает, что истинность или ложность этих утверждений можно установить средствами более мощной формальной теории.
Надеюсь, очевидно, что формальная теория в которой витают женщины
используется ими для того, чтобы утверждать то, что недоказуемо ими
самими. Мужские теории, как заведомо более мощные, легко выявляют
истинность или ложность женских запросов. Но, увы, поскольку женщины
оперируют понятиями ограниченной теории, то не в состоянии понять наших
доводов.
Вторая теорема Гёделя о неполноте (для тех же достаточно богатых
теорий) утверждает что рамками самой теории нельзя выяснить внутреннюю
её непротиворечивость.
Конечно сие можно выяснить средствами другой, более мощной теории.
Заведомая противоречивость женской теории с высот мужской, разумеется,
очевидна. Но мы опять же не можем им этого объяснить, поскольку их
восприятие ограничено рамками лишь своей теории.
И всё бы замечательно! Только ужас ситуации состоит еще и в том, мы,
находясь в более мощной, чем женская, теории, по-прежнему можем
сформулировать утверждения, справедливость которых рамками нашей теории
непроверяема. Но самое дикое это то, что мы не можем выяснить
внутреннюю непротиворечивость собственной теории!!!
И что с этим делать, ума не приложу, поскольку теоремы Гёделя не могут
подлежать сомнению! Ну что ж, вот такова философия жизни с точки зрения
математики!
следующем. Есть в математике такое понятие - формальная теория. Она
состоит из 4-х составляющих (я чуть упрощенно):
1. Множество символов, образующих алфавит
2. Множество слов в алфавите, которые называются формулами
3. Выделенное подмножество множества формул, которые называются аксиомами
4. Множество отношений на множестве формул, которые называют правилами вывода
Допустимые действия в формальной теории в любом случае подчиняются законам алгебры логики.
Справедливы две теоремы Гёделя о неполноте - более филосовского
утверждения в философии не существует, нежели эти два в математике.
Первая теорема Гёделя утверждает, что я рамках любой достаточно богатой
теории (включающей формальную арифметику) можно сформулировать
утверждение, которое нельзя ни доказать ни опровергнуть в рамках этой
теории!
Она же подразумевает, что истинность или ложность этих утверждений можно установить средствами более мощной формальной теории.
Надеюсь, очевидно, что формальная теория в которой витают женщины
используется ими для того, чтобы утверждать то, что недоказуемо ими
самими. Мужские теории, как заведомо более мощные, легко выявляют
истинность или ложность женских запросов. Но, увы, поскольку женщины
оперируют понятиями ограниченной теории, то не в состоянии понять наших
доводов.
Вторая теорема Гёделя о неполноте (для тех же достаточно богатых
теорий) утверждает что рамками самой теории нельзя выяснить внутреннюю
её непротиворечивость.
Конечно сие можно выяснить средствами другой, более мощной теории.
Заведомая противоречивость женской теории с высот мужской, разумеется,
очевидна. Но мы опять же не можем им этого объяснить, поскольку их
восприятие ограничено рамками лишь своей теории.
И всё бы замечательно! Только ужас ситуации состоит еще и в том, мы,
находясь в более мощной, чем женская, теории, по-прежнему можем
сформулировать утверждения, справедливость которых рамками нашей теории
непроверяема. Но самое дикое это то, что мы не можем выяснить
внутреннюю непротиворечивость собственной теории!!!
И что с этим делать, ума не приложу, поскольку теоремы Гёделя не могут
подлежать сомнению! Ну что ж, вот такова философия жизни с точки зрения
математики!
