Re:Roger Penrose – Is Mathematics Invented or Discovered? [v...
by vanderZwan on Friday April 17, 2020 @09:45AM
(#22898910)
Well, then it sounds like your reasoning gets it backwards: the axioms that produce systems without significant consequences or connections outside of their own abstract realm end up being ignored.
Or in other words: the constraints on maths are imposed from outside of maths.
Or in other words: the constraints on maths are imposed from outside of maths.