News for hackers. Stuff that matters.

A comment on The physicalization of metamathematics and the implications for its foundations. Parent comment

Re:The physicalization of metamathematics and the implicatio... by macrolocal on Thursday April 07, 2022 @03:51PM (#30949557)
In ~300 BCE, Euclid decides to work with morphisms not objects.
[ Parent | on HN ]

There are no comments on this comment yet.