News for hackers. Stuff that matters.

A comment on Roger Penrose – Is Mathematics Invented or Discovered? [video]. Parent comment

Re:Roger Penrose – Is Mathematics Invented or Discovered? [v... by red75prime on Friday April 17, 2020 @03:58PM (#22902416)
Most of large cardinal axioms.
[ Parent | on HN ]

There are no comments on this comment yet.