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 pfortuny on Friday April 17, 2020 @02:09PM (#22901403)
Oh no: the axioms come much much later. The order is exactly the reverse one.
[ Parent | on HN ]
Re:Roger Penrose – Is Mathematics Invented or Discovered? [v... by danck on Friday April 17, 2020 @02:28PM (#22901558)
Well, I have to agree. From a practical perspective.
[ Parent | on HN ]