Расёва Е., Сикорский Р. — Математика метаматематики :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Расёва Е., Сикорский Р. — Математика метаматематики

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

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

Название: Математика метаматематики

Авторы: Расёва Е., Сикорский Р.

Аннотация:

Метаматематика — раздел математической логики, изучающий основания математики и теорию доказательств при помощи построения символических языков (формальных систем, исчислений). Метаматематика изучает также формализованные математические теории, т.е. математические теории, построенные в виде символических языков, и вообще возможность построения различных разделов математики в виде символических языков. Кроме того, метаматематика изучает и сами символические языки.

Язык:

Рубрика: Математика/

Серия: Сделано в холле

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

ed2k: ed2k stats

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

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

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

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

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

$(f_{1}, ..., f_{k})$ -дизъюнкция эрбранова [ $(f_{1}, ..., f_{k})$ -disjunction Herbrand]      427
$(q, \cap)$ -гомоморфизм [ $(q, \cap)$ -homomorphism]      166
$(q, \cap)$ -изоморфизм [ $(q, \cap)$ -isomorphism]      166
$T_{0}$ -пространство [ $T_{0}$ -space]      24
$T_{1}$ -пространство [ $T_{1}$ -space]      24
$T_{2}$ -пространство [ $T_{2}$ -space]      24
$\cap$ порождает [ $\cap$ -generates]      363 498
$\cap$ -дополнение [ $\cap$ -complement]      67
$\cap$ -образующие [ $\cap$ -generators]      363 498
$\cap$ -фильтр [ $\cap$ -filter]      362 498
$\cap$ -фильтр [ $\cap$ -filter] максимальный [maximal]      366 501
$\cup$ -дополнение [ $\cup$ -complement]      67
$\cup$ -теория [ $\cup$ -theory]      372 504
$\cup$ -фильтр [ $\cup$ -filter]      372 504
$\mathfrak{K}$ -свободная алгебра [ $\mathfrak{K}$ -free algebra]      34
$\mathfrak{K}$ -свободная алгебра [ $\mathfrak{K}$ -free algebra] обобщенная [generalized]      38
$\nu$ -логика [ $\nu$ -logic]      529
$\varepsilon$ -множество [ $\varepsilon$ -set]      127
$\varepsilon$ -множество [ $\varepsilon$ -set] максимальное [maximal]      128
0-местная операция [0-argument operation]      30
Atom [atom]      109
C-идеал [C-ideal]      145
I-алгебра [I-algebra]      260
I-фильтр [I-filter]      143
M-значная логика [m-volued logic]      215 520
M-местная операция [m-argument operation]      30
M-местный [m-argument] предикат [predicate]      175 181
M-местный [m-argument] функтор [functor]      175 181
M-элементная последовательность [m-element sequence]      18
modus ponens      193 205 209
Q-алгебра [Q-algebra]      257
Q-алгебра [Q-algebra] теории [of an theory]      291 323 475 532 543
Q-гомоморфизм [Q-homomorphism]      56 292 323 475 543
Q-идеал [Q-ideal]      104
Q-изоморфизм [Q-isomorphism]      56 292
Q-фильтр [Q-filter]      104 323
Tertium non datur      199
Адекватная модель [adequate model]      311 331 456 481 545 554
Аккерман [Ackermann, W.]      220 299 561
Аксиома [axiom] бесконечности [of infinity]      230
Аксиома [axiom] выбора [of choice]      231
Аксиома [axiom] замены [of replacement]      232
Аксиома [axiom] логическая [logical]      178 214
Аксиома [axiom] математическая [mathematical]      218
Аксиома [axiom] объединения [of union]      230
Аксиома [axiom] объемности [of equality]      230
Аксиома [axiom] подстановки [of substitution]      232
Аксиома [axiom] специальная [specific]      218
Аксиома [axiom] степени [of power-set]      230
Аксиомы равенства [axioms for equality]      224
Алгебра [algebra]      30
Алгебра [algebra] $\mathfrak{K}$ -свободная [ $\mathfrak{K}$ -free]      34
Алгебра [algebra] $\mathfrak{K}$ -свободная [ $\mathfrak{K}$ -free] обобщенная [generalized]      38
Алгебра [algebra] брауэрова [Brouwerian]      73
Алгебра [algebra] булева [Boolean]      83
Алгебра [algebra] вырожденная [degenerate]      31
Алгебра [algebra] кванторная [quantifier]      257 291 323 475 532 543
Алгебра [algebra] Линденбаума [Lindenbaum]      284
Алгебра [algebra] обобщенная [generalized]      37
Алгебра [algebra] обобщенная [generalized] полная [complete]      37
Алгебра [algebra] псевдобулева [pseudo-Boolean]      73
Алгебра [algebra] с замыканием [closure]      113
Алгебра [algebra] свободная [free]      34
Алгебра [algebra] теории [of a theory]      282 532 542
Алгебра [algebra] термов [of terms]      251
Алгебра [algebra] универсальная [abstract]      30
Алгебра [algebra] формул [of formulas]      244
Алгебраическая модель [algebraic model]      326
Алгебры [algebras] гомеоморфные [homeomorphic]      117
Алгебры [algebras] изоморфные [isomorphic]      33 117
Алгебры [algebras] однотипные [similar]      32 38
Алфавит [alphabet] нулевого порядка [of the zero order]      196
Алфавит [alphabet] первого порядка [of the first order]      181
Алфавит [alphabet] пропозиционального исчисления [of a propositional calculus]      196
Алфавит [alphabet] элементарной теории [of an elementary theory]      181
Арифметика [arithmetic]      228
Атомная булева алгебра [atomic Boolean algebra]      109
База [basis]      21 114
База [basis] открытая      21
Бар-Хиллел [Bar-Hillel, Y.]      564
Баркан [Barcan, R.C.]      541
Безатомная булева алгебра [atomless Boolean algebra]      109
Бернайс [Bernays, P.]      229 338 380 387 530
Бернштейн [Bernstein, F.]      233
Берри [Berry, P.]      173
Бесконечная операция [operation]      37
Бесконечная последовательность [sequence]      18
Бесконечная [infinite] диаграмма [diagram]      348
Бет [Beth, E.W.]      14 173 309 338 351 358 419 438 441 448 477 485
Бинарная пропозициональная связка [binary propositional connective]      176 181 196
Биркгоф [Birkhoff, G.]      30 44 64 73 83 319 561
Богатая теория [rich theory]      353
Богатое расширение [rich extension]      354
Больше или равно [greater]      42
Брауэр [Brouwer, L.E.J.]      13 434
Брауэрова алгебра [Brouwerian algebra]      73
Булев [Boolean] гомоморфизм [homomorphism]      92 117
Булев [Boolean] изоморфизм [isomorphism]      92 117
Булев [Boolean] многочлен [polynomial]      197
Булева [Boolean] алгебра [algebra]      83
Булева [Boolean] алгебра [algebra] атомная [atomic]      109
Булева [Boolean] алгебра [algebra] безатомная [atomless]      109
Булева [Boolean] алгебра [algebra] вырожденная [degenerate]      93
Булева [Boolean] алгебра [algebra] двухэлементная [two-element]      94
Булева [Boolean] алгебра [algebra] полная [complete]      83
Булева [Boolean] алгебра [algebra] топологическая [topological]      112
Булева [Boolean] подалгебра      89
Буль [Boole, G.]      11
Бурбаки [Bourbaki, N.]      14
Бэр [Baire, R.]      10 26 106 107 142 358 559
Бялыницкий-Бируля [Biatynicki-Birula, A.]      15 530
Вайсберг [Wajsberg, G.]      446
Ван дер Варден [Van der Waerden, B.L.]      30
Верхняя граница [upper bound]      42
Весли [Vesley, R.E.]      434
Включение [inclusion]      17
Включено [is included]      42
Внутреннее отображение [interior mapping]      119
Внутренность [interior]      20 113
Воробьев, Н.Н.      530
Вполне несвязное пространство [totally disconnected space]      24
Вспомогательный знак [auxiliary sign]      182 196
Всюду плотное множество [dense set]      22
Вывод формальный [formal proof]      295 321 439 473
Выводимая формула [derivable formula]      211 296 322 439 473
Выполнимая формула [satisfiable formula]      325 476
Выполнять [satisfy]      325 476
Выражение [expression]      179
Вырожденная [degenerate] алгебра [algebra]      31
Вырожденная [degenerate] булева алгебра [Boolean algebra]      93
Вырожденная [degenerate] импликативная решетка [relatively pseudo-complemented lattice]      151
Вырожденная [degenerate] псевдобулева алгебра [pseudo-Boolean algebra]      151
Вырожденная [degenerate] решетка [lattice]      61 93
Гальперн [Halpern, J.]      319
Гедель [Goedel, K.]      9—12 338 340 358 369 450 451 453 564 565
Гейтинг [Heyting, A.]      13 434 436 437 473 492
Генцен [Gentzen, U.]      309 351 446 448 453 494 496 561
Гете [Goethe, J.W.]      9
Гжегорчик [Grzegorczyk, A.]      369
Гильберт [Hilbert, D.]      9 11 220 299 338 380 387 530
Главный [principal] идеал [ideal]      58
Главный [principal] фильтр [filter]      58
Гливенко, В.И.      449 470
Гомеоморфизм [homeomorphism]      26
Гомеоморфные пространства [spaces]      26
Гомеоморфные [homeomorphic] алгебры [algebras]      117
Гомоморфизм [homomorphism]      32 38 117
Гомоморфизм [homomorphism] булев [Boolean]      92 117
Гомоморфизм [homomorphism] естественный [natural]      35 261 262
Гомоморфизм [homomorphism] псевдобулев [pseudo-Boolean]      152

Гомоморфизм [homomorphism] решеточный [lattice]      47
Гомоморфизм [homomorphism] сохраняет [preserves] объединение [join]      54
Гомоморфизм [homomorphism] сохраняет [preserves] пересечение [meet]      54
Гомоморфизм [homomorphism] топологический [topological]      117
Гомоморфизм [homomorphism], индуцированный точечным отображением [induced by the point-mapping]      93
Граница [bound] верхняя [upper]      42
Граница [bound] нижняя [lower]      42
Граница [bound] точная верхняя [least upper]      42
Граница [bound] точная нижняя [greatest lower]      42
Граничное множество [boundary set]      22
Дайсон [Dyson, V.H.]      438 485
Двузначная логика [two-valued logic]      220
Двузначное [two-valued] предикатное исчисление [predicate calculus]      221
Двузначное [two-valued] пропозициональное исчисление [propositional calculus]      221
Двухэлементная булева алгебра [two-element Boolean algebra]      94
Дедуктивная система [deductive system]      179 212
Дедуктивная система [deductive system] интуиционистская [intuitionistic]      437
Дедуктивная система [deductive system] формализованная [formalized]      179
Диаграмма [diagram]      306 348
Диаграмма [diagram] бесконечная [infinite]      348
Диаграмма [diagram] конечная [finite]      348
Дизъюнктивная нормальная форма [disjunctive normal form]      302
Дизъюнкция [disjunction]      239
Дизъюнкция [disjunction] эрбранова [Herbrand]      425
Дисконтинуум канторов [Cantor discontinuum]      110
Дистрибутивная решетка [distributive lattice]      62
Доказательство формальное [formal proof]      211 295 321 439 473
Доказуемая формула [derivable formula]      216 296 322 439 473 531 541
Дополнение [complement]      17 67
Дополнение [complement] относительно элемента [relative to an y element]      71
Дополнение [complement] по модулю элемента [modulo an element]      71
Допустимое множество [admissible set]      37 41
Дуальный идеал [dual ideal]      58
Единичный [unit] фильтр [filter]      58
Единичный [unit] элемент [element]      48
Есенин-Вольпин, А.С.      564 565
Естественный гомоморфизм [natural homomorphism]      35 261 262
Заключение [conclusion]      204 305 346
Закон коммутативности [commutative]      45
Закон [law] dictum de omni      344
Закон [law] ассоциативности [associative]      45
Закон [law] двойного отрицания [of double negation]      300
Закон [law] де Моргана [De Morgan]      85 300 344
Закон [law] де Моргана [De Morgan] бесконечный [infinite]      87
Закон [law] дистрибутивности [distributive]      62 344
Закон [law] дистрибутивности [distributive] бесконечный [infinite]      87
Закон [law] Дунса Скота [Duns Scotus]      199
Закон [law] идемпотентности [idempotent]      45
Закон [law] импортации [importation]      199
Закон [law] исключенного третьего [of the excluded middle]      199
Закон [law] контрапозиции [of contraposition]      85 300
Закон [law] перестановки кванторов [on alterations of quantifiers]      344
Закон [law] перестановки посылок [of interchange of premises]      300
Закон [law] Пирса [Peirce]      300
Закон [law] поглощения [absorption]      45
Закон [law] пронесения кванторов [on a transfer of quantifiers]      344
Закон [law] силлогизма [syllogism]      199
Закон [law] упрощения [simplification]      300
Закон [law] Фреге [Frege]      300
Закон [law] экспортации [exportation]      199
Замена [replacement] одновременная [simultaneous]      180
Замена [replacement] части [of the part]      180
Замкнутая формула [closed formula]      178
Замкнутое множество [closed set]      20 30 37 216
Замкнутый элемент [closed element]      113
Замыкание [closure]      20 113 240
Знак [sign]      174 183 196
Знак [sign] вспомогательный [auxiliary]      182 196
Знак [sign] дизъюнкции [disjunction]      176 182 196
Знак [sign] импликации [implication]      176 182 196
Знак [sign] конъюнкции [conjunction]      176 182 196
Знак [sign] необходимости [necessity]      540
Знак [sign] отрицания [negation]      176 181 196
Знак [sign] равенства [of equality]      222
Знак [sign] специальный [specific]      224
Идеал [ideal]      58
Идеал [ideal] главный [principal]      58
Идеал [ideal] дуальный [dual]      58
Идеал [ideal] максимальный [maximal]      60
Идеал [ideal] нулевой [zero]      58
Идеал [ideal] простой [prime]      61
Идеал [ideal] собственный [proper]      60
Идеал [ideal], порожденный [generated] множеством [by a set]      59
Идеал [ideal], порожденный [generated] элементом [by an element]      58
Идеал [ideal], присоединенный к фильтру [the adioint of a filter]      95
Изоморфизм [isomorphism]      33 117
Изоморфизм [isomorphism] булев [Boolean]      92 117
Изоморфизм [isomorphism] канонический [canonical]      107
Изоморфизм [isomorphism] псевдобулев [pseudo-Boolean]      152
Изоморфизм [isomorphism] решеточный [lattice]      151
Изоморфизм [isomorphism] стоуновский [Stone]      65
Изоморфизм [isomorphism] топологический [topological]      117
Изоморфные алгебры [isomorphic algebras]      33 117
Импликативная решетка [relatively pseudo-complemented lattice]      73
Импликативная решетка [relatively pseudo-complemented lattice] вырожденная [degenerate]      151
Импликация строгая [strict implication]      540
Имя [name]      268
Индивид [individual]      175
Индивидная [individual] константа [constant]      175 181
Индивидная [individual] переменная [variable]      175
Индивидная [individual] переменная [variable] свободная [free]      181
Индивидная [individual] переменная [variable] связанная [bound]      181
Индукция по длине [induction on the length]      185
Интерпретация [interpretation] термов [of terms]      191
Интерпретация [interpretation] языка [of a language] на множестве [in a set]      189
Интерпретация [interpretation] языка [of a language] нулевого порядка [of the zero order]      197
Интерпретация [interpretation] языка [of a language] первого порядка [of the first order]      189
Интуиционизм [intuitionism]      434
Интуиционистская [intuitionistic] дедуктивная система [deductive system]      437
Интуиционистская [intuitionistic] логика [logic]      434 436
Интуиционистская [intuitionistic] операция присоединения следствий [consequence operation]      436
Интуиционистская [intuitionistic] предикатная тавтология [predicate tautology]      477
Интуиционистская [intuitionistic] пропозициональная тавтология [propositional tautology]      441
Интуиционистская [intuitionistic] теория [theory]      437 439 472
Интуиционистски [intuitionistically] выводимая формула [derivable formula]      439 473
Интуиционистски [intuitionistically] доказуемая формула [derivable formula]      439 473
Интуиционистски [intuitionistically] общезначимая формула [valid formula]      441 477
Интуиционистский формальный вывод [intuitionistic formal proof]      439 473
Интуиционистское [intuitionistic] предикатное исчисление [predicate calculus]      472
Интуиционистское [intuitionistic] пропозициональное исчисление [propositional calculus]      438
Интуиционистское [intuitionistic] следствие [consequence]      439 473
Иоганссон [Johansson, I.]      529
Исчисление [calculus] предикатное [predicate] двузначное [two-valued]      221
Исчисление [calculus] предикатное [predicate] интуиционистское [intuitionistic]      472
Исчисление [calculus] предикатное [predicate] классическое [classical]      221
Исчисление [calculus] предикатное [predicate] модальное [modal]      541
Исчисление [calculus] предикатное [predicate] позитивное [positive]      531
Исчисление [calculus] пропозициональное [propositional]      196 197
Исчисление [calculus] пропозициональное [propositional] двузначное [two-valued]      221
Исчисление [calculus] пропозициональное [propositional] интуиционистское [intuitionistic]      438
Исчисление [calculus] пропозициональное [propositional] классическое [classical]      221
Исчисление [calculus] пропозициональное [propositional] модальное [modal]      530 541
Исчисление [calculus] пропозициональное [propositional] позитивное [posiiive]      531
Кангер [Kanger, S.]      309 351
Каноническая [canonical] модель [model]      331 379 518
Каноническая [canonical] оценка [valuation]      250 297 441 533
Каноническая [canonical] реализация [realization] для теории [for a theory]      330
Каноническая [canonical] реализация [realization] термов [of terms]      272
Каноническая [canonical] реализация [realization] языка [of language]      277 480 536
Каноническая [canonical] семантическая модель [semantic model]      409
Канонический изоморфизм [canonical isomorphism]      107
Кантор [Cantor, G.]      233 401
Канторов дисконтинуум [Cantor discontinuum]      110
Каркас [frame]      189
Карнап [Carnap, R.]      541
Карп [Karp, C.]      188
Карри [Curry, H.B.]      561
Квантор [quantifier] общности [universal]      176 182
Квантор [quantifier] существования [existential]      176 182
Квантор [quantifier], связывающий переменную [binding а variable]      182

1 2 3 4

О проекте