News for hackers. Stuff that matters.

A comment on Some stuff I found interesting about number theory research. Parent comment

Re:Some stuff I found interesting about number theory research by jkhdigital on Monday July 26, 2021 @07:23AM (#27958108)
Homotopy type theory is just that: https://www.ias.edu/ideas/2014/voevodsky-origins
[ Parent | on HN ]
Re:Some stuff I found interesting about number theory research by deadbeef57 on Monday July 26, 2021 @01:46PM (#27962552)
Homotopy type theory (HoTT) can mean several things: it's a new foundation of mathematics that was developed from the start with computer-formalization in mind. But you can also work on HoTT without ever touching a computer.

Conversely, there are many ways to do computer-formalization of mathematics, without every doing anything with HoTT.

[ Parent | on HN ]