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 …
-
Oh! I’d be very interested to know the original if anyone can find it, then! Would like my version to point there.
@ESYudkowsky, do you know?
I found this in a book from 1990. Probably not the original source either, but it predates Yudkowsky's version: https://books.google.co.uk/books?id=jklsb5JUgoQC&pg=PA119&lpg=PA119&dq=counting+with+stones+sheep&source=bl&ots=wV_G2PuvZH&sig=ACfU3U1M8XsZHSn_ANdpk_z17vxwrI0BYg&hl=en&sa=X&ved=2ahUKEwj-1aqf3MXgAhU3QxUIHQKvBgE4ChDoATABegQICRAB#v=onepage&q=counting%20with%20stones%20sheep&f=false …pic.twitter.com/UD90y88BKg
-
-
Awesome detective work! Thank you!
-
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.
- 2 more replies
New conversation -
-
-
A bit of logic geekery from my version. “You shouldn’t believe anything anyone says about the times table.”pic.twitter.com/LwhHJGygDp
-
Presberger arithmetic can be proven correct in a more powerful system then Presberger arithmetic. Peano arithmetic can be proven sound in ZF or much more simply proven consistent by induction on the wellfoundedness of epsilon-zero. I see little moral difference.
- 11 more replies
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.