Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт формализации определения универсума
Журнал: Академический журнал Западной Сибири @ajws
Рубрика: Физика. Математика
Статья в выпуске: 3 (46) т.9, 2013 года.
Бесплатный доступ
Короткий адрес: https://sciup.org/140220970
IDS: 140220970
Текст статьи Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт формализации определения универсума
ОАО «ГСКБ «Алмаз-Антей», г. Железнодорожный
В работе [1] было предложено определение универсума более сильное, чем собственный класс. Это же определение использовалось в работе [2]. В настоящей статье определение универсума, используемое в работах [1] и [2], подвергается существенной формализации, что должно привести к повышению эффективности метода. Вышесказанное проиллюстрировано рисунком 1.
Список литературы Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт формализации определения универсума
- Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт использования более сильной формы определения универсума//Академический журнал Западной Сибири. -2013. -Том 9, № 3.
- Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт формализации связи между элементами//Академический журнал Западной Сибири. -2013. -Том 9, № 3.
