News for hackers. Stuff that matters.
Re:Roger Penrose – Is Mathematics Invented or Discovered? [v... by Y_Y on Friday April 17, 2020 @05:52AM (#22897605)
On the contrary. I think that "real" and "imaginary" numbers are both discovered and neither concept has more reality than the other.

I think that even chess rules have a meaningful "existence" (in a Platonic sense) even if they are in some sense arbitrary. We can't discover "the one true rule system" but we can discover various possible systems and also theorems about them.

Re:Roger Penrose – Is Mathematics Invented or Discovered? [v... by jeffdavis on Friday April 17, 2020 @01:10PM (#22900850)
Why aren't real and imaginary numbers both invented?