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 @12:35PM (#22900460)
> Numbers don't inherently exist

How do we know that it is true?

[ Parent | on HN ]
Re:Roger Penrose – Is Mathematics Invented or Discovered? [v... by kevin_thibedeau on Friday April 17, 2020 @12:38PM (#22900486)
They are symbols that we assign arbitrary meaning to. They are useful because of the axiomatic framework constructed to support them.
[ Parent | on HN ]