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

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

blank
blank
blank
Красота
blank
Клини С.К. — Введение в метаматематику
Клини С.К. — Введение в метаматематику



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



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


Название: Введение в метаматематику

Автор: Клини С.К.

Аннотация:

Книга является самой обширной из имевшихся на момент её выхода в свет монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Книга предназначена для глубокого изучения предмета и рассчитана как на специалистов по математической логике и теории рекурсивных функций, так и на лиц, желающих впервые, но серьезно, изучить эти науки
Имя одного из крупнейших современных специалистов в области математической логики С. К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (ИЛ, 1957), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными, функциями и основаниями математики.


Язык: ru

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Cтупень (order)      163 373
F-квантор (F-quantifier)      365
f-несодержащий (Mess) терм и т.п.      363 364 369 371
f-терм (f-term)      364
k-исчисление предикатов (k-predicate calculus)      161
k-исчисление, предикатов (k-predicate calculus)      161 см. «Теоретико-множественный»
k-кратная (k-fold) рекурсия      243
k-образ (k-transform)      161
k-равенство (k-ecquality)      156 354
k-равенство (k-equality)      156 354
k-равенство (k-equality) (рекурсивные функции)      204 294
k-равенство (k-equality) (формальная логика)      166 178 353 363 371 375 376
k-равенство (k-equality), аксиомы      353 354 357 358 376
k-равенство (k-equality), предикатная формула ср. (equality and predicate letter formula)      353 354
k-Рекуррентные (k-recusive) функции      243
k-рекурсивные (k-recursive) функция      243
k-тождественность (k-identity)      156 161 354
modus ponens      91
n-значная логика (n-valued logic)      129 163
n-значная логика (n-valued logic) (для n = 3)      296 298
n-ка (n-tuple)      12 24 36
n-местное (n-ary) отношение      132
R-оценка (valuation)      455
Reductio ad absurdum      21 82 91
Абель      34
Абстрактная (abstract) система      30
Абстрактная (abstract) теория множеств      15 22 39 42
Абсурд      491
Автоматический перевод      338
Автонимный (autonymous) символ и т.д.      225 237
Адян, С.И.      342
Аккерман      53 184 242 244 385 386 389 409 417 423
Аксиома (axiom)      31 см.
Аксиома (axiom) выбора      52
Аксиома (axiom) индукции      378 386 476
Аксиома (axiom) обобщенной арифметики      464—466
Аксиома (axiom) Пеано      464
Аксиома (axiom) равенства      481
Аксиома (axiom) формальной системы      76
Аксиома (axiom), схема аксиом (axiom scheme)      76 128
Аксиоматизируемость      453
Аксиоматизируемость в обобщенной арифметике      479
Аксиоматическая (axiomatic) арифметика      378 см.
Аксиоматическая (axiomatic) теория      373 386 409 см.
Аксиоматическая (axiomatic) теория множеств      43 47 376
Аксиоматический (axiomatic) метод      31 32 54 59 373
Активная (active) ситуация      
Активное (active) состояние и т.д.      318
Актуальная бесконечность (actual infinity)      49 52 55 159 283
Алгебра      61 345
Алгебраическое (algebraic) уравнение      
Алгебраическое (algebraic) число (number)      12
Алгоритм, алгорифм (algorithm)      125 267 283 287 288 289 290 296 297 299 309 310 342 426
Алгоритм, алгорифм (algorithm), алгоритм Колмогорова      287
Алгоритм, алгорифм (algorithm), нормальный алгорифм      286 см. «Проблема
Александров, П.С.      23
Алфавит (alphabet)      67 232 339
Альтернативное отрицание (alternative denial)      128
Анализ (analysis)      33 36 45 46 52 54 57 423
Анализ (analysis) вывода и т.п.      82 210
Аналитическая теория чисел (analytical number theory)      33 57
Анонимная (anonymous) переменная и т.п.      141 143 145
Антецедент (antecedent)      390
Антецедент (antecedent), антецедентные правила      392
Аргумент (argument) функции      36
Аристотель      48 55 60
Арифметизация (arithmetization) анализа      34 53
Арифметизация (arithmetization) метаматематики      221 246 255
Арифметика (arithmetic)      33 36 52 116 168 214
Арифметика (arithmetic) без умножения      184 361 419 см. «Система
Арифметика (arithmetic) обобщенная (generalized)      221 232 246 см.
Арифметика (arithmetic) с ограниченной схемой индукции      184 417 420
Арифметика (arithmetic) формальная      67 77 90 91 164 217 226 231 262 263 271 275 276 279 350 359 360 361 367 371 378 435 437 441
Арифметика (arithmetic), основная теорема      206
Арифметическая (number-theoretic) формула      100
Арифметическая (number-theoretic) функция      14 23 37 41 179 195 367 449
Арифметический (number-theoretic) предикат      203 345
Арифметический по Гёделю класс      381
Арифметический по Гёделю предикат      215 216 254 260 367 см.
Арифметическое (number-theoretic) исчисление высказываний      101
Арифметическое (number-theoretic) исчисление предикатов      131 см. «Теория
Арсенин, В.Я.      277
Асимметрия (asymmetry)      170
Ассоциативное исчисление      342
Ассоциативности законы (associative laws)      109 168
Базис (basis) (индуктивное определение)      232
Базис (basis) (индукция)      27
Базис (basis) (примитивно-рекурсивные функции)      200 201 214
Базис (basis) (рекурсивно-перечислимое множество)      309
Базис (basis) (рекурсия)      209
Басен      54
Баше      49
Бельтрами      54
Беппо-Леви      52
Берецки      255 256
Бернайс      43 53 61 67 376 386 409 420 437 439
Бернайс, Гильберт — Бернайс      53 54 58 61 67 74 91 99 159 160 161 163 184 190 191 202 220 221 243 286 345 349 352 357 361 368 369 376 385 409 417 420 423 439 442
Бернштейн      18
Берри (Berry G.G.), парадокс      41
Бесконечная (infinite) индукция      см. «Правило Карнапа»
Бесконечная (infinite) последовательность      14 15 23
Бесконечно-удаленные точки (points at infinity)      55
Бесконечное (infinite) кардинальное число      19
Бесконечное (infinite) множество      19 20
Бесконечность (infinity), аксиома (axiom of Infinity)      47 377
Бесконечность (infinity), проблемы      47 см. потенциальная
Бесконечный (infinite) спуск (infinite descent)      175 422
Биман      385
Биркгоф      280 281
Блэк      47
Боковая формула (side formula)      392
Больаи      32
Большая посылка (major premise)      236
Большого размаха функция (function of large oscillation)      258
Бочвар, Д.А.      44 298
Брауарова логика      280
Брауэр      45 48 49 53 56 57 58 284 434 439 449
Буква (letter)      339
Буква (letter), m-ка (m-tuple)      121
Буль      60
Бун      342 505
Бурали-Форти парадокс (Burali-Forti’s paradox)      39 42 47 500
Вайсберг      129
ван Данциг      40 439
Ван Хао      163 192 256 376 382
Вандивер      49
Варьирование в выводе (variation in a deduction)      89 95 128 156 162 372
Введение (introduction) и удаление (elimination) логических символов      91 94 98 134 135
Введение (introduction) и удаление (elimination) логических символов (в исчислении Генцена)      391 398 424
Введение (introduction) и удаление (elimination) логических символов сильное (strong)      98
Введение (introduction) и удаление (elimination) логических символов слабое (weak) удаление отрицания      93 см.
Веблен      32 54
Вейерштрасс      34 47 49
Вейль      42 45 47 48 49 53 58
Верифицируемая формула (verifiable formula)      411
Верхнее вхождение      486
Верхняя грань (upper bound)      35
Верхняя полуструктура (upper semi-lattice)      281
Верхняя строчка      392
Вессель      56
Ветвь (branch)      99
Ветвь (branch) главная      238
Вещь (entity)      221 225 232 246
Взаимная простота      476
Взаимно исключающие друг друга (mutually exclusive) отношения      17 206
Виета      60
Виноградов, И.М.      480
Внешняя противоречивость (external inconsistency)      191
Вносящий вывод (contributory deduction)      238
Возвратная (пробега) (course-of-values) индукция      27 174
Возвратная (пробега) (course-of-values) рекурсия      207 213 255
Воробьев, Н.Н.      426
Воспринимаемая (scanned) клетка (square)      
Воспринимаемый (scanned) символ (symbol)      318 320
Восстановление (сокращения)      141
Вполне соответствующий предикат      229
Всегда-истинность (validity)      см. «Общезначимость»
Всеобщность (generality)      49 50 67 202 443
Всеобщность (generality), интерпретация      137 см.
Вспомогательная функциональная буква (auxilliary function letter)      237
Вспомогательный вывод (subsidiary deduction)      87 95
Вспомогательный вывод (subsidiary deduction), правило      82 87 114 см. «Варьирование»
Всюду определённая функция (completely defined function) и т.д.      290 321
Входные данные (input)      318
Вхождение (occurrence)      68 142 390
Выбора аксиома (Цермело) (axiom of choice)      52 349
Вывод (deduction) данный (given), результирующий (resulting)      88
Вывод (deduction) формальный      82 88 98 223 224 236 248 258
Вывод (deduction), схема вывода      82
Вывод (inference) по-данному правилу      78
Вывод (inference), правила вывода      59 78
Выводимость (deducibility)      82 111 236 см. «Дедукция»
Выводимые правила (derived rules)      81 360 см.
Выполнимость (satisfiability)      156 158 345 355 374 385
Выполнимость (satisfiability) совместная (joint)      346
Выполняющее, распределение (satisfying assignment)      345
Высказываний исчисление      см. «Исчисление высказываний»
Высота (height)      99
Высота доказательства      486—490
Высота секвенции      486—490
Выходные данные (output)      318
Вычеты (residues)      30 31 см.
Вычисление (calculation), вычисляющая процедура (calculation procedure)      см. «Алгоритм»
Вычисление (calculation), проблема вычислимости (calculation problem)      126 280 382 см.
Вычислимая по Тьюрингу (computable) функция      285 286 287 321 322 332
Вычислимая по Тьюрингу (computable), 1/1-вычислимая, w/s-вычислимая      321 см.
Вычислимый (calculable)      см. «Эффективный» «Изобразимый»
Галилей (Galileo), «парадокс»      11 20 47
Гаусс      30 34 49 58 56 206
Гейтинг      52 53 57 129 151 430 434 439 449 493
Генетический метод (genetic method)      31 53
Генцен      40 67 84 93 129 202 389 393 400 406 407 409 421 422 423 424 437
Генцен, генценовское доказательство непротиворечивости арифметики      421 440
Генцен, основная теорема (теорема о нормальной форме, или элиминационная теорема)      389 397 400 406 420 421 423 434 452
Генцен, основная теорема (теорема о нормальной форме, или элиминационная теорема)основная теорема (теорема о нормальной форме, или элиминационная теорема), обобщенная      407 409 420
Генцен, система генценовского типа      390 406 407 422
Генцен, система генценовского типа G 3а      425
Генцен, система генценовского типа G1      390
Генцен, система генценовского типа G2      398
Генцен, система генценовского типа G3      424
Геометрия (geometry) (аналитическая, декартова)      23 54
Геометрия (geometry) (основания)      32 59 420
Геометрия (geometry) (проективная)      55 388
Геометрия (geometry) (эвклидова, неэвклидова)      23 32 42 43 54 55 381 493
Гермес      221
Гёдель      23 43 46 47 129 184 190 191 192 199 202 204 214 215 216 217 221 244 283 286 290 345 349 352 353 354 376 386 429 435 436 437 453 454
Гёдель, $\beta$-функция Гёделя      214 218
Гёдель, вторая теорема Гёделя (о доказательствах непротиворечивости)      189 271 420 422 423 440 442
Гёдель, гёделевская нумерация (Godel numbering)      186 221 228 246 250 251 257 258 260 264 266 272 279 288 294 295 338 342 350 353 381 384 442 443 450 см. «Тьюринг»
Гёдель, гёделевский номер      272 277 308
Гёдель, гёделевское сведение (reduction) классических систем к интуиционистским      190 435 436 437 438 439 454
Гёдель, теорема Гёделя о неполноте (о неразрешимости)      184 187 190 231 244 256 270 273 378 380 381 453
Гёдель, теорема Гёделя о неполноте (о неразрешимости), обобщенная форма      269 274 381 382
Гёдель, теорема Гёделя о неполноте (о неразрешимости), россеровская форма      188 274
Гёдель, теорема Гёделя о неполноте (о неразрешимости), симметричная форма (и $W_{0}$, $W_{1}$)      274 282 296 415 455
Гёдель, теорема Гёделя о полноте      345 349 352 354 355 374 376 378 381 385
Гильберт      31 32 45 46 53 55 86 57 58 60 61 74 128 202 242 284 368 376 385 423 442
Гильберт — Аккерман      46 67 124 128 158 160 163 345 388
Гильберт — Бернайс      389 390 см. система
Главная (principal) f-несодержащая форма (f-less transform)      364 369 371
Главная (principal) ветвь (branch)      238
Главная (principal) формула      392
Главная (principal) функциональная буква      237
Главное (principal) равенство (equation)      238
Гливенко, В.И.      434
Глубина (depth)      107 138 167
Гнездная (nested) рекурсия      242
Гонсет (Gonseth F.), парадокс      40
Грань (bound)      35
Группа (group)      33 342 388
Данная функциональная буква (given function letter)      237
Данное машины Тьюринга      318
Движение (или ход) (motion, move) машины Тьюринга      318 336 337
Двоичная (dual) дробь и т.д.      23 34 321 338
Двойная (double) рекурсия      243
Двойное (double) отрицание      91 109 см.
Двойной (double) базис      174 209
Двойственность (duality) (логика)      113 114 152 254 391 392
Двойственность (duality) (проективная геометрия)      56
Двузначная логика (two valued logic)      128 см.
Двукратная рекурсия (double recurs’ton)      см. «Двойная рекурсия»
де Ион      434 439 440
де Морган      60 109
Дедекинд      20 34 45 47 49 2г8
Дедекинд, дедекиндовы сечения      34 39 45 52
Дедуктивно равные (interdeducible) формулы      138 140 363 385
Дедуктивные (deductive) правила      76
Дедуктивный (deductive) метод      59
Дедукции, теорема о дедукции (deduction theorem)      84 90 91 128 163 см.
Действие (act)      317 318 322 325 334 336
Действительные (real) предложения (statements) (по Гильберту)      55 192 420 453
Действительные (real) функции      24
Действительные (real) числа      13 23 34 45 52 321
Декарт      23 54
Деккер      342 499
Делимость (divisibility)      173 182 207 216
Дерево (tree), доказательство в виде дерева (tree form)      98
Десятичные обозначения (decimal notation)      13 25 34 337 338
Детловс, В.К.      286 341 434
Диагональный (diagonal) метод      см. «Кантор»
Дизъюнктивная нормальная форма (disjunctive normal form)      124 125
Дизъюнкция (disjunction) (интерпретация)      51 67 126 202 444
Дизъюнкция (disjunction) (формальная логика)      67 104 108 113 123 151 160 171 см. «Пропозициональные «Таблицы
Диксон      41
Диофант      49
Дистрибутивности законы (distributive laws)      109 168
Доказательство (proof) (неформальное)      80
Доказательство (proof) (формальное)      63 78 80 126 223 228 392
Доказательство (proof) с чистыми переменными (pure variable proof)      399
Доказательство (proof), длина доказательств      163
Доказательство (proof), нить доказательства (proof thread)      99
Доказательство (proof), схема (proof scheme) доказательства      79
Доказательство (proof), теория доказательств (proof theory)      55 см.
Доказуемая (provable) формула      77 78 82 126 231 233 266 267 268 270 272 375 385
Дополнение (complement) множества      17
Дополнение (object) грамматическое      132
Дробь (fraction)      12 56 см. десятичные
Дэвис      282
Единичное множество (unit set)      15
Есенин-Вольнин, А.С.      376
Естественный выбор      461
Ефимов, Н.В.      54
Завершенная бесконечность (completed infinity)      см. «Актуальная бесконечность»
Зависимость (dependence) в выводе      89 95
Зависимость (dependence) функций      197 201 315
Зависимые (redundant) аксиомы, постулаты      360
Заключение (conclusion) (в выводе)      82 99
Заключение (conclusion) (в правиле вывода)      79
Заключение (conclusion) (и импликации)      105 127
Заключительное (terminal) состояние и т.п.      318 326
Замена (replacement)      106 138 147 166
Замена (replacement) в формализме рекурсивных функций      236 244 245 247
Замена (replacement) во всех вхождениях      101 106 108
Замена (replacement) друг на друга (interchange)      112
Замена (replacement), леммы для замены      107 138 167
Замена (replacement), свойство замены для равенства      168 354 358
Замена (replacement), свойство замены для эквивалентности      108 139 146 см.
Замена (replacement), специальные свойства      166
Замена (replacement), теорема о замене      107 138 167
Заменимость (replaceabillty) функциональных символов предикатными      369 371 376
1 2 3 4
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте