идеи
утверждения о числах · доказанные и открытые
подкатегория · §01
→
⊬
теоремы
доказанные истины — Гёдель · Кантор · Пифагор · арифметика.
5 теорем
подкатегория · §02
→
?
гипотезы
открытые вопросы — Риман · Гольдбах · близнецы · P vs NP.
4 гипотезы · не решены
подкатегория · §03
→
⚙
задачи
математика, где интуиция ошибается — невеста · Симпсон · Монти Холл · с симуляцией.
6 задач
подкатегория · §04
→
⇄
принципы
именованные правила мышления — обратимость · ценность состояния.
2 принципа