the 3 philosophy of #math of 1900s are: ① logicism. Math is pure derivation of logic. ② Hilbert's formalism. Math is just bunch of fomulaic symbols. No meaning. ③ intuitionism. Math is mind's construction.

these 3 schools are the basis of foundations of math. Each has its problems. logic became formal (i.e. symbolic) logic, which is basically formalism. They in turn, became constructivism (a variation of intuitionism), so it can run by computer.
Shared publiclyView activity