Eugenia Cheng давно ламає стереотип про «талант до математики». Її популярна математика поєднує абстракцію й повсякденність, показуючи, як рівність і еквівалентність залежать від наших виборів. Не треба бути «сильним у числах», щоб мислити математично.
«Unequal: The Math of When Things Do and Don’t Add Up» доводить: рівність — це відношення, а не догма. 2×3 дорівнює 3×2, та «два пакунки по три» відрізняються від «трьох по два». У математиці таку гнучкість формалізують, а в житті ми часто ігноруємо її ціну.
Категорна теорія, яку популяризує Cheng, зосереджується не на сутностях, а на стрілках між ними. Коли об’єкти поводяться «достатньо однаково», ми приймаємо їх за ті самі. Так народжується мова еквівалентності, що корисніша за наївний, жорсткий критерій рівності.
У теорії вузлів дві мотузки можуть виглядати різно, та бути тим самим вузлом. Маніфолди локально прості, проте глобально складні. Це чудова метафора: порядки, які зручно бачити зблизька, у великому масштабі утворюють «складки» з неочікуваними наслідками.
Книга виходить за межі формул і шкільних рефлексів. Cheng пояснює, як базові припущення визначають систему, а вибір — що вважати «однаковим». Це знімає тривожність і повертає відчуття гри, у якій інтуїція не ворог, а союзник абстракції та логіки.
Свою місію Cheng випробувала в мистецькій школі Чикаго. Студенти-гуманітарії, які вважають себе «поганими в математиці», відкривають інше обличчя дисципліни. Вони вчаться мислити структурами, навіть коли не женуться за обчислювальною вправністю.
Її педагогику тримає принцип доступності науки: менше принижень і «зубріння правил», більше сенсу і контексту. Популяризація математики працює, коли показує, навіщо обмеження, звідки ростуть означення і як змінюється відповідь, якщо змінити вихідні умови.
Cheng наполягає: математичне мислення — про моделювання вибору. Чи рівні два об’єкти, залежить від того, що ми фіксуємо, а що абстрагуємо. У суспільних дискусіях це важливо: «рівне ставлення» не завжди означає «однакове», бо контексти не тотожні.
Такі ідеї дисциплінують інтуїцію. Ми усвідомлюємо, що кожна система починається з аксіом, а отже відповідь — функція від рамки. Це зменшує конфлікти «вірувань» і переводить суперечки в площину узгоджених критеріїв, як робить наука у своїх практиках.
«Unequal» також розвінчує міф «чорно-білої» математики. Є багато світів, де 1+1 не дорівнює 2, якщо ми визначили «додавання» інакше. Ідея не про релятивізм, а про чесність: перш ніж сперечатися, уточнімо операції, міру й вимоги до точності.
Урок Cheng звучить простим правилом: спершу домовляємося, що рахуємо однаковим, потім виводимо наслідки. Звідси — практична користь категорної теорії для коду, дизайну, лінгвістики чи етики: там, де важать відношення, математика стає спільною мовою.
Книжка не замикається в класі. Cheng показує, як математична освіта змінює досвід повсякденності: планування проєктів, толерантність до невизначеності, робота з аналогіями. Рівність тут — інструмент, що допомагає мислити, а не ярлик для комфорту.
Справжня емансипація читача — у відмові від сорому. Не всі мусять доводити теореми, як не всі мусять грати на сцені, щоби любити музику. Достатньо побачити, як з’являються структури, і дозволити собі насолоду від ідей, навіть якщо шлях розуміння не прямий.
Cheng адресує також тему справедливості. Коли ми зводимо «рівність» до однаковості процедур, ми ігноруємо відмінності стартових умов. Математичний погляд підказує: змінюючи аксіоми, змінюємо висновки — отже, політичні рішення мусять оголювати рамки.
Популярна математика тут — не легковажний жанр, а серйозна інфраструктура довіри. Вона вчить розрізняти, де доречний формалізм, а де — пояснювальна метафора. І показує, що краса доказу цілком сумісна з людяністю пояснення та емпатією до читача.
«Unequal» — це запрошення дивитися на світ через відношення. Там, де ми бачимо «не збігається», категорна перспектива часто відкриває рушійні еквівалентності. І саме в цьому полягає свобода: визначати рамки чесно й отримувати від математики задоволення.
