Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций

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

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

Название: Основания интуиционистской математики с точки зрения теории рекурсивных функций

Авторы: Клини С., Весли Р.

Аннотация:

В последние годы заметно повысился интерес к изучению конструктивности в математике. В исследовании этого круга вопросов можно выделить две основные тенденции. Одна из них, развитая Брауэром и его последователями, известна под названием «интуиционизм», другая тенденция, разделяемая многими математиками самой различной философской ориентации, связывает интуитивную эффективность сточными концепциями алгоритмов...

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

$\lambda$ -префикс ( $\lambda$ -prefix)      22
Аккерман      13
Аристотель      12
Бар-рекурсия (bar, recursion)      178
Бар-теорема (bar, theorem)      75 79
Белифанте      12 254
Белнап      16 261
Бернайс      19 32 71
Бет      10 12 14 17 116 117 184 254
Биркгоф      16 254
Бишоп      254
Борель      11 255
Брауэр      7 8 9 10 11 12 14 15 65 68 67 68 70 71 74 75 81 82 85 86 92 93 94 95 96 98 100 101 102 104 107 116 123 169 184 185 194 167 202 203 208 209 213 215 216 217 219 221 222 224 234 237 239 241 242 243 255
Вайсберг      16 115
ван Дален      254 257
ван Данциг      10 12 239 240 241 207
ван, роотселар      12 253 263
Веер (Ian)      85
Веер бинарный (binary)      87
Вейль      256
Весли      7 9 15 16 104 108 125 243 245 256
Вхождение (occurrence) переменной свободное (free)      22
Вхождение (occurrence) переменной связанное (bound)      22
Гал      16 256
Гейтинг      9 10 12 13 14 15 16 17 18 66 68 82 93 13 116 184 185 187 194 197 198 202 203 208 209 213 239 241 256
Генкин      16
Генцен      16 115 116 117
Гёдель      12 13 15 16 17 32 115 117 167 168 188 257
Гильберт      13 19 32\
Гливенко, В.И.      16 17 257
Грисс      12 257
Дайсон      17 116 257
де Ионг      10 16
де Лоор      12 261
Девис      13 257
Дейкман      12 257
Действительное число (real number)      184—186
Действительный числовой генератор канонический [к.д.ч.г.] (canonical)      187
Действительный числовой генератор [д.ч.г.] (real number generator)      185
Деккер      13 258
Драгалин, А.Г.      258
Евклид      38 50
Ершов, Ю.Л.      258
Жегалкин, И.И.      16 258
Закон выбора (choice law)      66
Закон сопоставления (correlation law)      66
Кабаков, Ф.А.      17 258
Карри      16 32 116 258
Кёниг      86 161 258
Кёнига лемма (Кoenig’s lemma)      86 161
Кларк      10
Клауа      13 258
Клини      7 8 13 14 16 17 18 32 33 61 66 70 76 77 102 113 116 117 118 125 132 133 139 149 154 156 159 161 162 165 166 169 184 194 207 258
Колмогоров, А.Н.      16 17 260
Крайзел      7 10 17 18 113 116 167 108 242 253 257 260
Кроль, М.Д.      261
Кронекер      11
Курода      261
Кушнер, Б.А.      139 261
Леблан      16 261
Лузин, Н.Н.      11 261
Лукасевич      16 261
Майхилл      7 13 258 261
Маккинси      16 116 262
Маккол      16 262
Маннури      16
Марков, А.А.      13 139 167 262
Мартин-Лёф      262
Маэхара      16 262
Медведев, Ю.Т.      17 262
Минц, Г.Е.      254 262
Московакис, Джоан      10 98 125
Московакис, Джон      10
Мостовский      13 16 116 262 264
Нагель      13 262
Нельсон      14 16 17 32 137 154
Нисимура      16 262
Номер последовательности (sequence number)      68
Номер последовательности гарантированный (secured sequence number)      69
Номер последовательности гарантированный начально (secured sequence number past)      69
Номер последовательности гарантированный непосредственно (secured sequence number immediately)      69
Номер последовательности гарантируемый (securable sequence number)      69
Номер последовательности запертый (barred sequence number)      69
Нормальная форма (normal form)      31
Нумерическая выразимость (numeralwise expossibility)      35
Нумерическая представимость (numeralwise representability)      37

Ониси      16 262
Острое различие (sharp difference)      184
Отдаленность (apartness)      184 194
Патнам      17 261
Петер      13 26 1
Пильчак, Б.А.      16 115 263
Порт      16 263
Последовательность выбора (choice sequence)      65—68
Пост      13 159 165 260
Поток (spread)      65
Поток универсальный (universal spread)      67
Поток финитарный (finitary spread) [beep]      165
Предикат аналитический (predicate analytic)      165
Предикат арифметический (predicate arithmetical)      159
Предикат теоретико-числовой (predicate number-theoretic)      12
Принцип Брауэра (Brouwer’s principle)      100
Принцип Брауэра для функций (Brouwer’s principle for functions)      104
Принцип Брауэра для чисел (Brouwer’s principle for numbers)      100 105
Принцип Маркова (Markov’s principle)      167 252—253
Пуанкаре      11
Райт      50 265
Расёва      16 116 263
Ригер      16 263
Риддер      16 263
Робинсон, Р.М.      13 264
Робинсон, Т.Т.      17 263
Роджерс      13 70 263
Россер      13 16 32 256 264 265
Роуз      16 115 166 264
Сакс      13 264
Саппес      13 262
Сикорский      16 264
Система базисная (basic system)      15
Система интуиционистская (intuitionistic system)      18
Система классическая (classical system)      18
Скотт      17 256 264
Скулем      13 16 116 264
Спектор      18 264
Стоун      16 115 116 264
Суждение (sentence)      23
Тарский      13 16 116 262 264
Теорема о веере (fan theorem)      85—86 107
Теорема о замене (replacement theorem)      28
Теорема о запирании [-бар-теорема] (bar theorem)      75 79
Теорема о равномерной непрерывности (uniform continuity theorem)      211
Терм (term)      21
Терм замкнутый (closed term)      23
Терм открытый (open term)      23
Трахтсиброт, Б.А.      13 264
Трулстра      7 261 264
Тьюринг      13
Умезава      16 264
Упорядочение виртуальное (virtual ordering)      1У7
Упорядочение естественное (natural ordering) [-псевдо-упорядочение] (pseudo-ordering)      197 253
Успенский, В.А.      13 265
Фейс      32 258
Формула (formula)      21
Формула замкнутая (closed formula)      23
Формула открытая (open formula)      23
Формула реализуемая (realizable formula)      135
Формула реализуемая специально (s-realizable realizable formula)      175
Формула стандартная (standard formula)      43
Формула элементарная (prime formula)      23
Фройденталь      12 265
Функтор (functor)      21
Функтор замкнутый (closed functor)      23
Функтор открытый (open functor)      23
Функция арифметическая (arithmetical)      12 159
Функция общерекурсивная (general recursive)      12 20—21 128
Функция примитивно рекурсивная (primitive recursive)      20—21 128
Функция теоретико-числовая (number-theoretic)      12
Функция частично рекурсивная (partical recursive)      20—21 128
Харди      50 265
Харроп      17 116 265
Хачатрян, М.А.      265
Хермес      13 265
Ченг      255
Черч      13 14 19 32 265
Чёрча, тезис (Church’s thesis)      12—13
Шанин, Н.А.      14 17 139 167 265
Шмидт      16 265
Шмульян      32 266
Шрётер      16 266
Шютте      16 266
Элемент потока (element of spread)      66
Эрбрап      12
Яськовский      16 115

О проекте