I find it funny that so many people drag Gödel's proof into the domains of physics and philosophy of mind in the hope that they can show that some of reality is too broken to be represented in mathematics, instead that some of mathematics was too broken to represent reality.
-
-
Yes, also that’s the “definition” by Atiyah I found in the preface of Riehl Category Theory in Context.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.