Ramble, Part 71: Where Do We Begin?
May. 24th, 2009 03:08 pmThe Formalist program required the selection of a list of fundamental axioms from which all of mathematics could be (in principle) constructed. More broadly, each branch of mathematics should have its own list of axioms (presumably deriving from the fundamental list), subject to the same constraints as mentioned in the last Ramble.
( Peano, player )
Ramble Contents
Ramble Contents