Математика і наука¶

Математика не є наукою в тому самому сенсі, що фізика, хімія чи біологія (вона не спирається на емпіричну перевірку й нефальсифіковна), проте вона є «мовою науки» — інструментом, без якого сучасна наука неможлива. Водночас математика не є й псевдонаукою: це самостійна логічно несуперечлива дисципліна.

Огляд (Overview)¶

Лекція з курсу «Науковий образ світу» обґрунтовує тезу, що математика займає унікальне місце між наукою та мовою. Наука пізнає світ через спостереження, експерименти й логічний аналіз, тоді як математика оперує абстракціями, які не існують у природі (числа, множини, комплексні числа), і виводить істини суто логічно — з аксіом, обраних людьми за домовленістю.

Ключові деталі / Підтеми¶

Відсутність емпіричної перевірки: предмети математики (інтеграли, вектори, трикутники) не існують у природі й не підлягають експериментальній перевірці. Вимірювання суми кутів трикутника лінійкою/транспортиром не доводить теорему Піфагора — воно лише перевіряє кривизну нашого Всесвіту (див. Мегасвіт: космічний мікрохвильовий фон показує, що на великих масштабах простір практично плоский, тому сума кутів великого трикутника ≈ 180°). Математика потребує абсолютної суворості, фізика — практичності.
Нефальсифіковність (критерій Поппера): на відміну від природничих наук, доведену математичну теорему неможливо спростувати. У науці теорію замінюють, коли експеримент суперечить їй (флогістон → киснева теорія горіння; ефір спростовано дослідом Майкельсона–Морлі; ньютонівська гравітація замінена ЗТВ Ейнштейна). Математика так не працює — див. Науковий метод та Псевдонаука.
Аксіоми як угода, а не відкриття природи: закони природи відкриваються (існували б і без Ньютона), а аксіоми математики обираються. Зміна аксіом породжує нові несуперечливі системи, які співіснують: евклідова геометрія (сума кутів = 180°), геометрія Лобачевського (безліч паралельних), геометрія Рімана (паралельних немає, усі прямі перетинаються) — жодна не спростовує іншу, вони працюють в різних умовах (наприклад, геометрія Рімана — у теорії відносності). Навіть «1 + 1 = 2» істинне лише в певній системі аксіом (у булевій алгебрі 1 + 1 = 1, в арифметиці за модулем 2 — 1 + 1 = 0).
Істина як логічна несуперечність і консенсус: у природничих науках істинність визначає незалежний експеримент (приклад: бозон Гіґґса підтверджено 2012 року на ВАК, Нобелівська премія Хіґґсу й Енглеру). У математиці істина — це логічна коректність доказу та згода математичної спільноти; навіть комп'ютерні перевірки доказів потребують людської довіри (хто перевірить сам комп'ютер?).
Абсолютна суворість vs наближення: гіпотеза Гольдбаха (кожне парне число >2 — сума двох простих) перевірена до 4·10¹⁸, але лишається не доведеною; гіпотезу Ейлера (про суму четвертих степенів) вважали істинною 220 років, доки 1986 року не знайшли контрприклад. Для математики одного винятку достатньо, щоб теорія «розсипалася».
Математика як мова науки: математика ближча до мови, ніж до науки — у неї свій синтаксис і правила. Вчений не створює закон природи, а описує його мовою математики (Галілей: «природа говорить мовою математики»). Закон всесвітнього тяжіння, рівняння Максвелла, теорія відносності стали наукою саме завдяки математичному запису; хвильове рівняння описує світло, звук, хвилі на воді й викривлення простору-часу. Математика універсальна: E = mc² зрозуміла будь-якому фізику незалежно від рідної мови.
Створення нових понять = нові слова мови: похідні й інтеграли (XVII ст.) стали основою фізики; комплексні числа, матриці, тензори, рівняння Дірака (спін, антиматерія) — спочатку абстракції, згодом незамінні в квантовій механіці та електротехніці (див. Сучасна (квантова) картина світу, Електромагнітна (польова) картина світу).
Числа як вигаданий інструмент: у природі існують атоми, слони, планети, фотони, але не існує «п'ятірки» чи «вісімки» — числа ми приписуємо об'єктам. Ідея, що світ описується числами, виникла в Стародавній Греції (Піфагор, Платон) і стала потужним інструментом науки лише за наукової революції (Галілей).

Суперечності та відкриті питання¶

Математика «не є наукою» лише за критерієм демаркації (емпіричність + фальсифіковність). За іншими визначеннями («наука — систематичне пізнання») її іноді зараховують до формальних наук. Лекція наголошує на відмінності від природничих наук, а не заперечує цінність математики.
Співвідношення математики та фізики залишається відкритим філософським питанням («незрозуміла ефективність математики в природничих науках», Юджин Віґнер) — чому вигадані людиною абстракції так точно описують реальний світ.

Джерела та посилання¶

Чому математика не є наукою — транскрипт лекції; математика як «мова науки», відсутність емпіричної перевірки та фальсифіковності, аксіоми як угода, геометрії Евкліда/Лобачевського/Рімана, гіпотези Гольдбаха й Ейлера, бозон Гіґґса, рівняння Дірака.
Науковий метод — зв'язок: критерій фальсифікації Поппера, за яким математика не проходить як емпірична наука.
Псевдонаука — зв'язок: математика не є ані наукою, ані псевдонаукою; приклади спростованих наукових теорій (флогістон, ефір).
Сучасна (квантова) картина світу — зв'язок: комплексні числа та рівняння Дірака як математична мова квантової фізики.
Електромагнітна (польова) картина світу — зв'язок: рівняння Максвелла як математичний опис електромагнітного поля.
Мегасвіт — зв'язок: вимірювання кривизни Всесвіту (космічний мікрохвильовий фон) як перевірка властивостей простору, а не математичної теореми.
Квадратне коло та π = 4 — зв'язок: «квадратне коло» і π = 4 як прямий приклад того, що математичні константи (число π) залежать від вибору аксіом/метрики, а не є абсолютними законами природи.
Магічні числа Всесвіту — зв'язок: ідею «числа як вигаданий інструмент» доповнено протилежним поглядом — існують безрозмірні фізичні константи (α, mₚ/mₑ, α_G, Λ), які не є ні математичними, ні залежними від системи одиниць і «конструюють» реальність.