Математика — области и разделы

Изучение количества, структуры, пространства и изменения посредством дедуктивного доказательства. Её большие области ниже — не отдельные предметы, а связанные регионы единого ландшафта, вечно заимствующие инструменты друг у друга.

от Математика

Изучение самого фундамента математики — правил доказательства, природы множеств и границ доказуемого. Оно спрашивает не что истинно, а как мы можем знать это достоверно.

от Основания и логика

Теория совокупностей, ставшая общим основанием, на котором построена почти вся современная математика. Открытие Кантором разных размеров бесконечности положило начало области.

от Основания и логика

Формальное изучение самого рассуждения — что можно доказать внутри системы, а что нельзя. Теоремы Гёделя о неполноте очертили непреодолимые границы любого формального метода.

от Математика

Изучение операций и абстрактных структур, которым они подчиняются, — от решения уравнений до общих законов симметрии. Она даёт каждой другой области её символический язык.

от Алгебра

Теория векторных пространств и линейных отображений — математика матриц, систем уравнений и преобразований. Это рабочая лошадка прикладной науки и машинного обучения.

от Алгебра

Изучение алгебраических структур в абстракции — групп, колец и полей, заданных лишь своими аксиомами. Теория групп, в частности, схватывает саму математику симметрии.

от Математика

Изучение формы, размера и пространства — древнейшая ветвь математики и та, из которой впервые пришла сама идея строгого доказательства, в «Началах» Евклида.

от Геометрия

Классическая геометрия плоскости и пространства, выводимая из горстки аксиом. Две тысячи лет её аксиоматический метод был образцом достоверного знания.

от Геометрия

Декартово слияние алгебры и геометрии через координаты, позволившее записывать кривые уравнениями. Оно сделало возможным анализ и соединило две древние ветви в одну.

от Геометрия

Изучение искривлённых пространств средствами анализа — поверхностей, многообразий и кривизны. Риманова геометрия искривлённого пространства позже дала Эйнштейну язык общей теории относительности.

от Математика

Математика непрерывного — пределов, изменения и бесконечных процессов. Рождённый из исчисления, это раздел, сделавший возможными современные естественные науки.

от Анализ

Изучение скоростей изменения и накопления через производные и интегралы. Открытое независимо Ньютоном и Лейбницем, оно — врата ко всему высшему анализу.

от Анализ

Строгое основание исчисления, точно определяющее пределы, непрерывность и сходимость. Оно заменило интуицию о бесконечно малом безупречным доказательством.

от Анализ

Анализ функций комплексного переменного — удивительно жёсткий и красивый, где знание функции возле одной точки задаёт её всюду. Центральный для физики и теории чисел.

от Анализ

Уравнения, связывающие величину со скоростями её собственного изменения, — язык, на котором записан и решается почти всякий физический закон движения, тепла и волн.

от Математика

Изучение целых чисел и их глубоких скрытых закономерностей — простых чисел, делимости и диофантовых уравнений. Некогда чистейшее из занятий, ныне оно обеспечивает современную криптографию.

от Математика

Математика случая и вывода заключений из данных. Вероятность моделирует случайность; статистика рассуждает в обратную сторону — от наблюдений к процессу, их породившему.

от Вероятность и статистика

Строгая математика случайности, получившая твёрдые аксиоматические основания у Колмогорова. Она моделирует всё — от бросков монеты до диффузии частиц и финансового риска.

от Вероятность и статистика

Наука об извлечении знания из данных — оценивании величин, проверке гипотез и количественной оценке неопределённости. Это математический двигатель эмпирического метода.

от Математика

Математика различимых, счётных структур, а не непрерывного, — подсчёта, графов и алгоритмов. Это родная математика информатики.

от Дискретная математика

Изучение подсчёта, размещения и сочетания конечных структур. Просто формулируемые, но нередко дьявольски трудные, её задачи лежат в основе вероятности и проектирования алгоритмов.

от Дискретная математика

Изучение сетей из узлов и связей, начатое эйлеровой задачей о кёнигсбергских мостах. Оно моделирует всё — от социальных связей до схем и интернета.

от Математика

Математика, направленная на задачи наук, инженерии и экономики, — моделирование реальных систем и вычисление их поведения. Она отплачивает чистой математике новыми вопросами.

от Прикладная математика

Разработка математических методов для задач физики — и вновь и вновь совершаемое открытие, что абстрактная математика описывает физический мир.

от Прикладная математика

Изучение алгоритмов, приближённо решающих непрерывные задачи и контролирующих погрешность. Именно оно позволяет компьютерам реально решать уравнения науки.