Top network posts
- 22 What is the current state of formalized mathematics?
- 16 Are the natural numbers implicit in the construction of first-order logic? If so, why is this acceptable?
- 7 Where to publish expository mathematics/personal notes?
- 7 How should one properly characterize mathematical conclusions?
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.