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