Hacker News new | past | comments | ask | show | jobs | submit login
Systems of Logic Based on Ordinals (1938) [pdf] (princeton.edu)
44 points by morenoh149 on Oct 1, 2014 | hide | past | web | favorite | 7 comments

I took a picture of the original dissertation once. They should've scanned it in color:


I guess I've never looked at an historical mathematical document pre-TeX. Kinda awesome with the handwritten symbols.

You might be in interested in looking at Dijkstra's manuscripts, which are all handwritten. Here's an example [0], and an index is available here [1].

[0]: https://www.cs.utexas.edu/~EWD/ewd10xx/EWD1001.PDF [1]: http://www.cs.utexas.edu/users/EWD/

Wow! all those hand-written symbols. And he had to do it on every copy.

Looks very interesting, but it is rather long. Can anyone familiar with this paper provide a summary?

I'd love that, I'm also curious to know where this line of work headed to (in the present)!

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact