Построение непротиворечивой математики как процедуры логического вывода. Возврат к непосредственному определению универсума

Автор: Титков Г.К.

Журнал: Академический журнал Западной Сибири @ajws

Рубрика: Физика. Математика

Статья в выпуске: 5 (48) т.9, 2013 года.

Бесплатный доступ

Короткий адрес: https://sciup.org/140221215

IDR: 140221215

Список литературы Построение непротиворечивой математики как процедуры логического вывода. Возврат к непосредственному определению универсума

  • Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода посредством метода, обеспечивающего максимальную экономию вычислительных ресурсов//Академический журнал Западной Сибири. -2013. -№ 2.
  • Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода посредством метода, обеспечивающего максимальную экономию вычислительных ресурсов. Дальнейшее развитие метода с целью повышения его эффективности//Академический журнал Западной Сибири. -2013. -№ 2.
  • Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт уточнения формулировки второго элемента формальной схемы//Академический журнал Западной Сибири. -2013. -№ 2.
  • Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт замены содержащейся во втором элементе формальной схемы словесной формулировки геометрическим построением//Академический журнал Западной Сибири. -2013. -№ 2.
  • Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт обобщения формулировки второго элемента формальной схемы//Академический журнал Западной Сибири. -2013. -№ 3.
  • Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт дальнейшего обобщения формулировки второго элемента формальной схемы//Академический журнал Западной Сибири. -2013. -№ 3.
  • Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт использования более сильной формы определения универсума//Академический журнал Западной Сибири. -2013. -№ 3.
  • Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт формализации связи между элементами//Академический журнал Западной Сибири. -2013. -№ 3.
  • Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт формализации определения универсума//Академический журнал Западной Сибири. -2013. -№ 3.
  • Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт замены двух инскрипций определения универсума одной//Академический журнал Западной Сибири. -2013. -№ 4.
  • Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт дальнейшего усиления формы определения универсума//Академический журнал Западной Сибири. -2013. -№ 4.
  • Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт замены определения универсума интуиционистской моделью универсума//Академический журнал Западной Сибири. -2013. -№ 4.
  • Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Повышение эффективности метода за счёт усиления интуиционистской модели универсума//Академический журнал Западной Сибири. -2013. -№ 5.
Еще
Статья