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

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

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

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

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

Profile

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

August 2017

S M T W T F S
  123 45
6 78910 1112
13141516 171819
20212223242526
2728293031  

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Aug. 17th, 2017 07:16 pm
Powered by Dreamwidth Studios