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 Koshkin on Friday April 17, 2020 @04:41PM (#22902770)
> choose any axioms and then derive

Sound almost like "jump off the roof and see what happens."

[ Parent | on HN ]

There are no comments on this comment yet.