kraitis

↗ HN profile [ 48.3 ms ] full profile

Karma: 26
Created: August 16, 2017 (9y ago)
Submissions: 0

A new foundational crisis in mathematics, is it happening? (arxiv.org)

1 points 7y ago 0
What do we want a foundation to do? (academia.edu)

2 points 8y ago 0