Вывод непротиворечивой математики из наиболее сильного определения универсума. Конструктивизация метода
Автор: Титков Г.К.
Журнал: Академический журнал Западной Сибири @ajws
Рубрика: Физика. Математика
Статья в выпуске: 3 (52) т.10, 2014 года.
Бесплатный доступ
Короткий адрес: https://sciup.org/140219595
IDR: 140219595
Текст статьи Вывод непротиворечивой математики из наиболее сильного определения универсума. Конструктивизация метода
ОАО «ГСКБ «Алмаз-Антей», г. Железнодорожный, Россия
Предложенный в работе [1] метод может быть кон-структивизирован. Конструктивизация метода производится в два этапа. На первом этапе вычисляется натуральное число NMAX в соответствии с алгоритмом, представленном на рисунке 1.
NMAX=(
99... 9
99... 9 symbols
99... 9 symbols
99... 9 elements (1 )
99... 9 symbols
99... 9 symbols
googolplex symbols
99... 9 symbols
99... 9 elements ( 2 )
99... 9 symbols
99... 9 symbols
99... 9 symbols
googolplex symbols
—- 99... 9 elements (googolplex)
99... 9 symbols
googolplex symbols
99... 9 symbols
googolplex elements
99... 9 symbols
googolplex symbols
Рисунок 1
На втором этапе производится собственно конструктиви-зация в соответствии с формулой следующего вида:
(∀ N (( 1 ≤ N ≤ NMAX) → (∃ PREDICATE CALCULUS OF ORDER N))) →
При такой конструктивизации метода происходит незначительное снижение его эффективности при значительном повышении его надёжности.
Список литературы Вывод непротиворечивой математики из наиболее сильного определения универсума. Конструктивизация метода
- Титков Г.К. Вывод непротиворечивой математики из наиболее сильного определения универсума. Повышение эффективности метода//Академический журнал Запад-ной Сибири. -2014. -Том 10, № 1.
