📐Формальные науки

Формальные науки — науки, изучающие абстрактные структуры, не привязанные к конкретным объектам реального мира. Работают не с веществом или живыми организмами, а с числами, символами, доказательствами и алгоритмами.

Что отличает формальные науки от естественных

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

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

Четыре столпа формальных наук

Математика — старейшая формальная наука. Зародилась в Вавилоне и Египте (III тысячелетие до н.э.) как практический счёт и измерение земли. Евклид (около 300 до н.э.) превратил геометрию в строгую дедуктивную систему. Сегодня математика включает алгебру, анализ, геометрию, теорию вероятностей и дискретную математику.

Логика — наука о правильном мышлении. Аристотель (384–322 до н.э.) создал силлогистику — первую формальную систему рассуждений. Буль (1854) превратил логику в алгебру, а Фреге (1879) заложил основы математической логики. Без логики невозможны ни компьютеры, ни искусственный интеллект.

Теоретическая информатика — математические основы вычислений. Тьюринг (1936) доказал, что существуют задачи, которые не может решить ни один алгоритм. Теория сложности определяет, какие задачи решаются быстро (класс P), а какие — только перебором (NP). Формальные языки и автоматы лежат в основе компиляторов и парсеров.

Системный анализ — изучение сложных систем как целого. Берталанфи (1950-е) создал общую теорию систем. Кибернетика Винера исследует обратную связь и управление. Теория графов, теория игр и теория хаоса — инструменты для анализа сетей, стратегий и непредсказуемых процессов.

Почему это важно для практики

Криптография, на которой держатся все онлайн-платежи, — прикладная теория чисел. Алгоритмы сжатия данных (ZIP, MP3, JPEG) — прикладная теория информации Шеннона. Нейросети обучаются методом градиентного спуска — это математический анализ. Google PageRank — собственные значения матрицы, линейная алгебра.

Формальные науки не просто «абстракции для учёных». Каждый раз, когда вы пользуетесь GPS, отправляете сообщение в мессенджере или получаете рекомендацию на YouTube — работают алгоритмы и модели, созданные формальными науками.