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 JackFr on Thursday April 07, 2022 @01:12PM (#30947444)
> Any species would prove the exact same theorems given the same axioms

Assume there exists at least one species....

[ Parent | on HN ]

There are no comments on this comment yet.