News for hackers. Stuff that matters.

A comment on Mathematical Notation Is Awful. Parent comment

Re:Mathematical Notation Is Awful by wolfgke on Sunday July 31, 2016 @09:16AM (#12196843)
> 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/

[ Parent | on HN ]
Re:Mathematical Notation Is Awful by Smaug123 on Sunday July 31, 2016 @03:03PM (#12198341)
I 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.
[ Parent | on HN ]