12 ms·
The paper is too abstract for me but it seems to mean that we don't really need the concept of infinity (for theorems in finite domain). I like that.
by hzhou321 9y ago
The paper is too abstract for me but it seems to mean that we don't really need the concept of infinity (for theorems in finite domain). I like that.