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

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

blank
blank
blank
Красота
blank
Манин Ю.И. — Доказуемое и недоказуемое
Манин Ю.И. — Доказуемое и недоказуемое



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



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


Название: Доказуемое и недоказуемое

Автор: Манин Ю.И.

Язык: ru

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Адамар, Ж.      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
Диалекты $\mathscr L$      22
Естественная семантика связки «если ... то»      41
Задачи алгоритмической неразрешимости      6
Зигель, К.Л.      55 56
Ивни, А.А.      41
Изменение $\xi$ по 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
Множество $\varphi$-выразимо      32
Множество термов      12
Модель множества формул $\varepsilon$      32
Модулярная структура      98
Модулярный вопрос      98
Морэ      23
Мостовский      71 72
Мощностей измерение      105
Мощность класса $\varphi$-выразимых множеств      34
Мощность континуума      147
Невыводимость континуум-гипотезы      118
Невыразимость истинности      78 83
Недостижимые кардиналы      52
Неразрешимость математических задач      5
Неформальное толкование      13
Николь      56
Номер члена      25
Ординалы      101 103
Ординалы предельные      104
Отображение множества в множество      17
Отображения вторичные      30
Отображения первичные      30
Падучева, Е. В.      40
Парадокс Сколема      70—74
Паскаль, Б.      153
Пеано      11 48 54
Переводы арго — $L_1 Ar$      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
Стандартная интерпретация $L_1 Set$      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
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2022
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте