Comment by cachius
5 hours ago
This guy’s videos are awesome. He also has one on Klotski and the double pendulum. Beautiful graph animations.
5 hours ago
This guy’s videos are awesome. He also has one on Klotski and the double pendulum. Beautiful graph animations.
I also liked the one on lambda calculus. I hope one day we will be able to find interpretation of what it actually means for PLUS Times Plus. Maybe this is how we will explore nonstandard arithmetic.
What is PLUS times PLUS?
https://www.youtube.com/watch?v=RcVA8Nj6HEo
Godel's incompleteness theorem lets you turn PLUS into a number, do some operations on it, and then turn it back into a symbol. So PLUS times PLUS already has a definite answer. Perhaps not a sensible one, but a definite one.
Yes it could just simply be a syntactic sugar for a complex operation taking in 4 numbers. But this reminds me of Mirror Symmetry between two theories in String Theory where complex calculations in one theory gets mapped to simple calculation in another theory. Similarly we might have translation dictionary between standard arithmetic and non-standard arithmetic where complex calculation in standard arithmetic becomes easy calculation in non-standard arithmetic.
You're talking about Gödel encoding, not Godel's incompleteness theorem.
OH it's that guy.
His double pendulum video was orgasmic.
Edit: Oh wait, no, I was thinking of the Drew's Campfire double pendulum video. That video was extra interesting because the creator is not a typical content producer. He just has a few videos without any views, then dropped what might be one of the best videos of all time, and then went back to his technical videos.
[1] https://www.youtube.com/watch?v=8jVogdTJESw&t=212s