Zapiski nauchnykh seminarov LOMI, Volume 4Institut, 1967 - Mathematics |
Contents
Предисловие редактора | 7 |
Давыдов Г В О корректировании недоказуемых формул | 18 |
Интеграл Лебега в конструктивном анализе | 30 |
13 other sections not shown
Other editions - View all
Common terms and phrases
абелевых групп аксиом аксиомы алгорифм алфавите антецедент Будем говорить будем называть будем обозначать буквы всякого входящих вхождений вы вывода в исчислении выводима секвенция выражение геделевской дизъюнкция доказательства доказать доказуема есть заключение заметки были доложены исправлений исчис исчислении высказываний каждой квазитермов кванторов классического исчисления предикатов клеточный образ компоненты конструктивная группа конструктивного исчисления предикатов конструктивной математике конструктивной теории конъюнкцию которых Лемма Ленинградском семинаре любой формулы математической логике машины Тьюринга метапеременных метод множество всех может можно построить мулы натуральное число некоторые Обозначим посредством одну определения Основные результаты настоящей перечислимое погружающая операция подклетка подформулы поиска вывода поиска обобщенного получается правил вывода правилах предикатная формула предикатных переменных предикатов с равенством применения правил произвольные Пусть путем разрешимую результаты настоящей заметки сверхсеквенции свободная переменная свойствами секвенции семинаре по математической системы следует случае содержащих соответственно списка теоремы терм типа тогда удовлетворяет условию фор формулы вида функции функциональными символами чисел элементарная формула элементов является logic