Избранное
ЭБ Нефть
и Газ
Главная
Оглавление
Поиск +
Еще книги ...
Энциклопедия
Помощь
Для просмотра
необходимо:


Книга: Главная » Гильберт Д.N. Основания математики Теория доказательств
 
djvu / html
 

ОГЛАВЛЕНИЕ
Предисловие редактора русского перевода................. 9
Предисловия авторов к первому изданию ................ 11
Предисловие ко второму изданию...................... 15
Глава I. Метод исключения связанных переменных при помощи
гильбертова е-символа........................... 17
§ 1. Процедура символьного решения экзистенциальных формул 17
§ 2. Гильбертов е-символ и е-формула................. 27
§ 3. Доказательство первой е-теоремы................. 37
а) Подготовка ............................ 37
б) Гильбертовский подход...................... 40
в) Типы комбинирования е-символов; степень и ранг е-терма 43
г) Устранение критических формул в общем случае...... 47
д) Обобщение результата...................... 51
§ 4. Доказательства непротиворечивости................ 55
а) Одна общая теорема о непротиворечивости.......... 55
б) Приложение к геометрии .................... 61
Глава П. Исследование арифметики при помощи связанных
с е-символом методов теории доказательств.............. 74
§ 1. Применение нп-теореыы к арифметике............... 74
§ 2. Распространение первой е-теоремы на общую аксиому равенства 82
а) Подготовительные соображения; основной тип; формулы е-равенства.............................. 82
б) Совместное устранение критических формул и формул е-равенства ................................ 93
в) Усиленный вариант первой е-теоремы и нп-теоремы..... 109
§ 3. Причины, препятствующие распространению процедуры устранения е-символов на неограниченную схему индукции. Формализация принципа индукции с помощью второй формулы для
е-символа. Переход к первоначальному гильбертовскому подходу 113
§ 4. Первоначальный гильбертовский подход к проблеме исключения
е-символов и его дальнейшее развитие.............. 124
1*

 

1 2 3 4 5 6 7 8 9 10 20 30 40 50 60 70 80 90 100 110 120 130 140 150 160 170 180 190 200 210 220 230 240 250 260 270 280 290 300 310 320 330 340 350 360 370 380 390 400 410 420 430 440 450 460 470 480 490 500 510 520 530 540 550 560 570 580 590 600 610 620 630 640 650


Математика