Математика: от чисел к структурам и доказательствам

Арифметика изучает числа и правила вычислений: сложение, вычитание, умножение и деление. Она также рассматривает дроби, проценты, делимость и свойства числовых операций.

Алгебра изучает операции и отношения между математическими объектами, а также структуры, заданные правилами этих операций. Линейная алгебра, многочлены и системы уравнений — отдельные входы в область; абстрактная алгебра рассматривает группы, кольца и поля.

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

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

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

Дискретная математика изучает объекты и структуры, которые можно различать по отдельным элементам: целые числа, конечные множества, графы, логические состояния и последовательности. Её инструменты — точные определения, подсчёт, доказательства и анализ алгоритмов; например, граф позволяет представить сеть дорог или зависимости задач. Область шире информатики: дискретные модели встречаются и в математике, физике, биологии и исследовании операций.

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

В классическом изложении различают элементарные, алгебраические и аналитические методы; криптография использует лишь часть результатов, поэтому теорию чисел нельзя сводить к RSA.

Теория вероятностей описывает случайные исходы и закономерности их распределений. Она задаёт события и меру их вероятности в модели эксперимента.

Случайные величины и распределения позволяют изучать средние, разброс и предельное поведение. Статистический вывод использует вероятностные модели, но не тождественен самой теории.

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

Математическая оптимизация изучает поиск допустимого решения с наилучшим значением целевой функции. Задачу задают переменные, ограничения и критерий качества; методы и гарантии результата зависят от её структуры, включая выпуклость и непрерывность.

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

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

Формализация логики математическими методами. Включает теорию доказательств, теорию моделей, теорию рекурсии. Гёдель (1931) доказал неполноту арифметики.