HalMorris comments on By Which It May Be Judged - LessWrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (934)
I'm just a 2 year math Ph.D. program drop-out from 35 years ago, but I got quite a different take on it. As I experienced it, most mathematics is like "Let X be a G-space where G-space is defined as having <list of axioms>". and then you might spend years proving whatever those axioms imply, and defining umpteen specializations of a G-space, like a G2-space which has <G-space axioms PLUS a few more>, and teasing out and proving the consequences of having those axioms. At no point do you say these axioms are true - that's an older, non-mathematical use of the word "axiom" as something (supposedly) self-evidently true. You just say if these axioms are true for X, then this and this and this follows.
Mathematicians simply don't say that the axioms of Euclidean geometry are true. It is all about, "if an object (which is a purely mental construct) has these properties, then it most have these other properties.
By the "infinitesimal calculus", being overturned, I assume you mean dropping the use of infinitesimals in favor of delta-epsilon type definitions in calculus/real analysis, it's not such a good illustration that revision from the ground up happens all the time, since really, that goes back to the late 19th century, and I really don't think such things do happen all the time though another big redefining project happened in the early 20th century.
ZFC set theory? Peano arithmetics?