High-logic stuff here. I don’t claim to understand all but the ‘gist’. The gist: HoTT is attempting to become THE foundation for mathematics via Logic. Like… THE. There’s been other attempts in the past and likely to be others in the future, but HoTT is.. hot stuff in this particular field. Since Theoretical Physics is founded upon mathematics (to hopefully find confirmation in reality), a reformulation of the foundations (universals of logic) of the foundation (mathematics, which is _really_ founded on geometry but then again, geometry is founded on the axiom/proof system, which goes back to logic) of the foundation (Theoretical Physics) of Physics, which is _supposed to be_ the foundation all physical systems WHICH is supposed to be the foundations of Reality itself. So foundation. Much reductive everythingness. I love this article for the Title more than anything else and knowing what they’re attempting to do. Personally? I think they’ll end up chasing complicated tails around and still be missing the cheese and the maze, but we’ll definitely learn a LOT in the process of going through it all. Above my head? Yup. I couldn’t do it. But I’ve got an intuition for accuracy without the refinements of precision. I’d rather be accurate than overly precise because too much precision towards the wrong bulleye can lead you to be perfect and perfectly wrong at the same time. So, I try to avoid that.

Homotopy Type Theory should eat itself (but so far, it’s too big to swallow) via http://ift.tt/1k2yFGL

Leave a comment

Your email address will not be published. Required fields are marked *


9 + two =

Leave a Reply