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

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

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



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



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


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

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

Аннотация:

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


Язык: ru

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Обще-рекурсивное (general recursive) множество      272 273
Обще-рекурсивный (general recursive) класс      272 273
Обще-рекурсивный (general recursive) оператор (functional)      245
Обще-рекурсивный (general recursive) предикат      246 см.
Общее значение (ambigous value)      37 204
Общезначимость (validity)      156 158 345 353 354 355 374
Общезначимость (validity) в конечной области      156 161 354 355 385 410
Общие свойства символа (general properties)      83 96 132
Общности квантор (generality quantifier, universal quantifier)      67 70 202 см. «Исчисление «Кванторы»
Объект (object)      29 132
Объект (object) как функция      315 см.
Объект (object), система объектов      29
Обычные (ordinary) понятия      32 59
Ограничение на переменные (restriction on variables)      390
Ограниченная схема индукции (restricted induction schema)      184 417 420
Ограниченные кванторы (bounded quantifiers)      178 182 202 205 254 293 300 416 455
Одновременная (simultaneous) индукция      174
Одновременная (simultaneous) рекурсия      209 226 242
Одноместное исчисление предикатов (one-place predicate calculus)      353 385
Омега-непротиворечивость (omega-consistency)      187 191 270 474 490
Омега-полнота (omega-completeness)      191
Ониси      434
Оператор (functional) над функциями      210 245 291 322
Оператор (operator)      303 308
Оператор (operator) логический      70
Оператор (operator) формальный      70
Операция (operation)      36 318
Операция (operation)следования      221
Описание (description)      180
Описание (description) неопределенное      309
Описание (description) устранимость      361
Определенное значение {defined value)      290
Определяемые понятия (defined notions)      32
Опровержимая (refutable) формула      175
Ординальные числа (ordinals)      см. «Порядковые числа»
Основная теорема арифметики (fundamental theorem of arithmetic)      206
Остаток (remainder)      170 182 200 215 367
Открытая формула (open formula)      138
Относительная рекурсивность (relatuve recursiveness)      201 204 210 211 245 258 265 291 см. «Равномерность»
Отношение (relation)      132
Отображение      36 см.
Отображение в систему S      466 467
Отобразимый предикат (resolvable predicate)      262 263 264 265 271 287
Отрицание (negation) (интерпретация)      51 67 126 202 439 443
Отрицание (negation) (формальная логика)      67 94 104 108 112 151 360 см. «Интуиционистские «Таблицы
Оценка (valuation) неэффективная      158 345 354
Оценка (valuation) эффективная      116 153 354 410 419 441
Павел (Paul) (апостол)      42
Память (memory) в машине Тьюринга      317 336
Парадоксы (paradoxes)      39 42 44 47 см. «Галилей» «Гонсет» «Зенон» «Рассел» «Ришар» «Сколем» «Эвбулид» «Эпименид»
Параметры (parameters)      38 137
Параметры (parameters) рекурсии      196 212 305 306 307
Парикмахер (barber) парадокс парикмахера      40
Пассивное (passive) состояние н т.п.      318 326
Паш      59
Пеано      26 45 60
Пеано (Peano G.), аксиомы Пеано      26 31 168 380 382
Пеано (Peano G.), обобщенные аксиомы      222 см.
Первоначальная функция (initial function)      197
Первоначальные понятия (primitive notions)      32 59
Перевод (translation)      230 236 301 436
Переменная (variable)      36 61 67 128 137 162 223 226 235
Переменная (variable), доказательство с чистыми переменными и т.п.      399
Переменная (variable), интерпретация      133 136 137 204
Переменная (variable), которая варьируется (is varied) в выводе      89 см.
Переменная (variable), ограничения на переменные      390
Переменные (variable) фиксированные (variables held constant)      89 95 136
Переменный предикат      см. «Предикатная переменная»
Пересечение (intersection, product) множеств      16 22
Перестановка (interchange) в исчислении Генцена      391 392
Перестановка (interchange) посылок      104
Пересчет (enumeration)      11 377
Пересчет (enumeration) эффективный      353
Перечислимое множество      см. «Рекурсивно-перёчислимое множество»
Петер      201 207 242 243 244 321 350 420
Печатанье (printing) (в машине Тьюринга)      317 318 319
Пильчак, Б.Ю.      426 508
Пирс      60 507
Пифагор      35 49 59
Погружающая операция      437
Подлежащее (subject)      131
Подмножество (subset)      16 377
Подмножество (subset), множество подмножеств      15 21 377
Подобные множества (similar sets)      421
Подсистема (subsystem)      84 386 см.
Подсистема (subsystem) системы исчисления предикатов      98 406
Подстановка (substitution)      74 106
Подстановка (substitution) в формализме рекурсивных функций      236 245 247
Подстановка (substitution) вместо (for) индивидуальных переменных      94 134 147 226 231
Подстановка (substitution) вместо (for) индивидуальных переменных, обозначение для подстановок      74
Подстановка (substitution) вместо (for) предикатных букв      141 142 145 162
Подстановка (substitution) вместо (for) предикатных букв, обратная      147
Подстановка (substitution) вместо (for) пропорциональных букв      101 128
Подстановка (substitution) вместо (for) пропорциональных букв, обратная      103
Подстановка (substitution) свободная      75 142
Подстановка (substitution), определение посредством подстановок      198 204
Подформула (subformula)      397
Подформула (subformula), результаты о подформулах      121 123 124 127 184 263 270 274 345 349 350 351 352 355 374 375 376 419 см.
Подформула (subformula), свойство подформулы      397
Показатели (exponents)      200 206 207
Полная (complete) формальная система      см. «Полнота»
Полное (complete) множество Поста      306
Полное (complete) равенство, эквивалентность      292 295 299 303
Полное упорядочение (well-ordering)      23 171 421
Полнота (completeness) понятия      120 124 160 175 191 238 268 270 274 291 374
Положительное целое число (positive integer)      11 502 503
Полугруппа (semi-group)      339 342
Поля (fields)      388
Понселе      55
Понятия (notions)      32
Попарно простые числа (relatively prime numbers)      215
Пополнимость      278
Порядковые или ординальные числа (ordinals)      22 421
Порядковые или ординальные числа (ordinals) конструктивные      290
Порядок (order)      33
Порядок (order) внутри типа (within a type)      46
Порядок (order) для действительных чисел      34
Порядок (order) для кардиальных чисел      17
Порядок (order) для натуральных чисел      19 26 169
Последовательность (sequence)      12 14 22 25 35 98 339
Последовательность (sequence), доказательства в виде последовательности      99
Пост      124 129 253 258 261 267 272 273 280 281 285 286 287 306 309 317 321 336 339 342
Пост (Post E.), слово      340
Пост (Post E.), теорема      261 350 356
Постоянный (constant)      137
Постулатов (postulates), метод (postulational method)      31 см.
Постулаты (postulates)      31
Постулаты (postulates) перечни (lists of)      77 390 425
Постулаты (postulates) соответствующие (respective)      98 99 406
Постулаты (postulates) формальной системы      76
Посылка (premise)      78 236
Потенциальная (potential) бесконечность (infinity)      49 61 67 317 322
Потенциальная (potential) рекурсивность (recursiveness)      289 295 296
Правила вывода (rule of inference)      59 78
Правильная часть      16
Прандтль      42
Предваренные (prenex) форма, формула      152 254 345 385 411 441 455
Предел (limit)      35 311
Предикабельный (predicable)      41
Предикат (predicate)      131 132 203
Предикат (predicate), символ      357 373 410 см.
Предикатная (predicate) k-формула (k-predicate letter formula)      161
Предикатная (predicate) буква      130 162
Предикатная (predicate) буква, интерпретация букв      133 153 158 373
Предикатная (predicate) интерпретация      133 204
Предикатная (predicate) переменная      162 163 353
Предикатная (predicate) формула (predicate letter formula)      131
Предикатная (predicate) формула (predicate letter formula) с равенством (equality and predicate fetter formula)      353 354 355
Предикатная (predicate) формула (predicate letter formula) с равенством (equality and predicate fetter formula), составленная из (in)      142
Предикатная (predicate) формула (predicate letter formula) с цифрами      346
Предикатная (predicate) формула (predicate letter formula), составленная из =, $P_{1}, \ldots P_{s}$      354
Предикатное (predicate) исчисление высказываний (predicate letter propositional calculus)      101
Предикатный (predicate) вывод (inference)      406
Предмет (object)      132 см.
Предметная (object) переменная      132
Предметная (object) теория      60 63
Предметный (object) язык      62
Предпочтенная интерпретация (preferred interpretation)      275 277
Представление (representation) на ленте машины Тьюринга      320 324 334 337
Представление (representation) системы      30
Представляющая (representing) функция      15 204
Представляющий (representing) предикат      179 261 284
Предшественник (predecessor)      200
Предшественник (predecessor) обобщенный      222
Преобразование правила преобразования (transformation rules)      76
Пресбургер      184 361 419
Приданные переменные (attached variables)      130 131
Прикладное исчисление предикатов (applied predicate calculus) и т.п.      357 см.
Применение (application)      33 70 78
Примеры формальной (formal) системы      см. «Арифметика» «Генцен» «Гильберт» «Исчисление «Исчисление «Устранимость»
Примитивная рекурсия (primitive recursion)      196 199
Примитивно рекурсивная (primitive recursive) истинность      419
Примитивно рекурсивная (primitive recursive) схема (scheme)      210 214
Примитивно рекурсивная (primitive recursive) функция      197 200 204 205 210 308
Примитивно рекурсивное (primitive recursive) описание (description)      197
Примитивно рекурсивное (primitive recursive) построение (derivation)      201
Примитивно рекурсивный (primitive recursive) оператор (functional)      210
Примитивно рекурсивный (primitive recursive) предикат      204 205 211
Пробега индукции, рекурсия      см. «Возвратная»
Проблема      51 280 см.
Проведение оценки (valuation procedure)      116 см.
Проверка (verification)      57 116
Продолжение (extension) функции      289 302
Проективная геометрия (projective geometry)      55 388
Произведение (product) конечное (finite)      201 255
Произведение (product) логическое (logical)      162
Произведение (product) натуральных чисел      168 181 184 200 214 215 254 361 388 498
Производящая функция (course-of-values function)      208 259
Промежуток (gap) в машине Тьюринга      324
Пропозициональная k-формула (k-proposition letter, formula)      161
Пропозициональная буква (proposition letter)      100 128 161
Пропозициональная переменная (proposition variable)      128
Пропозициональная формула (proposition letter formula)      100
Пропозициональная формула (proposition letter formula) с цифрами      346
Пропозициональная формула (proposition letter formula), составленная из (in)      101
Пропозициональная функция (proposition function)      131 203
Пропозициональные связки (propositional connectives)      70 203 296 298
Пропозициональные связки (propositional connectives), рекурсивность      205 213 293 300 см. «Таблицы
Пропозициональный вывод (propositional inference)      406
Простая (simple) непротиворечивость      114 265 270 274 279 ср. 347
Простая (simple) полнота      175 270 274
Простое (prime) число и т.п.      172 206 215 255
Простой (plain) f-терм      364
Противоречивость (inconsistency)      см. «Непротиворечивость»
Противоречие (contradiction)      109 см.
Процедура (procedure)      см. «Разрешающая процедура» «Проведение
Прямое (direct) правило      81 88
Прямой (direct) пункт (clause)      26 232
Пуанкаре      34 44 48
Пустая (empty) конъюнкция и т.д.      390
Пустая (empty) область изменения (range)      202
Пустая клетка (blank square) (в машине Тьюринга)      317
Пустое (empty или vacuous) множество      15
Пустое (empty) выражение      68 74 339
Пустое (empty) слово      339
Равенство (equation) между термами      235 247
Равенство (equation), система      235 246 247 465
Равенство как отношение (equality) (понятии)      16 19 26 117 156 222 292
Равномерная (uniform) сходимость и т.п.      149
Равномерная примитивная рекурсивность      210
Равномерность (uniformity) относительно исходных функций (in assumed functions)      210 245 260 265 282 291 307 322
Равномерный (uniform)метод      125 280 282 284
Разделительная дизъюнкция (exclusive disjunction)      127
Разность (difference) множеств      17
Разность (difference) чисел      200
Разрешающая процедура (decision procedure)      см. «Алгоритм»
Разрешимости проблема (decision problem) (понятия)      125 126 267 278 280 282 338 384 385 386
Разрешимости проблема (decision problem) (результаты)      126 184 267 279 339 342 361 375 382 387 388 419 426
Разрешимости проблема (decision problem), частные случаи      385 см. «Степень «Сводимость»
Разрешимый (decidable) замкнутая формула      175 181 см. «Нумерически» «Неразрешимый» «Отобразимый»
Рамсей      47
Ранг (rank) логических операторов      71
Расёва      345 429
Распределение (assighement) выполняющее (satisfying)      345
Расселл      16 40 41 44 45 46 47 60 361
Расселл (Russell В.), парадокс      40 42 44 47
Расширение (extension)      175
Расширение (extension) системы      84 88 119 175 276 359 379 386 453
Рациональные числа (rational numbers)      12 33 34 388
Реализация (realization)      51
Реализуемость (readability)      444
Реализуемость-(IV)      444
Реализуемость-р      454
Реализующая функция      444
Регулярная таблица (regular table)      298
Результат (output) а машинах Тьюринга      318 326
Результирующий вывод (resulting deduction)      88
Рекуррентная реализуемость (recursive realizability)      см. «Реализуемость»
Рекуррентные (k-recusive) функции в арифметическом формализме (включая теорию устранимости)      218 262 263 361 367 416 454
Рекуррентные (k-recusive) функции от нуля переменных      200 214 245 см.
Рекуррентные (k-recusive) функции, нормальная форма      257 260 294
Рекуррентные (k-recusive) функции, применения      195 231 265 274 278 279 290 338 350 378 382 386 443
Рекуррентные (k-recusive) функции, рекурсивно определенные системой уравнений      237 238 245 291
Рекуррентные (k-recusive) функции, рекурсивно определенные системой уравнений, числом (гёделевским номером)      257 260 285 294 300 303 304 314 315 368 369 450
Рекуррентные (k-recusive) функции, формализм      235 246
Рекурсивная неотделимость      277 278
Рекурсивная схема (recursive scheme)      210 246 291
Рекурсивно-перечислимое множество (recursively enumerable set)      272 277 286 306 309 313
Рекурсивное множество (recursive set)      272 273
Рекурсивные предикаты (recursive predicates)      204 211 246 293
Рекурсивные предикаты (recursive predicates) при навешивании кванторов (quantification)      251 260 300
Рекурсивные предикаты (recursive predicates), применения      см. «Рекурсивные функции»
Рекурсивные функции (recursive functions)      197 210 243 244 285 289 291
Рекурсивный класс (recursive class)      272 273
Рекурсивный оператор (recursive functional)      210 245 291
Рекурсии, первая теорема      310 315 316 332 см.
Рекурсия (recursion)      195 199 207 209 213 226 231 233 241 246 313
Рекурсия (recursion) (арифметические эквиваленты)      216 217
Рекурсия (recursion) (элементарные эквиваленты)      255
Рекурсия (recursion), теорема о рекурсии      314
Рефлексивности законы (reflexive laws)      16 105 166 353 358
Ришар (Richard J.), парадокс      41 447 304 442
Робинсон, Дж.      216 286 388
Робинсон, Р.М.      178 201 243 264 386 388
Робинсон, Р.М. (Robinson), система      178 184 219 263 271 276 281 286 371 383 386 388 415 417
Росс      184
Россер      83 129 163 188 251 273 278 285 286 361 382 386 508
Роуз      454 499 500
Рылль-Нардзевский      378
Рюстов      42
Свободная (free) переменная      72 136 147
Свободная (free) подстановка      75 142
Свободный (FREE)      72 227
Свободный (free) для (for)      75 227
Свободный (free) на местах подстановки вместо (at the substitute positions for)      75
Свободный (free) терм      75 227 364
Сводимости проблема      281 342 см. «Степень
Сводимость (reducibility) l-l-e      306
Сводимость (reducibility) проблем разрешимости      280 342 385
Сводимость (reducibility), аксиома      46
Свойство (property)      46 131
Связанная (bound) переменная      72 139 см. «Свободный»
Связанный (bound) терм      364
Секвенция (sequent)      378 390
Секция машины Тьюринга      см. «Клетка»
Сервантес      42
Серпинский      52
Сечение (cut) в исчислении генценовского типа      391 400 см.
Сжатие (contraction) кванторов      254
Сигнифика (signifies)      440
1 2 3 4
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте