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

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

blank
blank
blank
Красота
blank
Драгалин А.Г. — Конструктивная теория доказательств и нестандартный анализ
Драгалин А.Г. — Конструктивная теория доказательств и нестандартный анализ



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



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


Название: Конструктивная теория доказательств и нестандартный анализ

Автор: Драгалин А.Г.

Аннотация:

В настоящее издание включены труды А. Г. Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А. Г. Драгалина «Математический интуиционизм. Введение в теорию доказательств» явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретике-модельные результаты для интуиционистской логики. Статьи А. Г. Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г. Е. Минца.
Книга рассчитана на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.


Язык: ru

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$\lambda$-обозначение [$\lambda$-notation]      271
$\omega$-правило ограниченное [restricted $\omega$-rule]      247 252
$\omega$-правило [$\omega$-rule]      419 474
$\varepsilon$-символ [$\varepsilon$-symbol]      255 256
BK-алгебра [BK-algebra]      97
BK-модель [BK-model]      115 306
BK-шкала [BK-frame]      97
Абсолютное понятие [absolute notion]      476
Абсорбция кванторная [quantifier absorbtion]      458
Абсорбция [absorbtion]      458
Абстракция актуальной бесконечности [abstraction of actual infinity]      503
Абстракция отчуждения [abstraction of alienation]      330
Абстракция потенциальной осуществимости [abstraction of potential realizability]      36 331 498 503
Автоматический поиск вывода [automated reasoning]      384 386 388 454 458 464 466 471
Автоматическое доказательство теорем [automated (mechanical) theorem proving]      355 397
Аддисон (Addison, J.W.)      481
Аккерман (Ackermann, W.)      337
Аксиома арифметическая [arithmetic axiom]      149 160 274
Аксиома Архимеда [Archimedian axiom]      493
Аксиома бесконечности [axiom of infinity]      174 175 308 487
Аксиома выбора [axiom of choice]      167 487 488 509
Аксиома выделения [separation axiom]      487
Аксиома конструктивности [axiom of constructibility]      480
Аксиома логическая [logical axiom]      339 487
Аксиома негативная [negative axiom]      49
Аксиома нелогическая [nonlogical axiom]      48 436 487
Аксиома объемности [axiom of equality]      486 487
Аксиома определяющая для примитивно рекурсивных описаний [defining axiom for primitive recursive descriptions]      55
Аксиома пары [axiom of pair]      487
Аксиома подстановки axiom of substitution]      486
Аксиома позитивная [positive axiom]      112 122
Аксиома сводимости [axiom of reducibility]      333
Аксиома степени [axiom of power-set]      487
Аксиома суммы [axiom of sum]      487
Аксиома фундирования [axiom of grounding]      487
Аксиома [axiom]      32 37 49
Аксиоматическая теория множеств [axiomatic set theory]      472 484
Аксиоматический метод [axiomatic method]      489
Аксиомы свертывания [comprehension axioms]      158 486
Алгебра базисная [basic algebra]      438 440
Алгебра брауэрова [Browerian algebra]      285
Алгебра булева полная [complete Boolean algebra]      403 411 413 426
Алгебра булева [Boolean algebra]      87 99 360 398 426 430
Алгебра вырожденная [degenerate algebra]      404 431 448
Алгебра Гейтинга полная [complete Heyting algebra]      359 360 362 375 398 401 411 417 424 431
Алгебра Гейтинга с замыканием [Heyting algebra with closure]      408
Алгебра Гейтинга топологическая [topological Heyting algebra]      405
Алгебра Гейтинга [Heyting algebra]      399 401 413 423 425 430
Алгебра истинностных значений [algebra of truth values]      104
Алгебра логическая [logical algebra]      398 438 442
Алгебра открытых подмножеств топологических пространств [algebra of open subsets of topological spaces]      285
Алгебра псевдобулева [pseudo-Boolean algebra]      86 87 89 182 193 285 430
Алгебра с пополнением [algebra with completion]      94 296 298
Алгебра топологическая булева [topological Boolean algebra]      91 296 299 405
Алгебра топологическая [topological algebra]      90 298
Алгебраическая модель [algebraic model]      30 85 285 380 429
Алгорифм нормальный [normal algorifm]      233
Алгорифм полиномиальный [polinomial algorifm]      460 462
Алгорифм разрешающий [decision algorifm]      460
Алгорифмический метод [algorithmical method]      266
Алгорифмическое отображение [algorithmical mapping]      251
Анализ вывода [analysis of a derivation]      207
Анализ интуиционистский [intuitionistic analysis]      30 146 148 275
Анализ классический [classical analysis]      155
Анализ конструктивный [constructive analysis]      267
Анализ нестандартный [non-standard analysis]      337 429 493
Анализ предикативный [predicative analysis]      253
Анализ разветвленный конструктивный [ramified constructive analysis]      267
Анализ элементарный [elementary analysis]      150
Антиномия Кантора [Cantor's antinomy]      495
Антиномия логическая [logical antinomy]      493
Антиномия Рассела [Russel's antinomy]      330 493
Антиномия Ришара [Richard's antinomy]      496
Антиномия семантическая [semantical antinomy]      493 495
Антиномия теоретико-множественная [set-theoretical antinomy]      504
Антиномия Эвбулида [Eubulides antinomy]      496
Антиномия [antinomy]      492
Антиномия «деревенский парикмахер» [antinomy of a barber from Barberville]      494
Апории Зенона [Zeno's aporiata]      492
Апт (Apt, R.R.)      373 396
Аргументные места функциональные [functional argument places]      52
Аргументные места числовые [numerical argument places]      52
Аргументные места [argument places]      104 338
Аристотель      497
Арифметика Гейтинга [Heyting arithmetic]      55
Арифметика определимых множеств [arithmetic of definable sets]      475
Арифметика Пеано [Peano's arithmetic]      337 352 386
Арифметика примитивно рекурсивная [primitive recursive arithmetic]      59
Арифметика формальная интуиционистская [formal intuitionistic arithmetic]      55
Арифметика формальная классическая [formal classical arithmetic]      55 282
Архимед      493
Атомарная формула [atomic formula]      31 54 104 205 344 458 470
Ацел (Aczel, P.H.G.)      144 219 326
База данных [database]      385 387
Базис открытых элементов [basis of open elements]      91 406
Базис точки [basis of a point]      100
Базисная система Клини [basic system of Kleene]      151
Бар-индукция монотонная [monotonic bar-induction]      151
Бар-индукция разрешимая [decidable bar-induction]      150 162
Бар-индукция [bar-induction]      160 499 506
Бар-подмножество [bar-subset]      395
Бар-Хиллел (Bar-Hillel, Y.)      266 280 330 335 491 496 502 510
Беззаконные последовательности [lowless sequences]      148 165 167 302
Белл (Bell, J.)      471 481
Бернайс (Bernays, P.)      255 263 274 335 337 354 486
Бернини (Bernini, S.)      158 219
Бернштейн, С.Н. (Bernstein, S.N.)      489
Берри (Berry, G.D.W.)      496
Бесконечно малая [infinitesimal]      429
Бет (Beth, E.W.)      94 97 99 102 103 115 117 120 121 136 147 168 171 219 279 285—287 293 323 355—360 369 370 372 373 508 512
Бета модель [Beth model]      117 120 293 356 372 512
Бета шкала [Beth frame]      99 121
Бета — Крипке алгебра [Beth — Kripke algebra]      97
Бета — Крипке модель [Beth — Kripke model]      117
Бета — Крипке шкала [Beth — Kripke frame]      97 168
Бибель (Bibel, W.)      396
Бизон (Beeson, M.)      84 202 219 328
Бинарный кортеж [binary finite sequence, binary cortege]      99 130 420
Бишоп (Bishop, E.)      28 50 61 219
Блэр (Blair, H.A.)      397
Боковая формула логического правила [side formula of a logical rule]      206 341
Борель (Borel, E.)      489 503
Бранд (Brand, D.)      396
Брауэр (Brouwer, L.E.)      28 50 73 84 86 151—153 155 156 159 160 172 219 268 275 306 327 330 335 399 497 503—505 507 509 510
Брауэрова алгебра [Brouwerian algebra]      285
Бузаши (Buzasi, Sz.)      396
Булева алгебра [Boolean algebra]      87 99 360 398 403 426 431
Буль (Boole, G.)      359 360 374 377 382 398 399 403—405 411 413 416 423 424 426 427 430 431 435 437 438 440 450
Бурали-Форти (Burali-Forti, C.)      495
Буххольц (Buchholz, W.)      51 175 219 309 324
Бэр (Baire, R.)      93 99 121 133 134 136 152 172 489
Бэра пространство обобщенное [generalized Bair space]      93
Бэра пространство [Bair space]      93
ван Дален (van Dalen, D.)      34 50 156 167 172 221 428
ван Данциг (van Dantzig, D.)      337 354
ван Роотселаар (van Rootselaar, B.)      156 227
ван Хувен (van der Hoeven, G.S.)      167 229
ван Эмден (van Emden, H.)      373 396
Варпаховский, Ф.Л. (Varpakhovski, F.L.)      82 220
Вейль (Weyl, H.)      329—336 507
Вельдман (Weldman, W.)      117 220
Верхний фрагмент редукции [upper fragment of a reduction]      216
Вес фигуры [weight of a figure]      217
Весли (Vesley, R.E.)      29 30 50 59 84 148 149 151—153 159 167 171 220 223 245 265 266 275 280 281 285 286 305 306 323 334 510
Ветвь [branch]      293 364 378
Взятия внутренности операция [operation of taking the interior]      90 296 405
Вид оцененный [evaluated species]      199
Вид правильный [regular species]      200
Вид [species]      198 266 506 512
Вложение каноническое [canonical embedding]      410 424 426 427 432
Вложение [embedding]      131 412 425
Внутренность [interior]      407 408 410 431
Возможный кандидат в реализации [possible candidate as a realization]      75
Воронков, А.А. (Voronkov, A.A.)      397
Вхождение активное [active occurence]      343
Вхождение пассивное [passive occurence]      345
Вхождение формулы в вывод [occurence of a formula in a deduction]      343
Выбора схема [choice scheme]      150 162 163
Вывод индуктивный [inductive derivation]      213
Вывод интуиционистский [intuitionistic derivation]      56 206
Вывод классический [classical derivation]      206
Вывод нормальный [normal derivation]      212
Вывод редуктивный [reductive derivation]      213
Вывод [derivation]      207
Выводимая в теории формула [derivable formula in a theory]      49 247 498
Выводимая секвенция [derivable sequent]      41 49
Выделенное значение [designated value]      85
Вынуждение [forcing]      113 490
Выражение типа $\tau$ [expression of type $\tau$]      377 473
Вырожденная структура [degenerate structure]      402
Высказывательная форма [propositional form]      31
Высота вывода [height of a derivation]      41
Вычислимость примитивно рекурсивных термов [computability of primitive recursive terms]      238
Габбай (Gabbay, D.M.)      103 220 385 396
Галлье (Gallier, J.H.)      471 482
Гаргов (Gargov, G.K.)      153 220
Гаусс (Gauss, C.)      503
Гейтинг (Heyting, A.)      28 29 38 50 55 84 155 220 266 269 280 334 335 359—361 366 370 375 398 399 401—403 405 409 413 416 417 423—425 428 430—432 434 437 440 450 452 507 510—512
Гельфонд, А.О. (Gelfond, A.O.)      35
Генкин (Henkin, L.)      123 193 220 356
Генцен (Gentzen, G.)      30 31 41 43 50 59 204 208 220 471
Герчиу, В.Я. (Gerchiu, V.Ya.)      103 224
Гёделевская формула [Goedel's formula]      254
Гёделевский номер [Goedel's number]      256 262
Гёдель (Goedel, K.)      50 60 83 85 102 139 140 158 167 174 220 238 245 246 252 254 308 335 355 367 368 428 476 480 482 486 489—491 496 499 501 506 507 512
Гёделя теорема о неполноте [Goedel's incompleteness theorem]      246 489 496
Гжегорчик (Grzegorczyk, A.)      99 117 119 221 242 245 286 293 324
Гильберт (Hilbert, D.)      50 251 252 254 255 335 497—500 504
Гильберта $\varepsilon$-символ [Gilbert's $\varepsilon$-symbol]      255
Гильберта вторая $\varepsilon$-теорема [Gilbert's second $\varepsilon$-theorem]      255
Гильберта программа [Gilbert's program]      50 335 499
Гомоморфизм [homomorphism]      87 401 427
Гонсет (Gonseth, F.)      495
Грань верхняя точная [least upper bound]      86 400
Грань верхняя [upper bound]      121 191
Грань нижняя точная [greatest lower bound]      86 88 400
Грань нижняя [lower bound]      180
Грань [bound]      474
Грейсон (Grayson, R.J.)      424
Гришин, В.Н. (Grishin, V.N.)      484
Гротендик (Grothendieck, A.)      147 230
Гудмен (Goodman, N.D.)      84 221
Гудстейн (Goodstein, R.L.)      28 50 59 221 266 280
Гуревич (Gurevich, Y.)      103 221
Дайсон (Dyson, V.H.)      373
Даммет (Dummet, M.)      147 221
де Йонг (de Jongh, D.H.J.)      147 222
де Сварт (de Swart, H.)      227 282 284 326 328 356 373
Девис (Davis, M.)      394 396 429 453
Дегтярев, А.И. (Degtyarev, A.I.)      397
Дедуктивный метод [deductive method]      497
Дерево бинарное [binary tree]      365 445
Дерево вывода [tree of inference]      41 476
Дерево высоты до $\omega$ [tree of height up to $\omega$]      121
Дерево секвенции систематическое [systematic sequent tree]      366 370 379
Дерево секвенции [sequent tree]      363 365 370 379
Дерево [tree]      41 121 358
Джервел (Jervell, H.)      51 221
Дизъюнкт бескванторный [quantifier-free clause]      462
Дизъюнкт [clause]      387 389
Дизъюнктивности свойство исчисления [disjunctiveness property of a calculus]      46 70 78 138
Дизъюнкция [disjunction]      31 86 88 391 469 505
Дискретное двоеточие [discrete pair]      96
Дистрибутивность [distributivity]      100 389 458
Доказательств теория [proof theory]      266 334 388 419 445 497
Доказательство конструктивное [constructive proof]      141 284 429 451
Доказательство элементарное [elementary proof]      179 327
Доказательство [proof]      497
Достижимое число [feasible number]      337 429 452
Достижимости отношение [accessibility relation]      97
Достижимость [feasibility]      335 354
Драбент (Drabent, W.)      397
Драгалин, А.Г. (Dragalin, A.G.)      30 50 51 59 73 84 146 147 167 168 175 193 204 221 237 254 263 324 330 335 354 373 383 396 428 453 471 482
Дрейк (Drake, F.R.)      491
Единица алгебры [unit of an algebra]      87 180 313
Ершов, Ю.Л. (Ershov, Yu.L.)      167 222
Есенин-Вольпин, А.С. (Yessenin-Volpin, A.S.)      236 337 354
Естественная интерпретация [natural interpretation]      473
Естественная эквивалентность [natural equivalence]      86 399
Естественное отношение пополнения [natural completion relation]      420
Естественное упорядочение [natural order]      87
Жирар (Girard, J.Y.)      51 175 222 286 308 324 374 381 382
Жуковский (Zukowski, S.)      397
Зависимого выбора схема [dependent choice scheme]      150
Закон исключенного третьего [low of excluded middle, tertium non datur]      31 35 59 89 398 404 430 505
Заславский, И.Д. (Zaslavski, I.D.)      236
Зенон      492
Зикман (Siekmann, J.P.)      397
Значение оцененного терма в момент [value of an evaluated term at a moment]      172
Значение оцененного терма [value of an evaluated term]      109
Значение оцененной формулы [value of an evaluated formula]      33 85
Значение формулы [value of a formula]      85 101 183 195 301 316 381 440
Идеал [ideal]      450
Идемпотентность [idempotency]      458
Иерархия типов множеств простая [simple hierarchy of sets types]      333
Иерархия типов множеств разветвленная [ramified hierarchy of sets types]      333
Иерархия типов множеств [hierarchy of sets types]      333
Изоморфизм [isomorphism]      87 428
Импликация открытая [open implication]      359 361 375 409
Импликация стандартная [standard implication]      100 360
Импликация [implication]      31 86 392 400 411 432
Индекс фигуры [index of a figure]      217
Индуктивная сложность вывода [inductive complexity of a derivation]      213
Индукция формальная [formal induction]      55 452
Интерпретация алгебраическая [algebraic interpretation]      437
Интерпретация естественная [natural interpretation]      473
Интерпретация негативная [negative interpretation]      60
Интуиционизм [intuitionism]      50 334 503 511
Интуиционистская арифметика [intuitionistic arithmetic]      30 55 84 282
Интуиционистская логика [intuitionistic logic]      28 31 255 355 430 507 511
Интуиционистская математика [intuitionistic mathematics]      36 265 504
Интуиционистская простая теория типов [intuitionistic simple theory of types]      174 177 310
Интуиция [intuition]      505
Информативности отношение [information relation]      97
Истинная в модели формула [truth formula in a model]      112
Истинностное значение матрицы [truth value of a matrix]      85
Истинность по де Йонгу [truth in a sense of de Jongh]      147
Исчисление арифметическое конструктивное [constructive arithmetical calculus]      244 246
Исчисление арифметическое [arithmetical calculus]      243 246 507
Исчисление задач [calculus of problems]      507
Исчисление предикатов Гейтинга [Heyting predicate calculus]      38
Исчисление предикатов интуиционистское [intuitionistic predicate calculus]      38 45 257 511
Исчисление предикатов классическое [classical predicate calculus]      37 330 436
Исчисление секвенций классическое [classical sequent calculus]      47
Исчисление [calculus]      498
Йех (Jech, T.Y.)      99 222 491
Канал [channel]      168 198
Кановей, В.Г. (Kanovei, V.G.)      84 155 222
Каноническая окрестность [canonical neighborhood]      93
Кант (Kant, I.)      492
Кантор (Cantor, G.)      93 121 484 495 497 499
Кантора пространство [Cantor space]      93
Капур (Kapur, D.)      396
Карнап (Carnap, R.)      247 248 252
Каферра (Caferra, R.)      396
Квазиупорядочение [quasiordering]      86 87 93 97 287 399 412
Квантор аналитический [analytical quantifier]      422
Келлерман (Kellerman, J.)      396
Кетонен (Ketonen, J.S.W.)      396
Кёниг (Koenig, D.)      395 490
1 2 3 4
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте