victor_sudakov: (Default)
[personal profile] victor_sudakov
Я всегда восхищался тем, как на основе нескольких аксиом математики строят систему, которую можно изучать веками как явление природы, открывая новые неожиданные свойства ее объектов, наблюдая их "поведение" и взаимодействия и т.п.

И мне всегда было интересно, можно ли на основе минимума аксиом, с использованием формальной логики и доказательств чего-то вроде теорем, построить математическое богословие?

Причем вопросом о реальном существовании Бога и анализом божественных откровений и священных книг оно может не заниматься вообще, а заниматься только доказательством теорем. Математикам же не надо доказывать реальное существование 5-мерного куба, чтобы изучать его свойства?

Возможно в какой-то момент математический богослов придёт к противоречию - не беда, значит пересмотрит аксиомы. Но все следствия должны из них выводиться, а также из других следствий.

Если нечто подобное уже построено кем-нибудь вроде Фомы Аквинского (назвал богослова наугад), хочу это почитать.

Profile

victor_sudakov: (Default)
Виктор Судаков

October 2017

S M T W T F S
123456 7
8910 111213 14
151617 18 1920 21
22232425262728
293031    

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Oct. 22nd, 2017 10:42 pm
Powered by Dreamwidth Studios