2 ms·
Looks very interesting, but it is rather long. Can anyone familiar with this paper provide a summary?
by transfire 12y ago
Looks very interesting, but it is rather long. Can anyone familiar with this paper provide a summary?
- darkmighty 12y agoI'd love that, I'm also curious to know where this line of work headed to (in the present)!
- theoh 12y agoThere is a Wikipedia page: http://en.wikipedia.org/wiki/Systems_of_Logic_Based_on_Ordinals http://en.wikipedia.org/wiki/Systems_of_Logic_Based_on_Ordin...