Previous Entry Share Next Entry
Математическое богословие
victor_sudakov
Я всегда восхищался тем, как на основе нескольких аксиом математики строят систему, которую можно изучать веками как явление природы, открывая новые неожиданные свойства ее объектов, наблюдая их "поведение" и взаимодействия и т.п.

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

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

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

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

Оригинал сообщения находится по адресу http://victor-sudakov.dreamwidth.org/419983.html. Пожалуйста оставляйте комментарии там. Всего сейчас comment count unavailable комментариев.

?

Log in

No account? Create an account