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

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

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



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



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


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

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

Аннотация:

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


Язык: ru

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Сикорский      354 429
Сильное (strong) введение и т.п.      98
Сильные (strong) смыслы, таблицы и т.п.      298 299 300
Символ (symbol) в машине Тьюринга      317 319 321 322 323
Символ (symbol) воспринимаемый      318
Символ (symbol), пространство (symbol space)      335 336
Символ (symbol), употребление (use) и упоминание (mention)      62 68 224 225 236 237
Символизация (symbolization)      60
Символизм (symbolism) логический      67 202
Символический язык (symbolic language)      60
Симметричности законы (symmetric laws)      16 105 166 354 358
Синтаксис (syntax language)      62
Системы (systems) объектов      29 54 373 386 409 см.
Системы (systems) равенств      235 246 247
Системы счётное множество (countable, denumerable, enumerable set)      11 378
Ситуация (situation) машины Тьюринга      318
Сказуемое (predicate)      131
Скобки (parentheses)      28 67 70 224
Сколем      43 243 256 349 352 377 378 381 382 385 420
Сколем (Skolem Т.), парадокс      377
Сколем (Skolem Т.), сколемовская нормальная форма      385
Слабое (weak) удаление отрицания      93
Слабые (weak) равенство, смыслы, таблицы и т.п.      292 298
Следствие (consequence)      78 см.
Следующий за (successor)      19 25 45 67 196 198 200
Следующий за (successor) обобщенный      222 246
Словарь (dictionary) полугруппы      339
Слово (word)      232 339
Слово (word) Поста      340
Сложение (addition)      см. «Сумма»
Случаи (cases), доказательство разбором      91 93 165 172
Случаи (cases), индукция с разбором      169
Случаи (cases), определение путем разбора      206
Смешение (mix)      398 400
Смешение (mix), формула смешения      398
Смысл (meaning) в классической математике      57 422 423
Смысл (meaning) для логического символизма      202
Смысл (meaning) функциональных обозначений      37 204 см.
Собственное подмножества      46
Собственное спаривание (proper pairing)      28
Совершенная (principal) дизъюнктивная нормальная форма и т.п.      124
Совместимые (compatible) формальные системы      387
Совместная выполнимость (joint satisfabillty)      346
Содержательная (informal) аксиоматика      32 43 53
Содержательная (informal) индукция      164
Содержательная (informal) математика      61 67
Содержательное (informal) изложение      164
Содержательные (informal) теории      63
Содержательный (informal)      43 61 62 67 80 164
Содержательный (informal) символизм      202
Соединение (juxtaposition) формальных выражений      69
Соединение (union) множеств      16 22
Сокращение (contraction) в исчислении генценовского типа      391 392
Сокращения (abbreviations)      71 141 359
Соответствие (correspondence)      11 16 36 229 377
Соответствие (correspondence), взаимно-однозначное (one-to-one) соответствие      11 16 377
Состояние (state) машины Тьюринга      318 322 334
Сочленение (concatenation)      69
Спаривание скобок (pairing of parentheses)      28 70
Сравнимость (connexity)      170
Сравнимость (connexity), теорема (comparability theorem)      22 23
Средний секвенции (midsequeht)      407
Стандартное положение (standard position)      320 341
Степень неразрешимости (degree of unsolvability)      280 282 306 342 384
Степень трудности массовой проблемы      280
Стирание (erasure) в машинах Тьюринга      319
Строгая импликация (strict implication)      129 см 127
Структурные (structural) правила (rules)      391 392 424
Структурный (structural) вывод (inference)      406
Структуры (lattices)      280 281 388 434
Субституэнд (substituend)      74
Сукцедент (succedeat}      390
Сукцедентные правила      392
Сумма (sum) конечная      201 254
Сумма (sum) логическая      162
Сумма (sum) множеств      16 22
Сумма (sum) натуральных чисел      168 181
Существенная неразрешимость (essential undecidability)      386
Существование (existence)      50 68 202 442 449
Существование (existence) и единственность (unique existence)      180 202 359 360 361 см. «Исчисление «Кванторы»
Существовании квантор (existential quantifier)      70 см. «Формальные
Схема (schema) аксиомы и т.п.      76 79 82 128 210
Схема (schema) рекурсивная      197 210 238 239 245 549 291
Схема (schema) рекурсии      465 466
Схема (schema) релейного действия      125
Сходимость (convergence)      35 36 149
Сходные секвенции (cognate sequents)      424
Таблица (table) для логической функции      154
Таблица (table) для машины Тьюринга      319
Таблица (table) для предикатной формулы      155
Таблица (table) для функции      38 см.
Тарский      91 129 386 387 388 442 503
Тезис Чёрча      287
Теорема (theorem) неформальная, мета-математическая      80
Теорема (theorem) формальная      77 78 80 374 376 см.
Теорема (theorem), схема теорем      79
Теоретико-множественная логика предикатов (set-theoretic predicate logic)      159 345 354 355 373 385
Теоретико-числовой      см. «Арифметический»
Теория (theory)      56 57 58 63 192 386
Теория (theory) доказательств      55 см.
Теория (theory) неформальная      62 63
Теория (theory) предметная      60 63
Теория (theory) формальная      60 83 см. «Теории
Теория (theory) чисел (number theory)      33 52 см. «Арифметика» «Робинсона
Теория (theory), метатеория      60 63
Терм (term)      69 131 161 179 523 235 346 354 357 372 390 410
Терм (term) свободный      75 227 364
Терм (term), f-терм      364
Технические понятия (technical notions)      32 59
Типы (types)      46 47
Типы (types), системы, использующие высшие типы      163 192 286 380 382
Тождества или эквивалентности проблема (word problem)      339 342
Тождественность (validity) в области      см. «Общезначимость»
Тождественность (validity), k-тождественность (k-identity)      156 161 354
Тождественные (identical) действие, схема и т.п.      238 239 322 336 407 408
Тождественные (identical) истинность, равенство в т.п.      117 137 156
Тождество (identity)      см. «Равенство»
Тождество (identity), принцип тождества      104
Тождество (identity), функции тождества      198
Топология      61 345
Точечное множество (point set)      15 24
Транзитивности законы (transitive laws)      16 105 166 170 354 358
Трансфинитная (transfinite) индукция      384 421 422 423
Трансфинитная (transfinite) рекурсия      244
Трансфинитное (transfinite) кардинальное число      19 22 33
Трансфинитное (transfinite) порядковое число      421
Трансфинитные числа      см. «Порядковые числа»
Трансцендентное число (transcendental number)      14 23
Трахтенброт, Б.А.      277 385
Трехзначная логика (three-valued logic)      296 298 454
Тривиальный (vacuous) заключение и т.п.      29 127
Туи      339
Туи (Thue A.), система и т. п.      339 340 341
Туркетт      129 163
Тьюринг      267 280 285 287 317 321 334 335 338 542 382
Тьюринг (Turing A.M.), 2-заключительные (2-terminal) машины Тьюринга      326
Тьюринг (Turing A.M.), гёделевские номера для машины Тьюринга      332 338
Тьюринг (Turing A.M.), тезис      267 268 287 334 338 339 353 384 см.
Тьюринга (Turing A.M.) машины (Turing machines)      287 317 322 334 335 337 338 340
Уайтхэд      45 46 60 361
Удаление (elimination) логических символов      91 см.
Узкое исчисление предикатов (restricted predicate calculus)      163
Умножение (multiplication)      см. «Произведение»
Универсальная функции (universal function)      258
Уравнение      196 234
Усиление      175
Усиление формальной системы      175 см.
Усиленная интуиционистская система      453
Условие (condition) машины Тьюринга      317
Условная (conditional) интерпретация      137
Условное (conditional) равенство (equation)      137
Успенский, В.А.      175 277 278 280 308
Устранимости (elimination) законы      109
Устранимости (elimination) отношения      359 см.
Устранимости (elimination), теорема об устранимости сечений      400 407 см.
Устранимость (eliminability)      359 371 372 450 454
Устранимость описательных определений      359
Устранять (discharge)      88 164
Утончение (thinning) в исчислении Генцена      391 392
Фалевич, Б.Я.      382
Ферма «великая теорема» (Fermat’s «last theorem»)      49 51 127 385
Фиксированная переменная (variable held constant)      89 94 128 135 162
Финитные методы (finitary methods)      61 81 195 203 237 423 439 440
Финитный      195 203 237 245
Финслер      191
Форма (transform)      369
Форма (transform) главная, f-несодержащая      364 369
Формализация (formalization)      53 58 67 189 219 265 351 374 см. «Формализм»
Формализм (formalism)      45 47 58 184 423 см.
Формализм (formalism) арифметический      см. «Арифметика»
Формализм (formalism) рекурсивных функций      235 246
Формальная (formal) импликация      127
Формальная (formal) индукция      164 см.
Формальная (formal) математика      53 60
Формальная (formal) система (понятия формальной системы)      60 67 221 223 236 237 266 271 272 287 288 374 384 386 442
Формальная (formal) система для арифметического предиката (тезис II и его обращение)      267 268 271 288 358 см. «Формализация»
Формальная (formal) теорема      78 80
Формальная (formal) теория      60 63
Формально выражает (о предикате)      460
Формально выражает (о функциональном символе и о терме)      459
Формальное (formal) выражение      68
Формальное (formal) вычисление      175 21/ 234 262 263 287 288
Формальное (formal) доказательство      63 78 80 223 228 266
Формальные (formal) аксиоматические системы (formal axiomatics)      32 33 43 54 59 373
Формальные (formal) вывод (formal deduction)      82
Формальные (formal) объекты (formal objects)      60 62 68 80 224 225 236 237
Формальные (formal) символы (formal symbols)      67 224 236 237
Формальный (formal) вывод (formal inference)      78
Формула (formula)      60 69 126 223 226 390
Формульная переменная      74 см.
Фреге      16 45 60 83 224
Френкель      22 43 47 377 493
Фундаментальное индуктивное определение (fundamental inductive definition)      232
Функциональная (functional) буква      235 237 246 247
Функциональная (functional) полнота      124
Функциональный (functional) символ      67 235 357 361 369 410
Функция (function)      36
Функция (function) (обозначение)      37 38
Функция (function) как объект      315
Фэйс      129
Хазенъегер      345 353
Хассе      206
Хаусдорф      22 39
Хенкин      345 382 434
Ход машины Тьюринга      см. «Движение» «Шаг»
Холл      342
Цейтин, Г.С.      342
Целое положительное число      см. «Положительное целое число»
Целое число (integer)      11 12 56 388 530 532
Цепное заключение (chain inference)      104 105
Цепь (chain) эквивалентностей и т.п.      108
Цермело      23 40 43 47 53 349
Цифра (numeral)      161 176 226 235 248
Цифра (numeral) обобщенная      410
Частично-рекурсивная (partial recursive) схема      291
Частично-рекурсивная (partial recursive) функция      290 291 308 см.
Частично-рекурсивный (partial recursive) оператор      291 303 308
Частично-рекурсивный (partial recursive) предикат      293
Частичный (partial) порядок      33 98 99
Частичный (partial) предикат      292
Частичный (partial) функция      290 296 304 313
Частное (quotient)      170 182 200 254 367 498
Частный тип понятия конструктивной истинности и т.п.      51
Чёрч      37 91 163 216 249 267 284 285 286 287 289 290 338 382 384 385 386 493
Чёрч, обращение тезиса      267 284
Чёрч, тезис      267 279 280 282 283 287 295 314 316 334 338 339 449
Чёрч, теорема      267 281 338
Число (number)      11 13 16 19 20 22 25 33 56 421 см.
Числовая переменная (number variable)      67 235
Чистая (pure) переменная      399
Чистая (pure) теория чисел      33
Чистое (pure) исчисление высказываний      101
Чистое (pure) исчисление предикатов      131
Чистое (pure) исчисление предикатов, с равенством      353
Чистота переменных, свойство (pure variable property)      399
Шаг (move) машины Тьюринга      318
Шанин, Н.А.      51 232 437
Шейнфинкель, М.И.      38 286
Шеффер      128
Шмидт      163
Шредер      60 114 125
Штрих Шеффера (Sheffer stroke)      128
Шютте      385 423 490
Эвбулид (Eubulides), парадокс      42 см.
Эвклид      32 53 59 125 172
Эвклид, теорема Эвклида о простых числах      172 207 255 см.
Эйнштейн      57
Эквивалентности или тождества проблема (word problem)      339 342
Эквивалентность (equivalence) (понятия)      16 104 202 285 286 292 298 339 342 356 359 360
Эквивалентность (equivalence) (рекурсивность)      205 293 294 300
Эквивалентность (equivalence) (формальная логика)      105 107 138 147
Эквивалентность (equivalence), классы эквивалентности      15 356
Эквивалентность (equivalence), отношение эквивалентности      356 375
Эквивалентность (equivalence), теорема эквивалентности      18
Экзистенциальный      см. «Актуальная бесконечность формальные
Экспортация (exportation)      104
Элемент (element или member) множества      15
Элементарная (elementary) арифметика      52 67
Элементарная (elementary) конъюнкция и т.п.      124
Элементарная (elementary) система аксиом      373 376
Элементарная (elementary) теория чисел      33
Элементарная (elementary) функция (по Кальмару)      254
Элементарная (prime) формула и т.п.      103 104 146 181 363 435
Элементарное действие (atomic act)      см. «Действие»
Элементарный (elementary) предикат      254 260
Элементарный (elementary) предикат (по Кальмару)      254
Элиминируемость      см. «Устранимость»
Эпименид (Epimenides), парадокс      42 44 47 185 442
Эпсилон-аксиомы      482
Эпсилон-символы      482
Эпсилон-теоремы      483
Эрбран      91 140 163 244 290 389 407 409
Эффективная интерпретация (effective interpretation)      410
Эффективная неотделимость      277 278
Эффективная непополнимость      175 176 188 274 278
Эффективно(effectively)-вычислимая функция      286
Эффективно(effectively)-истинная формула      411
Эффективно(effectively)-разрешимый предикат      266 267 см. «Проблема
Эффективно(effectively)-счетное множество формул      353
Юнг      54
Яблонский, С.В.      129
Явное (explicit) вхождение и т.п.      143 146
Явное (explicit) определение      198 359
Язык (language)      60 62 67 223 224 236 237 338 см.
Яновская, С.А.      493
Яськовский      91 129
«Бессмыслица»      298
1 2 3 4
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте