News for hackers. Stuff that matters.

A comment on Problems of Traditional Math Notation (2004). Parent comment

Re:Problems of Traditional Math Notation (2004) by mcphage on Monday November 06, 2017 @12:37AM (#15633628)
It has types—it has tons of types. They're just used very differently than in programming.
[ Parent | on HN ]
Re:Problems of Traditional Math Notation (2004) by adamnemecek on Monday November 06, 2017 @12:51AM (#15633666)
Which is a problem tho.
[ Parent | on HN ]
Re:Problems of Traditional Math Notation (2004) by mcphage on Monday November 06, 2017 @11:04AM (#15636374)
What do you see as the problems with that?
[ Parent | on HN ]
Re:Problems of Traditional Math Notation (2004) by adamnemecek on Monday November 06, 2017 @11:42AM (#15636671)
Lack of checkability which slows down progress. Look into work of the late Vladimir Voevodsky https://www.quantamagazine.org/univalent-foundations-redefin...
[ Parent | on HN ]