Loading...
Error

Казимиров Н.И. - Архетипы математики: общие методы, приемы, конструкции, идеи математики и ее оснований [Математика, 2019, PDF]

Ответить на тему

 | 

 
Автор Сообщение

КСергей

Архетипы математики: общие методы, приемы, конструкции, идеи математики и ее оснований

Год издания: 2019
Автор: Казимиров Н.И.
Жанр: Математика
Издательство: Юстицинформ
ISBN: 978-5-7205-1599-7
Язык: Русский
Формат: PDF
Качество: Издательский макет или текст (eBook)
Интерактивное оглавление: Да
Количество страниц: 612

Описание:В книге на примере изучения логики, теории множеств, алгебры, геометрии, анализа, теории графов рассматриваются некоторые общие характерные приемы и методы конструирования математических объектов и теорий, так называемые архетипы. Даются их наименования, описание и ссылки на них по ходу изложения материала. Сам материал представлен как на наивном, так и на современном строгом уровне, ряд теорем приводится с доказательством, подробно рассматривается построение конечных множеств и логики первого порядка с целью донести до широкого круга читателей возможность компьютерного моделирования математических доказательств. Вместе с тем, делается акцент на необходимости участия человека в этом процессе. В книге также дается ряд примеров из теории чисел, в частности, доказательство Великой Теоремы Ферма для случая п = 3,4, подробно рассмотрена теорема Гудстейна. Кроме того, проводится детальное описание движений в геометрии, всесторонне рассматривается аксиома выбора и ее влияние на математику, приводится ряд примеров из теории случайных графов с анализом их свойств.

Введение 9
Глава 1. Множества и мультимножества 13
1.1 Начальные множества 13
1.1.1 Грамматика теории множеств 13
1.1.2 Рекурсия и индукция 25
1.1.3 Первые архетипы 26
1.1.4 Финальные дополнения к языку 27
1.1.5 Равенство, принадлежность и объекты теории 29
1.1.6 Скобочная запись множеств 33
1.1.7 Числа грамматики 39
1.1.8 «Начальные» мультимножества 41
1.1.9 Универсальные множества и универсальный код 44
1.1.10 Теорема Гудстейна 50
1.2 Аксиоматика Цермело–Френкеля 55
1.2.1 Равенство и единственность 55
1.2.2 Ограничительные аксиомы 59
1.2.3 Первая бесконечность 65
1.3 Основные инструменты 71
1.3.1 Порядок отношений и отношения порядка 71
1.3.2 Трансфинитная рекурсия 84
1.3.3 Перечень инструментов 98
1.4 Универсумы и мультимножества 99
Глава 2. Числа 107
2.1 Арифметика порядковых чисел 108
2.1.1 Сложение 108
2.1.2 Умножение 111
2.1.3 Степень 115
2.1.4 Разложения ординалов 117
2.1.5 Доказательство теоремы Гудстейна 119
2.1.6 «Начальные» мультимножества 120
2.2 Кардинальная арифметика 121
2.3 Немного теории чисел 125
2.4 Числовые структуры 132
2.4.1 Группы, кольца, поля 134
2.4.2 Целые числа 139
2.4.3 Рациональные числа 144
2.4.4 Поле действительных чисел 149
2.4.5 Гипердействительные числа 157
2.4.6 Сюрреальные числа 168
2.4.7 Поле комплексных чисел 181
Глава 3. Дальнейшие обобщения чисел 195
3.1 Окно в общую алгебру 195
3.1.1 Архетип переноса свойств на базовое множество 196
3.1.2 Алгебраические структуры 197
3.1.3 Алгебра множеств 199
3.1.4 Немного теории групп 204
3.1.5 Идеалы, модули, базис 218
3.2 Матричное представление чисел 232
3.3 Гауссовы целые числа 238
3.3.1 Делимость и простые числа 239
3.3.2 Некоторые приложения гауссовых чисел 242
3.4 Целые числа Эйзенштейна 244
3.5 Линейные пространства и операторы 249
3.6 Экскурс в геометрию 261
3.6.1 Движения в действительном пространстве 264
3.6.2 Движения в R3, кватернионы 268
3.6.3 Подобия в действительных пространствах 280
3.6.4 Аффинные преобразования и однородные координаты 281
3.6.5 Проективная геометрия 283
3.6.6 Нестандартные геометрии 295
3.6.7 Геометрия на сфере 301
3.7 Многочлены 308
3.7.1 Конечные алгебраические расширения 310
3.7.2 Свойства многочленов 314
3.7.3 О построениях циркулем и линейкой 320
3.7.4 Нормальные расширения 322
3.7.5 Элементы классической теории Галуа 323
3.8 Группы: завершающий аккорд 329
3.9 Числовые архетипы 331
Глава 4. Матлогика. Исчисления I 335
4.1 Исчисление высказываний и предикатов 335
4.1.1 Исчисление высказываний 335
4.1.2 Исчисление предикатов 340
4.1.3 Модели 349
4.1.4 Ультрастепени 353
4.1.5 Примеры формальных теорий 356
4.2 Аксиома выбора: полезная и странная 366
4.2.1 Полезные следствия аксиомы выбора 375
4.2.2 Странные следствия аксиомы выбора 377
4.2.3 О сверхбольших кардиналах 381
4.2.4 Конкурент AC: аксиома детерминированности 385
4.2.5 Промежуточный итог 389
4.3 Вычислимость и доказуемость 390
4.3.1 Нестрогое введение в теорему Гёделя о неполноте 390
4.3.2 О вычислимости, разрешимости, перечислимости 391
4.3.3 Про сигма-определимость 396
4.3.4 Доказательство теорем Гёделя 399
4.3.5 Несколько слов о рекурсиях 405
Глава 5. Анализ. Исчисления II 413
5.1 Пространства и отображения 413
5.1.1 Связность и непрерывность 414
5.1.2 Непрерывность и группы 421
5.1.3 Фильтры и пределы 429
5.1.4 Компактность 430
5.1.5 Метрика 431
5.1.6 Норма и скалярное произведение 436
5.1.7 Ограниченные операторы 440
5.1.8 Псевдометрика 442
5.1.9 Мера и интеграл 445
5.2 Преобразования пространств 456
5.3 Конечные разности и вариации 460
5.3.1 Смещения и разности 460
5.3.2 Пространство смещений 461
5.3.3 Целочисленные разности 464
5.3.4 Вариации и дифференциалы 472
5.3.5 Вариационное исчисление 476
5.4 Вероятности 492
5.4.1 Классическая вероятность 492
5.4.2 Квантовая вероятность 508
5.4.3 Общий алгебраический подход 523
5.5 Несколько слов об общей картине 529
Глава 6. Графы 531
6.1 Подходы к определению 531
6.2 Обычные графы 538
6.2.1 Разнообразие деревьев 548
6.3 Вероятности на графах 559
6.3.1 Модель Эрдёша–Реньи 562
6.3.2 Случайные деревья и леса 567
Финал 583
Приложение A. Указатель архетипов 587
Приложение B. Схемы и таблицы 591
Приложение C. Листинги программ 597
Список литературы 603
Download
Для скачивания .torrent файлов необходима регистрация
Сайт не распространяет и не хранит электронные версии произведений, а лишь предоставляет доступ к создаваемому пользователями каталогу ссылок на торрент-файлы, которые содержат только списки хеш-сумм
Показать сообщения:    
Ответить на тему