https://sdiehl.github.io/zero-to-qed/01_introduction.html
(ОП недолюбливает формальные методы и считает их извращением, но извращения притягательны и иногда ими интересно заниматься)
Post #873
1.27K
- Sep 22, 2026И ещё одну доказал (shoreline search problem, висела открытой 68 лет): https://arxiv.org/a…
- Sep 20, 2026чего только не бывает https://en.wikipedia.org/wiki/Disappearing_polymorph
- Aug 19, 2026https://palomar-registry.org/
- Aug 5, 2026попал на глагне https://vibemathed.com! проблеме 70 лет, и пока я четвёртый в списке по др…
- Jul 28, 2026а теперь и доказал оптимальную кривую: https://arxiv.org/pdf/2607.24483
- Jul 21, 2026и вот, семь лет спустя, я улучшил upper bound для случая леса в виде равнобедренного треуг…