Материалы представленные на сайте исключительно с целью ознакомления пользователям Интернета и не преследуют коммерческих целей или нарушение авторских прав.
© 2018 - 2024
Глава 1. Математические начала богословия.
Любая математическая задача имеет несколько вариантов решения.
Вариант № 1. Программный код.
Если вы не программист, то этот вариант лучше пропустить сразу, так как маловероятно, что будет понятно.
Var
Numen : Boolean ; //переменная присвоенная Творцу
Cosmos : Boolean ; //переменная присвоенная Вселенной
Effectus : Boolean ; //переменная для обозначения результата
Str : String: // стринговая переменная на всякий случай, шутка
Begin
Numen :=false; Cosmos :=false;
If Numen AND Cosmos =false then
begin
Effectus:=false; write ( `Бога нет`);
End
Else
begin
Effectus:=true; write ( `Бог есть`);
End;
Numen :=true; Cosmos :=false;
If Numen AND Cosmos =false then
begin
Effectus:=false; write ( `Бога нет`);
End
Else
begin
Effectus:=true; write (`Бог есть`);
End;
Numen :=false; Cosmos :=true;
If Numen AND Cosmos =false then
begin
Effectus:=false; write ( `Бога нет`);
End
Else
begin
Effectus:=true; write ( `Бог есть`);
End
Numen :=true; Cosmos :=true;
If Numen AND Cosmos =false then
begin
Effectus:=false; write (`Бога нет`);
End
Else
begin
Effectus:=true; write (`Бог есть`);
End;
End .
Это программа, которая доказывает, что если существует Вселенная, то существует и Творец. Код написан, используя сленг программистов «на голом Паскале». Программу можно было бы написать и в более коротком и изящном варианте, в том числе и методами объектно-ориентированного программирования, но написано именно так, чтобы любой мог пошагово ее проверить.
Вариант №2. Математическая логика.
Последние 2 тысячи лет человечество неоднократно пыталось найти доказательства существования Творца. Авиценна (980-1037), величайший врачеватель и мыслитель древней Персии, Фома Аквинский (1225-1274), Исаак Ньютон (1542-1727), Иммануил Кант (1724-1804). Но на наш взгляд доказательства не очень убедительные, что вполне объяснимо, тогда еще не существовало такой дисциплины как математическая логика.
Допустим, что вам необходимо решить теорему и доказать, что Творец есть, или его нет. Предположим первый вариант, что он есть. В таком случае аргументы следующие:
1. это самый гениальный математик, физик и программист;
2. доказательство того, что он сам существует лично ему абсолютно не нужно, в противном случае эти доказательства были бы получены уже давно;
Он должен обладать в высочайшей степени чувством юмора
Искать его нужно в области математики. Ну, в самом деле, бессмысленно отправлять экспедицию в Антарктику для поиска ананасов, там только снег и пингвины, а ананасы там точно не растут.
Решение, как и все гениальное, должно быть простым.
Исходя из вышесказанного понятно, что нужно обратиться к математической логике – логике по предмету, математике по методу. Математическая логика появилась в Х1Х веке, одним из основоположников является Джордж Буль (1815-1864). Вся современная информатика базируется на методах математической логики.
Итак, Булева алгебра. Каждая переменная имеет только два значения: 1- правда, 0- ложь (можно, конечно, обратиться к алгебре Поста, но это осложнит понимание задачи). Приведенную выше программу методами булевой алгебры можно представить в виде формул:
А. Методом конъюнкции
Х Λ Y = 1; Х Λ Y = 0;
Б. Методом дизъюнкции
Х ν Y = 1; Х ν Y = 0;
Таблица истинности для бинарной конъюнкции
| X | Y | Х Λ Y |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 1 | 1 |
| Numen , | Cosmos | Numen Λ Cosmos |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 1 | 1 |
Таблица истинности для бинарной дизъюнкции
| X | Y | Х ν Y |
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
| Numen , | Cosmos | Numen ν Cosmos |
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
Для простоты рассуждений подставим вместо X переменную Numen , а вместо Y переменную Cosmos . Понятно, что метод дизъюнкции в данном случае неприменим, т.к. возникает противоречие «Творец есть, а Вселенной нет», что явно не соответствует тому, что мы наблюдаем (просто оглянитесь вокруг). А методом конъюнкции получаем:
N Λ C = 1;
Дата: 2019-02-02, просмотров: 225.