Reading this question, and the Wikipedia page on reverse mathematics, I wonder whether one needs more than the subfield $\mathcal{P} \subset \mathbb{C}$ of periods for applied mathematics, or indeed weak forms of pure mathematics.
Do we need more than the periods?
David Roberts ♦
- 35.5k
- 11
- 124
- 349