Yes @BenI. «But the real mathematical story that I love is much more exciting, and starts with Godel and winds up at Von Neumann»
Particularly neat your way of putting: «They were concerned with fabric-of-the-universe stuff. They wanted to figure out what was knowable and what was definitely unknowable»
But...
I have a beef!!