I have an intuition that physics, logic, and computation are all closely connected, and that their bounded versions are also closely connected. I think this intuition started as wishful thinking. I didn't have time to study all three of my favorite subjects, so I hoped that studying one would eventually lead to all the others. The rest of this post aims to convince you (and me) that it wasn't just wishful thinking.
--------------------------------------------------------------------------------
Imagine you live in the world of mathematics. The things around you are groups and manifolds and numbers. You can't touch anything. You can touch symbols floating around the objects, and only by moving these symbols around can you interact... (read 1593 more words →)