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

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

blank
blank
blank
Красота
blank
Гейтинг А. — Интуиционизм
Гейтинг А. — Интуиционизм



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



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


Название: Интуиционизм

Автор: Гейтинг А.

Аннотация:

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


Язык: ru

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Абсолютная величина      38
Аппроксимирующая полоса      91
Бесконечно продолжающаяся последовательность (БПП)      43
Бесконечный вид      51
Больцано — Вейерштрасса теорема      60 148
Больше в слабом смысле      142
БПП (Бесконечно продолжающаяся последовательность)      43
Веер      54
Вектор      114
Вид      49
Вида член      49
Виртуального порядка отношение      134
Внешний элементарный домен      75
Гейне — Бореля теорема      83
Геометрическая конгруэнтность      72
Главный минор      65
Двоичная развертываемость      48
Действительное число      49
Действительное число респектабельное      39
Действительный числовой генератор      26
Дизъюнкция      123
Домен внешний элементарный      75
Домен рациональный      75
Домен функции      92
Домен элементарный      75
Дополнительная последовательность      46
Дополнительный закон      46
Допустимый узел решетки      80
Зависимость      68
Зависимость сильная      68
Зависимость слабая      68
Закон потока      46
Замкнутый промежуток      52
Замкнутый точечный вид      73
Замыкание      73
Запертость      55
Измеримая область      85
Измеримая ограниченная функция      90
Измеримая функция      106
Измеримое областное дополнение      86
Измеримый вид      98
Импликация      123
Интеграл      91 107 111
Испытанное предложение      143
Исчислимо-бесконечный вид      51
Канонический ТГ-поток      72
Канонический точечный генератор      72
Канонический числовой генератор      53
Компонента      47
Конгруэнтность геометрическая      72
Конгруэнтные виды      50
Конечный вид      51
Континуум      49
Конъюнкция      122
Коши последовательность      25 45
Локализованный точечный вид      79
Максимум      37
Мера областного дополнения      86
Мера точечного вида      98
Мера элементарного домена области      85
Метафункция      115
Минимальное исчисление      127
Минимум      37
Множество (Menge)      48
Натуральное число      22
Начало      55
Негативная сходимость      136
Недопустимая последовательность      46
Недопустимый узел решетки      80
Независимость      68
Неколеблющаяся последовательность      136
Неотрицательная часть      96
Неположительная часть      96
Непосредственная предшественница      46
Непосредственная преемница      46
Непродолжимое отношение      135
Неравенство точечных генераторов      26
Нумеруемый вид      51
Областное дополнение      76
Областное дополнение измеримое      86
Область      76
Область измеримая      85
Обратный элемент      62 63
Определенность в Гильбертовой пространстве      115
Определенность в поле      62
Определенность точек      73
Определенность числовых генераторов      29
Открытый вид      74
Отношение виртуального порядка      134
Отношение отделенное      22
Отношение порядка      35 132
Отношение псевдопорядка      132
Отношение частичного порядка      132
Отрицание      123
Пеано аксиома      22
Подвид      50
Подвид распознаваемый      50
Позитивная сходимость      42
Поле      62
Пополнение      95
Поток      45 46
Поток ТГ      72
Поток финитарный      54
Потока элемент      47
Потоко-вид      49
Почти всюду      89
Почти полный      89
Предел      42
Предельная точка      73
Представляет      49
Предшественница      55
Предшественница непосредственная      46
Преемница      55
Преемница непосредственная      46
Пренебрежимый вид      89
Продолжение      55
Производный вид      73
Промежуток, замкнутый      52
Противоречие      123
Псевдопорядка отношение      132
Равенство видов      50
Равенство натуральных чисел      24
Равенство потоков      47
Равенство элементов потока      47
Разбивается      50
Ранг      65
Расстояние между точками      72
Расстояние между точкой и точечным видом      79
Рациональная функция      32
Рациональный домен      75
Рациональный элементарный домен      75
Респектабельное действительное число      39
Рисса — Фишера теорема      116
Свободные векторы      68
Свободные векторы в гильбертовом пространстве      115
Сильная зависимость      68
Слабая зависимость      68
Слабое действительное число      141
Слабый числовой генератор      141
Совпадение в слабом смысле      141
Совпадение действительных чисел с числовыми генераторами      49
Совпадение ТГ-видов      72
Совпадение числовых генераторов      26
Суммируемость      107 111
Сходимость негативная      136
Сходимость позитивная      42
Сходимость последовательности функций      97
ТГ (точечный генератор)      71
ТГ-вид      72
ТГ-поток      72
Теорема о веерах      55
Тип      50
Торжественные числовые генераторы      26
Точечный вид      72
Точечный генератор      71
Точечный генератор канонический      72
Точечных генераторов поток (ТГ-поток)      72
Точка      71
Точка замыкания      73
Узел решетки      80
Усеченная функция      106
Финитарный поток      54
Функции измеримые      106
Функции ограниченные измеримые      90
Функции рациональные      32
Функции усеченные      106
Функции характеристические      98
Характеристическая функция      98
Характеристический определитель      65
Частичного порядка отношении      132
Численная ограниченность      61
Число действительное      49
Число натуральное      22
Число слабое действительное      141
Числовой генератор действительный      26
Числовой генератор канонический      53
Числовой генератор слабый действительный      141
Член вида      49
Эквивалентные виды      51
Эквивалентные функции      115
Элемент потока      47
Элементарное множество прямоугольников      75
Элементарный внешний домен      75
Элементарный домен      75
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте