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

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

blank
blank
blank
Красота
blank
Энгелер Э. — Метаматематика элементарной математики
Энгелер Э. — Метаматематика элементарной математики



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



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


Название: Метаматематика элементарной математики

Автор: Энгелер Э.

Аннотация:

Книга швейцарского математика вышла в серии учебников для высшей школы издательства *Ц1прннгер*. Она рассчитана на лиц, желающих получить общее представление о современных взглядах на основания математики и о некоторых разделах математической логики. В ней коротко описываются проблемы обоснования теории вещественных чисел. аксиоматика геометрии, понятие алгоритма. В частности, многих читателей заинтересуют обсуждение проблем геометрических построений ограниченными средствами, а также изложение разрешающего алгоритма для элементарной алгебры и геометрии.
Для читателей, интересующихся основаниями математики.


Язык: ru

Рубрика: Математика/

Серия: Современная математика. Вводные курсы

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
L-агебра      110
Аксиома Архимеда      9 18 45
Аксиома выбора      21 51 52
Аксиома Паша      64
Аксиома пересечения прямой с окружностью      84
Аксиома полноты      16 21 65 68
Аксиома свертывания      21
Аксиомы геометрии      70
Аксиомы инцидентности      59
Аксиомы конгруэнтности      67
Аксиомы линейной алгебры      70
Аксиомы параллельности      59
Аксиомы Пеано      10 50
Аксиомы порядка      16 18 64
Алгебра комбинаторная      96 110
Алгебра комбинаторно полная      96
Аппликация      92
Арифметизация континуума по Дедекинду      7
Артин      24 25 36
Архимед      9 18 19 85
Архимедова система величин      17
Аффинные построения      81
Базис Хамеля      75
Банах      52
Беркли      32
Бернайс      13 16 74 97
Бесконечно большой элемент      44
Бесконечно малый элемент      44
Бет      75
Бойаи      56
Борсук      56
Босковиц      97
Брауэр      35 36
Буль      13
Валлис      20
Ван дер Варден      25 33
Вейерштрасс      25 38
Вейль      56
Виет      20
Галилей      19 20
Гаусс      56
Гельмгольц      56
Геометрический класс      58
Геометрическое отношение      58
Гёдель      13 51—53
Гильберт      9 13 36 64 67 83 87
Гонсет      55
Дедекинд      7—9 13
Дезарг      60 61
Декарт      21
Демокрит      20
Евдокс      18 20
Евклид      18
Евклидово упорядоченное поле      84
Евклидовы построения      83
Ершов, Ю.Л.      22
Зайденберг      31 32
Захос      104
Зенон      20
Идеальное исчисление Фреге      15
Интенсионал      92
Исчисление конверсии      101
Исчисление ламбда-конверсий      113
Исчисление предикатов      14
Исчисление редукций      100
Кавальери      19 37
Кантор      13 52
Карри      96 98
Категоричность системы аксиом      9
Коллинз      34
Комбинатор      96
Комбинаторная алгебра      96 110
Комбинаторная логика      98
Комбинаторно полная алгебра      96
Композиция      94
Конверсия      100
Конверсия одновременная      100
Континуум-гипотеза      52 53
Коши      38
Коэн      25 52 53
Крайзель      25 36
Кривин      25
Кэли      33
Кюршак      85
Ламбда-запись      111
Левенгейм      38
Лейбниц      12 13 37
Лемма Цорна      39
Ленгдорф      22
Ли      56
Логика высказываний      14
Логика классов      14
Лось      42
Мальцев, А.И.      38
Метод Падоа      75
Модель из термов      105
Нормальная форма терма      120
Ньютон      37 55
Определимая частичная функция      119
Падоа      75
Папп      62
Парадокс Банаха — Тарского      52
Парадокс Рассела      15
Паскаль      62
Паш      64
Пеано      10 13 50
Пирс      13
Пифагорово упорядоченное поле      83
Пифагоровы построения      83 86
Плоткин      106
Полнота системы аксиом      71
Понселе      32 33
Представимая частичная функция      116
Представимый терм      95
Присваивание      80
Проблема Гильберта 17-я      36
Проблема остановки      122
Проблема Понселе      32
Проблема Эйлера      32
Протагор      20
Противоречивая логическая система      99
Прямая степень      39
Пьери      73 78
Рабин      34
Разрешающие операции      80
Разрешимость системы аксиом      71
Рассел      13—15
Риман      56
Робинсон      36 38
Розенблум      32
Ролль      25
Скотт      74 106
Скулем      38 39 42
Спиноза      13
Стандартная часть      44
Стандартный элемент      43
Степень бескванторной формулы      26
Схема рекурсии      51
Схема Тарского      67
Тарский      22 32 34—36 38 52 67 72
Теорема Брауэра      35
Теорема Гёделя о непротиворечивости      50
Теорема Дезарга      61
Теорема Коэна о независимости      53
Теорема о вложении      107
Теорема Паппа      62
Теорема Паппа — Паскаля      62
Теорема свертывания      51
Теорема Скулежа — Лося      42
Теорема существования      108
Теорема Тарского      32 35
Теорема Фишера — Рабина      34
Теорема Штурма      23 24
Теорема Штурма обобщенная      24
Теория отношений      14
Уайтхед      13 14
Фишер      34
Фреге      13—15 93 98
Фрейденталь      56
Функция      91
Хамель      75
Хенкин      74
Цермелло      15
Цорн      39
Чёрч      13 98 112 122
Шейнфинкель      93 96 98
Шредер      13
Шрейер      24 25
Штурм      23 24
Шютте      33
Эйлер      32 33 37
Экстенсионал      14 92
Экстенсиональность      20
Элементарная теория вещественно замкнутых полей      24
Элементарная теория вещественных чисел      16 22
Элементарное вложение      43
Элементарный анализ      20
Якоби      33
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте