|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Манин Ю.И. — Доказуемое и недоказуемое |
|
|
|
| Предметный указатель |
Адамар, Ж. 153
Аксиома объемности 130
Аксиома полноты 115 119
Аксиома специализации 37
Аксиомы арифметики 48
Аксиомы бесконечности 138
Аксиомы выбора 141
Аксиомы пары 134
Аксиомы подстановки 139
Аксиомы порядка 119
Аксиомы равенства 46
Аксиомы регулярности 136
Аксиомы с кванторами 119
Аксиомы специальные теории множеств Цермело — Френкеля 49 72 78 108 114 145
Аксиомы степени 135
Аксиомы суммы 134
Алгебра истинностных значений 16
Алгол-60 8
Алгоритмические языки 9
Алфавит 8
Алфавит языков 11
Алфавит языков достаточный 65
Атом ортогелия 88 99
Атомарные термы 12
Аттракторы 148
Аутореферентность 87
Бар-Хиллел, И. 7 53
Бенвенист, Э. 87
Бериштейн 109
Бернайс 21 100
Бинарное отношение 107
Биркгоф, Г. 98
Брауэр 54 156 158
Булевы алгебры 57 60
Булевы функции истинности 61 127
Бурали 100
Бурбаки, Н. 7 22 30 154
ван дер Мюйлен, С. 24
Вандивер 56
Вейнрейх, У. 40
Вигнер, Ю. 3
Виета 3
Внешний аспект семантики 158
Внутренний аспект семантики 158
Вхождение последовательности Q в Р 25
Вывод формулы из множества формул в языке L 43
Выражения 8
Выразимость 29
Выразительность языка 9
Вычисление 5
Галуа 75
Геделево множество формул языка L 38
Гедель, К. 6 7 9 21 56 78 100 87 111 125 149 150 160
Гейнтинг 156
Гессе, Г. 8
Гильберт 22 75 159 160
Гиндикин, С.Г. 7
Гипотеза континуума «ложна» 143
Гипотеза Римана 20
Гладкий, А.В. 40 62
Гомологическая алгебра 24
Граф 23
Гуманитаризация математики 161
Гумбольдт 9
Гюго, В. 161
Давенпорт 56
Декарт, Р. 10
Деман, К. 40 41
Диагональный процесс Кантора 110
Диалекты  22
Естественная семантика связки «если ... то» 41
Задачи алгоритмической неразрешимости 6
Зигель, К.Л. 55 56
Ивни, А.А. 41
Изменение  по x 31
Имя 14
Интерпретационное множество 116
Интерпретационный класс 30
Интерпретация атомарных формул 31
Интерпретация языка 29
Интуиционизм 149
Истинность 112
Кантор, Г. 74 101 108 109 НО 157 159
Кардинал 105
Картан, А. 24
Квантовая логика 6 87 93
Квантовые тавтологии 97
Кениг 110
Кеннинг 62
Класс замкнутых формул 29
Клини, С.К. 6 7 40 76 155
Коммутирующие операторы 91
Конвенционализм 152
Конечное множество 18
Конструктивизм 148
Конструкции случайных множеств 137
Кохен 89 97
Коэн, П.Д. 6 7 21 61 74 110—112 147 149
Кронекер 156
Куайн 155
Куммер 56
Куратовский 106
Лакатос, И. 7
Лаплас, П.С. 153
Лебег 110 112 116
Левенсейм 70
Лейбниц 10
Лемма о дедукции 45
Лемма о змее 23
Лемма об однозначном чтении 27
Лемма Цорна 67
Линдси, Ч. 24
Логико-семантические классы 40
Логический многочлен 36
Лурия, А.Р. 42
Мальцев, А.А. 7
Мамфорд, Д. 57
Марков, А.А. 6 7 56 157
Мартынов, Л. 63
Математика как формальная система 160
Математическая логика 10
Математический язык 5
Матиясевич, Ю.В. 7
Мельчук, И.А. 40 62
Мендельсон, Э. 7 44 48 100
Метаязык 9
Метаязыковые переменные 10
Множеств теория 6
Множества арифметические 33
Множества конструктивные 111
| Множества равномощные 108
Множества сравнимые 108
Множество  -выразимо 32
Множество термов 12
Модель множества формул  32
Модулярная структура 98
Модулярный вопрос 98
Морэ 23
Мостовский 71 72
Мощностей измерение 105
Мощность класса -выразимых множеств 34
Мощность континуума 147
Невыводимость континуум-гипотезы 118
Невыразимость истинности 78 83
Недостижимые кардиналы 52
Неразрешимость математических задач 5
Неформальное толкование 13
Николь 56
Номер члена 25
Ординалы 101 103
Ординалы предельные 104
Отображение множества в множество 17
Отображения вторичные 30
Отображения первичные 30
Падучева, Е. В. 40
Парадокс Сколема 70—74
Паскаль, Б. 153
Пеано 11 48 54
Переводы арго —  15
Пономарев 98
Понятие «истинности» 5
Приближенные симметрии 99
Проблема континуума 6 108 110
Проблема неразрешимости 5
Проверка истинности сложных утверждений 113
Программы 8
Простой кеннинг 62
Пуанкаре, А. 152 153
Рассел, Б. 40 155
Расширения языка 74
Реалистический аспект семантики 152
Регулярные открытые множества 144
Рейхенбах 40
Риман 20
Роджерс, Х. 7
Россер 14 43
Селфридж 56
Символы 30
Синтаксические свойства истинности 35
Скобочная биекция 25
Сколем 21 70 74 152
Случайный класс 132
Смысл математического текста 150
Сокращенная запись 10
Соссюр 9
Специальные аксиомы 44
Спин 99
Стандартная интерпретация  32
Стандартные модели 12
Статистичность 148
Стеблин-Каменский, М.И. 63
Стоун 61
Суиннертон-Дайер, Х.П.Ф. 55 56
Тавтологии 36 57 119
Тарский, А. 6 7 9 21 78 85
Тексты 8
Теорема Геделя о неполноте 6 87
Теорема Геделя о полноте логических средств 44 64
Теорема о невыразимости 79
Теорема Стоуна о структуре булевых алгебр 61
Теорема Тарского о невыразимости истинности 6 83
Теорема Ферма большая 19 56
Теорема фон Неймана 88
Теорема фон Неймана о скрытых параметрах 6
Теоремы математики 10
Теория множеств 6
Теория рекурсивных функций и алгоритмов 7
Терм простой 76
Термы 12
Техника «урезания моделей» 70
Толстой, Л.Н. 4
Том, Р. 148
Топологическое пространство 18
Трансфинитная индукция 104
Трансфинитная рекурсия 104
Тростников, В.Н. 7
Тьюринг 6
Уайтхед 155
Универсум над булевой алгеброй 124
Универсум фон Неймана 15 51 100 105
Упорядоченная пара 17
Успенский, В.А. 7
Фейнман 154
Ферма, П. 19
Ферми, Э. 4
фон Нейман, Д. 6 15 32 87 90 98 100 103 125
Формальные языки 9
Формулы 12
Форти 100
Фреге 10
Френкель, А. 7 53 100
Функция истинности 31
Хомский, Н. 62.
Цермело 100 109
Частичная булева алгебра 94
Шенфилд, Д. 6
Шмульян 6 21 23 78 80 85
Шпеккер 89 97
Шредер 109
Шредингер 90
Эйленберг, С. 24
Экспонат 84
Яглом, И.М. 7
Язык SELF 78
Язык арифметики Шмульяна 80
Язык Бурбаки 22
Язык вещественного анализа 114
Язык нерелятивистской квантовой механики 90
Язык случайных вещественных чисел 6
Язык теории множеств 9 23
Язык теории множеств Цермело — Френкеля 11
Язык, синтаксис и семантика 9
Языки высших порядков 15
Языки искусственные 21
Языки науки и бытовые 150
Языки первого порядка (предикатов) 11
Языки формальные и алгоритмические 9
Языковая деятельность ЭВМ 3
Ярлык выражения P 84
«Реальность» для языков математики 9
|
|
|
| Реклама |
|
|
|
|
|
О проекте