4 ms·

> mathematics isn't just a giant machine of deductive statements I think the subject at question here is mathematical truth, not "mathematics" whatever that me

> mathematics isn't just a giant machine of deductive statements I think the subject at question here is mathematical truth, not "mathematics" whatever that means.