News for hackers. Stuff that matters.

A comment on Will Computers Redefine the Roots of Math?.

Re:Will Computers Redefine the Roots of Math? by orlandpm on Friday June 30, 2023 @12:16PM (#36537657)
(2015)
[ Parent | on HN ]
Re:Will Computers Redefine the Roots of Math? by b215826 on Friday June 30, 2023 @12:41PM (#36538105)
Yes, and Voevodsky is no longer alive.
[ Parent | on HN ]