Построение непротиворечивой математики как процедуры логического вывода посредством метода, обеспечивающего максимальную экономию вычислительных ресурсов
Автор: Титков Г.К.
Журнал: Академический журнал Западной Сибири @ajws
Рубрика: Физика. Математика
Статья в выпуске: 2 (45) т.9, 2013 года.
Бесплатный доступ
Короткий адрес: https://sciup.org/140220941
IDR: 140220941
Список литературы Построение непротиворечивой математики как процедуры логического вывода посредством метода, обеспечивающего максимальную экономию вычислительных ресурсов
- Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Использование в качестве универсума собственного класса для обеспечения наибольшей надёжности процедуры логического вывода. Оптимизация метода для снижения требований к вычислительным ресурсам, необходимым для его реализации и анализа полученных результатов//Академический журнал Западной Сибири. -2013. -№ 1.
- Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Устранение ошибок и недостатков предложенного ранее метода//Академический журнал Западной Сибири. -2013. -№ 1.
Статья
