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 karmakaze on Friday April 17, 2020 @01:38PM (#22901144)
Not at all, pure math is in part about exploring axiomatic systems that may or may not have a physical counterpart. The latter is immaterial.
[ Parent | on HN ]
Re:Roger Penrose – Is Mathematics Invented or Discovered? [v... by symplee on Friday April 17, 2020 @02:47PM (#22901713)
Can you give some examples of axioms in pure math that run completely counter to our physical world? For example:

  It is NOT possible to draw a straight line from any point to any other point.
  It is NOT  possible to extend a line segment continuously in both directions.
  etc...
or

  Things which are equal to the same thing are NOT equal to one another.
  If equals are added to equals, the wholes are NOT equal.
  The whole is LESS than the part.
Note that the original forms of the above axioms "make sense" to us because everything in our physical experience agrees with them. So when you said that the "physical counterpart ... is immaterial", I was curious to see an example of a "physically impossible" axiom.
[ Parent | on HN ]
Re:Roger Penrose – Is Mathematics Invented or Discovered? [v... by red75prime on Friday April 17, 2020 @03:58PM (#22902416)
Most of large cardinal axioms.
[ Parent | on HN ]