KitapOka | Введение в нефинитную логику

KitapOka | Введение в нефинитную логику

Haladym

0

ýükle

Kitabyň ady:	Введение в нефинитную логику
Awtory:	Исаков Сергей Николаевич
Kitap barada:	Рассматриваются дополнительные возможности, связанные с расширением классической финитной логики, предполагающей получение окончательного результата за конечное число шагов, до нефинитной, допускающей бесконечные процедуры, имеющие предел. Центральное место занимает построение разрешающей процедуры средствами нефинитной логики для всей математики континуума. Все рассмотренные разрешающие процедуры и доказательства неразрешимости отдельных теорий базируются на специальном логическом формализме в рамках классической финитной логики, эффективность которого обусловлена его компактностью: он содержит только одну аксиому и 4 правила вывода.
Dili:	Rus
Çap edilen ýyly:	Екатеринбург, 2019. 208с.
Formaty:	.pdf
Göwrümi:	1.01 mb
Baly:	100
Görülen sany:	104