Доказуемое и недоказуемое - Манин Ю.И.
Скачать (прямая ссылка):
Изменение | по х 31 Интуиционизм 149 Имя 14
Интерпретационное множество 116 Интерпретационный класс 30 Интерпретация атомарных формул 31
— языка 29 Истинность 112
Кардинал 105 Квантовая логика 6, 87, 93 Квантовые тавтологии 97 Кеннииг 62
Класс замкнутых формул 29 Коммутирующие операторы 91 Конвенционализм 152 Конечное множество 18 Конструктивизм 148 Конструкции случайных множеств 137
Лемма о дедукции 45
— о змее 23
— об однозначном чтении 27
— Цорна 67
Логико-семаитические классы 40 Логический многочлен 36
Математика как формальная система 160 Математическая логика 10 Математический язык 5 Метаязык 9
Метаязыковые переменные 10 Множества арифметические 33
— конструктивные 111
— равномощные 108
— сравнимые 108 Множество термов 12
— гр-выразимо 32 Множеств теория 6
Модель множества формул е 32 Модулярная структура 98 Модулярный вопрос 98 Мощностей измерение 105
16&
Мощность класса <р-выразимых множеств 34
— континуума 147
Иевыводимость континуум-гипотезы в 118
Невыразимость истинности 78, 83 Недостижимые кардиналы 52 Неразрешимость математических задач 5 Номер члена 25 .Неформальное толкование 13
Ординалы 101, 103
— предельные 104
Отображение множества в множество 17 •Отображения вторичные 30
— первичные 30
Парадокс Сколема 70—74 Переводы арго — ЦАг 15 Понятие «истинности» 5 Приближенные симметрии 99 Проблема континуума 6, 108, 110
— неразрешимости 5
Проверка истинности сложных утверждений 113 Программы 8 'Простой кеннииг 62
Расширения языка 74 Реалистический аспект семантики 152
-«Реальность» для языков математики 9
Регулярные открытые множества 144 Символы 30
•Синтаксические свойства истинности 35
Скобочная биекция 25 Случайный класс 132 Смысл математического текста 150 Сокращенная запись 10 Спин 99
Стандартная интерпретация 1л5е132 Специальные аксиомы 44 •Стандартные модели 12 Статистичиость 148
Тавтологии 36, 57, 119 Тексты 8
Теорема Геделя о неполноте 6, 87 —? — о полноте логических сиедств 44, 64
— о невыразимости 79
— фон Неймана 88
— — о скрытых параметрах 6
— Стоуна о структуре булевых алгебр 61
— Тарского о невыразимости нстии-ности 6. 83
— Ферма большая 19, 56 Теоремы математики 30 Терм простой 76 Теория множеств 6
— рекурсивных функций и алгорит-
мов 7 Термы 12
Техника «урезания моделей» 70 Топологическое пространство 18 Трансфинитная индукция 104
— рекурсия 104
Универсум над булевой алгеброй 124
— фон Неймана 15, 51, 100, 105 Упорядоченная пара 17
Формальные языки 9 Формулы 12 Функция истинности 31
Частичная булева алгебра 94 Экспонат 84
Язык арифметики Шмульяна 80
— Бурбаки 22
— вещественного анализа 114
— нерелятнвистской квантовой механики 90
—, синтаксис и семантика 9
— случайных вещественных чисел 6
— теории множеств 9, 23 -----------Цермело — Френкеля 11
— SELF 78
Языки высших порядков
— искусственные 21
— науки и бытовые 150
— первого порядка (предикатов) 11
— формальные н алгоритмические 9 Языковая деятельность ЭВМ 3 Ярлык выражения Р 84
У
I
