News for hackers. Stuff that matters.

A comment on Doing Mathematics Differently. Parent comment

Re:Doing Mathematics Differently by catnaroek on Friday February 26, 2016 @10:04PM (#11185884)
A “theorem” is by definition a statement in a mathematical theory that has a proof. In what sense is this true? Well, that depends on what “true” means in your model... :-p
[ Parent | on HN ]
Re:Doing Mathematics Differently by js8 on Saturday February 27, 2016 @12:42AM (#11186215)
I agree with parent comment. At the heart of your disagreement is that you seem to use definition from logic of what axioms are, while your opponents use "definitions" from metamathematics.
[ Parent | on HN ]