WingNews logo WingNews
top | new | best | ask | show | jobs
top | item 29976550

(no title)

MaxwellM | 4 years ago

Godel numbering does this for Logic. Reading GEB rn so top of mind.

https://en.wikipedia.org/wiki/G%C3%B6del_numbering

discuss

order

No comments yet.

powered by hn/api // news.ycombinator.com