Математическая теология Гёделя и доказательство вездесущности бога путем «вычисления» соответствующей композиции ценностных функций в двузначной алгебре метафизики

Abstract

Великий австрийский математик и логик Курт Гёдель рассматривается как философ и богослов. Особое внимание уделяется его призыву подвергнуть философию и теологию логико-математической обработке с целью прояснения и обеспечения интеллектуальной респектабельности. В этом отношении Гёдель не позитивист, а метафизик и теист. Откликнувшись на призыв Гёделя и пытаясь двигаться вперед в указанном направлении, автор данной статьи конструирует дискретную математическую модель мистического догмата «Бог (Ум) существует везде», в которой этот догмат обосновывается «вычислением» релевантных композиций ценностных функций.

The great Austrian mathematician and logician — Kurt Gödel is considered as a philosopher and a theologian. Special attention is given to his summon to mathematize philosophy and theology, logically to explicate them for making more clear and intellectually respectable. In this relation Gödel is not a positivist but an adherent of metaphysics and theism. Being inspired by the summon of Gödel and trying to go further in the indicated direction, the author of this paper constructs a discrete mathematical model of the mystic tenet “God is everywhere”, in which (model) the tenet is substantiated by “computing” relevant compositions of evaluation-functions.