Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики.

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Основания математики. Логические исчисления и формализация арифметики.

Авторы: Гильберт Д., Бернайс П.

Язык:

Рубрика: Математика/Алгебра/Математическая логика/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1979

Количество страниц: 560

Добавлена в каталог: 23.03.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

Принцип наименьшего числа      62 348
Пробег значений      33
Пробег значений предиката      33 121
Проблема разрешимости      31 169—172 185—188
Проблема разрешимости для одноместного исчисления предикатов      239
Простое число      51
Простое число в рекурсивной арифметике      392
Противоречие, дедуктивное      43 119
Равенство      27 30 171 209
Равносильность формализмов $\mathfrak S$ и $\mathfrak S^*$       540
Раджо      314
Различие между импликацией и гипотетическим суждением      127
Разложение доказательства на нити      275
Разложенное доказательство      278
Разложенное доказательство в обобщенном смысле      283
Рассел      11—12 14 39 43 95 211 468
Редукция      289 294
Редукция модифицированная      307 337 343
Редукция по Пресбургеру      441
Редукция при устранении $\iota$ -символов      518
Редукция частичная      301 449
Редукция, ее однозначность      295 449
Рекурсивное введение функции      352
Рекурсия      52
Рекурсия нормированная      412
Рекурсия перекрестная      405 407 509
Рекурсия примитивная      401 499
Рекурсия пробега      402
Рекурсия, одновременная      403
Рефлексивность      213
Рёддинг      18
Россер      18 515—517 532
Сведение примитивных рекурсий с несколькими параметрами к рекурсиям с одним параметром и явным определениям      396
Сводимость к примитивной рекурсии      400
Символ 0      270
Символ Шеффера      78 96
Символы для цифр      358
Симметрия      213
Система       440
Система (A)      322
Система (A*)      336
Система (B)      335
Система (C)      428
Система (D)      438
Система (Z)      454
Система (Z*)      543
Система (Z**)      545
Система аксиом первой ступени      199
Система исходных формул для дедуктивной логики высказываний      96
Система Лукасевича      103
Система Уайтхеда и Рассела      95
Система формул      266
Система формул $(\mathfrak D)$       268
Система формул $(\mathfrak D_0)$       261
Система формул $(\mathfrak F), (\mathfrak G)$       261
Система формул $(\mathfrak F_0)$       262
Система формул $(\mathfrak G^*)$       266
Система формул $(\mathfrak H)$       261
Система Фреге      95 103
Сколем      18 168—169 187—188 203—204 206 208 250 376 420
Следствие      93
Сложение в рекурсивной арифметике      376
Сложение цифр      48
Собочинский      96
Сравнение      400 441 487
Субъект      120
Схема аксиом      305
Схема заключения      94
Схема индукции      325 364
Схема индукции, обобщения ее      419
Схема рекурсии      352
Схема рекурсии, обобщения ее      419
Схема формул      462
Схема эквивалентности      119
Схемы $(\alpha)$ и $(\beta)$       142
Тарский      96 101
Теорема Евклида о простых числах      51
Теорема о частичной редукции      301 449
Теорема об однозначности редукции      295 449
Теорема Сколема      203
Теорема Ферма      455
Теоретико-множественная логика предикатов      165
Теория доказательств      73
Терм      236 271 468
Терм, рекурсивный      390
Тождества элементарной алгебры      57
Тождественная истинность      84
Тождественная ложность      85
Тождественность в конечном      160 233
Традиционная логика      73
Транзитивность      213
Уайтхед      11 95 468
Умножение цифр      49
Условия конечности      162
Устранение характеристик      511 530
Ферма      455
Финитная установка      59

Финитный способ рассуждений      45
фон Нейман      306 502 510
Формализация гипотетического суждения      127
Формализация процесса логического вывода      92
Формализм      429
Формализм рекурсивной арифметики      400
Формализм системы (В)      429
Формализм, расширение его      428
Формальная точка зрения      74
Формула      27 122 131
Формула $[\iota, B]$       515
Формула $[\iota]$       512
Формула $\mathfrak D$       266
Формула $\mathfrak F$       162 261
Формула $\mathfrak F_0$       262
Формула $\mathfrak G$       162 261
Формула $\mathfrak H$       163 261
Формула $\{\iota\}$       516
Формула (1), (2)      147
Формула (10b), (10c), (11), (12)      153
Формула (13')      155
Формула (13), (13a)      154
Формула (14'), (15),(15a)      155
Формула (14)      154
Формула (16a), (16b), (17a), (17b)      156
Формула (18), (19), (20)      156
Формула (2'), (3), (3'), (4)      148
Формула (5), (6)      149
Формула (7)      150
Формула (8), (9), (10), (10a)      152
Формула 1)), 2)), 2a))      212
Формула 10a)), 10b))      222
Формула 3))      213
Формула 4)), 5)), 6a)), 6b))      214
Формула 7a)), 7b))      215
Формула 8a)), 8b))      218
Формула 9a)), 9b))      219
Формула выводимая      142
Формула истинная      283
Формула истинная в логике высказываний      518
Формула исчисления высказываний      93
Формула исчисления предикатов      518
Формула нумерическая      283
Формула общезначимая      167
Формула опровержимая      168
Формула предваренная      182
Формула примарная      188 250
Формула тождественная      124
Формула тождественная, исчисления высказываний      84 142
Формула элементарная      122
Формулы единственности      467
Формулы $(\mu_1), (\mu_2)$ и $(\mu_3)$       482
Формульные переменные      123
Фреге      11—12 14 33 39 43 95 103 121 211
Френкель      71
Фундаментальная последовательность      64
Функциональный знак      235 267
Функция      52 121 472
Функция Аккермана      406 509
Функция логическая      165
Функция математическая      239
Функция Петер      408
Функция рекурсивная      390
Функция, изображение ее $\iota$ -термом      472
Хазенъогер      17—18 163 333 515 517 532
Хантингтон      37
Характеристика      511
Цауг      18
Цермело      39 70
Цифры      34 46 271
Цифры первого и второго рода      307 337 343
Цифры, ликвидация их      46
Частичное суждение      59
Чёрч      15 172
Числа как сокращения для цифр      47 358
Число действительное      64
Число рациональное      64
Шейнфинкель, М.И.      101 187
Шеффер      78 96
Шмидт, А.      21
Шмидт, Ф.К.      17—18
Шнайдер      143
Шольц      17—18 20
Шредер      43
Шрётер      532
Штрих-символ      267
Шютте      21 163 187—188 532
Эквивалентность      77
Эквивалентность, транзитивность ее      119
Экзистенциальное утверждение с финитной точки зрения      59
Экзистенциальные высказывания, исключение их      270
Экстенсиональная логика      83
Экстраполяция мысленная      41
Элементарная логика высказываний      74
Элементарное исчисление со свободными переменными      360
Эрбран      20 169 171—172 188 289 546—547
Яськовский      143
«Или» разделительное      82

1 2

О проекте