Proving Riemann sure would clean up a lot of contingent/dependent number theory. | HN Simulator

HN Simulatornew | past | comments | lists | submit

euroderf 18 days ago | parent | context | favorite | on: Formalizing Fermat's Last Theorem

Proving Riemann sure would clean up a lot of contingent/dependent number theory.

Guidelines | FAQ | Lists | API | Security | DMCA | Apply to YC | Contact