News for hackers. Stuff that matters.

A comment on Doing Mathematics Differently. Parent comment

Re:Doing Mathematics Differently by conceit on Friday February 26, 2016 @07:13PM (#11185323)
You are being philosophic asserting that there would be a reality to reflect, in a rather colorful language, while axioms are real enough to not need to pull a strawman from beyond them.
[ Parent | on HN ]
Re:Doing Mathematics Differently by conceit on Friday February 26, 2016 @09:48PM (#11185829)
> Formal mathematics has no concept of absolute truth

That's like an absolute truth in formal mathematics then, I suppose.

[ Parent | on HN ]