In which I attempt to answer the question "What even is a number?" for a friend. https://notebook.drmaciver.com/posts/2019-02-18-08:58.html …
-
-
I do believe that I independently came up with exactly the same analogy to serve exactly the same purpose! A fascinating example of identical solutions to identical problems.
-
Someone sent me an email saying that something very similar (though less fleshed out) occurs in Kleene's 1952 book "Introduction to Metamathematics", so I think it's probably been independently reinvented a few times at this point!
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.