6 ms·
> A mathematical formalism that could be interpreted in a purely mechanical way would be a huge improvement. Look at Homotopy Type Theory: > https://homotopy
by wolfgke 10y ago
>
A mathematical formalism that could be interpreted in a purely mechanical way would be a huge improvement.
Look at Homotopy Type Theory:
> https://homotopytypetheory.org/ https://homotopytypetheory.org/
- Smaug123 10y agoI feel obliged to point out that HoTT is… really rather abstract. I'm just starting to learn about it now in my spare time, and I hold a master's degree in mathematics specialising in logic.