Строгое термодинамическое и трибологическое исследование скользкости льда: опровержение гипотезы плавления под давлением через уравнение Клаузиуса — Клапейрона, опыт Фарадея с режеляцией, нанометровый квазижидкий слой (QLL), фрикционный нагрев Боудена — Хьюза и современная вязкоупругая реология.
Каждый отдельный угол треугольника Пенроуза и бесконечной лестницы М.К. Эшера физически безупречен, но при склейке вдоль замкнутого контура трёхмерное пространство рушится. Разбираем, как перспективная проекция стирает глубину, как сэр Роджер Пенроуз описал невозможные фигуры через теорию пучков и когомологии Чеха и как скульптуры Кокити Сугихары и квантовая контекстуальность подчиняются той же математике.
Глубокий математический и системный разбор современного рендеринга шрифтов: базисные многочлены Бернштейна, квадратичные и кубические кривые Безье, алгоритм де Кастельжо, топология ненулевого индекса обхода, аналитическое интегрирование площади трапеций, стековая виртуальная машина хинтинга TrueType, 5-отводный КИХ-фильтр ClearType, линейное альфа-смешивание с гамма-коррекцией, многоканальные знаковые поля расстояний (MSDF) и прямые GPU-шейдеры Безье (Slug).
Почему бассейн со смесью кукурузного крахмала и воды (ооблек / Oobleck) твердеет как бетон под ногами бегуна, но превращается в зыбучие пески при остановке? Разбираем закон вязкости Ньютона, модель Гершеля — Балкли, гидрокластеры, фрикционные силовые цепи, фронты затвердевания, реологию крови, эффект Вайсенберга, число Деборы и жидкую броню.
От афоризма Дейкстры и теоремы Райса до логики Флойда — Хоара, SMT-решателей Z3, темпоральной логики и проверки моделей (TLA+), катастрофы ракеты Ариан-5, абстрактной интерпретации (связи Галуа) и интерактивного доказательства теорем (Coq, Lean 4, CompCert, seL4).
Фундаментальное философское исследование парадокса вымысла Колина Рэдфорда (несовместимая триада эмоционального отклика, экзистенциального убеждения и неверия), когнитивизма в теории эмоций, добровольной приостановки неверия Кольриджа, теории игры воображения (Make-Believe) и квази-страха Кендалла Уолтона, теории мысли (Thought Theory), парадокса трагедии, воображаемого сопротивления и артефактуальной онтологии вымышленных объектов.
Глубокое физико-математическое исследование мыльных пузырей и пен: от термодинамики поверхностного натяжения и уравнения Юнга — Лапласа до минимальных поверхностей, оствальдовского созревания, легочного сурфактанта ДПФХ, законов Плато (120° и 109,47°), структуры Уэйра — Фелана и самовосстанавливающейся упругости Гиббса — Марангони.
От повседневных чудес теоремы Брауэра о неподвижной точке (1911) — неподвижной молекулы в чашке кофе и скомканной карты на столе — до строгих контрпримеров, трёх классических доказательств (теорема Больцано — Коши, теорема Борсука об отсутствии ретракции через гомологии и формулу Стокса, лемма Шпернера) и великой иерархии теорем Банаха, Шаудера и Какутани, лежащих в основе равновесия Нэша (1950) и общего равновесия Эрроу — Дебрё (1954).
Фундаментальный разбор того, как живые организмы обходят закон теплового излучения Планка, генерируя видимые фотоны при комнатной температуре с высочайшим квантовым выходом. Чернотельное излучение и люминесценция, отличие биолюминесценции от флуоресценции (GFP) и BRET, четырехстадийный цикл люциферин-люциферазы через 1,2-диоксетанон (механизм CIEEL), экология глубин, визуализация AkaBLI и самосветящиеся растения.
Фундаментальное физико-математическое исследование трибологии: разрешение парадокса Амонтона-Кулона через фактическую площадь контакта (Боуден-Тейбор и Гринвуд-Уильямсон), закон трения Дитериха-Руины от скрипки до землетрясений, опровержение гипотезы плавления льда под давлением через уравнение Клаузиуса-Клапейрона и структурная сверхсмазываемость.
Глубокое математическое исследование группового тестирования (Group Testing) и комбинаторного поиска: от двухэтапного пулинга Роберта Дорфмана (1943) и теоретико-информационной границы Шеннона до задачи о 12 монетах, дизъюнктных матриц Кауца — Синглтона, кодов Рида — Соломона и сжатого зондирования (Compressed Sensing).
Согласно теореме Кука — Левина (1971), задача выполнимости булевых формул (SAT) стала первой доказанной NP-полной задачей со сложностью O(2^n) в худшем случае. Однако современные промышленные SAT-солверы за секунды решают формулы с 10 миллионами переменных и 50 миллионами дизъюнктов. Мы подробно разбираем путь от DPLL до обучения дизъюнктам, управляемого конфликтами (CDCL), первой UIP (1-UIP), метода двух наблюдаемых литералов (2WL), VSIDS, фазового перехода при α ≈ 4,267 и 200-терабайтного доказательства проблемы пифагоровых троек.
Строгий математический разбор ловушки классического мартингала, задачи о разорении игрока Гюйгенса и Паскаля через разностные уравнения, а также современной теории мартингалов и теоремы Дуба об опциональной остановке.
Когда город строит сверхскоростной новый мост или сетевой инженер добавляет оптоволоконный канал с высокой пропускной способностью, здравый смысл подсказывает, что время доставки должно сократиться. Однако в 1968 году Дитрих Браес доказал, что увеличение пропускной способности сети при эгоистичной маршрутизации (Selfish Routing) может строго увеличить время в пути для 100% пользователей. В статье подробно разбираются 4-узловая ромбовидная сеть Браеса, два принципа Уордропа, выпуклая потенциальная функция Бекмана–Розенталя, строгое доказательство верхней границы 4/3 для Цены анархии (Price of Anarchy) Рафгардена и Тардош, механический парадокс пружин и нитей Коэна и Хоровица, а также реальные примеры закрытия дорог от эстакады Чхонгечхон в Сеуле до Таймс-сквер в Нью-Йорке.
От загадки круглых канализационных люков до опорных функций Минковского, нечётных гармоник Фурье, двух полных доказательств теоремы Барбье (L = πw), теоремы Бляшке — Лебега, точной кинематики сверла Уаттса для квадратных отверстий (98,77% площади) и трёхмерных тел Мейсснера.
Начиная с истории святителя Афанасия Великого на Ниле и прецедента Верховного суда США Bronston v. United States, мы исследуем формальное определение лжи в доксастической логике, наглую ложь (bald-faced lies), Принцип кооперации и коммуникативные импликатуры Г. П. Грайса, байесовскую модель рационального речевого акта (RSA) для палтеринга, ригоризм Канта и его собственную стратегическую двусмысленность в письме королю Фридриху Вильгельму II, этическую критику Дженнифер Сол и эссе Гарри Франкфурта «О брехне (On Bullshit)» в эпоху галлюцинаций больших языковых моделей (LLM).
Как фарфоровый писсуар «Фонтан» (1917) Марселя Дюшана и «Коробка Брилло» (1964) Энди Уорхола разрушили 2500 лет эстетического эссенциализма. Философский анализ перцептивно неразличимых двойников, открытого понятия Морриса Вейца, мира искусства и воплощенного значения Артура Данто, институциональной теории Джорджа Дики и исторического интенционализма.
Математический разбор задачи о 100 узниках (Милтерсен 2003): разложение подстановок на независимые циклы, подсчет длинных циклов 1/ℓ, гармонические числа, предел 1 - ln 2 ≈ 31,18% и связывание рисков без передачи информации.
Математическое исследование мирового бестселлера Dobble (Spot It!): конечные проективные плоскости PG(2,q), плоскость Фано, однородные координаты над полями Галуа, задача Эйлера о 36 офицерах, теорема Брука — Райзера — Чоулы, доказательство на суперкомпьютере Cray-1 для порядка 10 и открытая проблема порядка 12.
Могут ли корпорации, государства или алгоритмические системы обладать подлинными намерениями и нести моральную ответственность? Глубокий анализ методологического индивидуализма, теорий разделяемой интенциональности (Сёрл, Братман, Гилберт), дискурсивной дилеммы (Лист и Петтит), внутренней структуры принятия решений (Питер Френч), «проблемы многих рук» и «моральных зон деформации» в эпоху ИИ.
