josef is a user on mastodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
josef @jk

me: computer, what’s the weather?

computer: who cares lol. im a Computer

@jk Scary fact: You have a computer in your brain! Don't believe it? Try calculating 1 + 1! You know who else calculates?? Computers!!

@jk I answered that when talking to a pediatrician before entering school and they held me back a year (not a joke)

@elomatreb @jk The thing is, it's not wrong when you work in Von Neumann numeral system. You can map each '1' to a set of empty sets (what Von Neumann used), so If 1 = {}, and 11 is {{}}{}, and 111 is {{{}}{}}{{}}{}, etc. then it's provable that 2 is greater than 1, and from that, the fundamentals of basic arithmetic can be logically proven.

If only you'd known about Von Neumann's numbering system and attempts to prove 2 > 1, then they might have advanced you a few grades instead.

@elomatreb @jk Disclaimer: I don't actually follow Von Neumann's proofs. It's well above my head. But I've read about them before and found the idea interesting.

@elomatreb @jk (I couldn't find a proper codepoint with the cross-pieces in the window)

@jk inspired computer: I am the weather.

@jk
computer: my climate control is functional human.