Author: Dan Andersson
Date: 15:42:13 02/12/04
Go up one level in this thread
First of all I must state that Mathematics is not a branch of Science. It is rather like Logic and Philosophy. >Math, as I see it, is a preoccupation with proofs and the use of proofs to >construct mathematical systems like boolian algebra. At it's foundation, all >mathematical systems are based on unproven assumptions. If one or more of these >assumptions is proven wrong, the whole system collapses like a house of cards >when one pulls out one of the bottom cards. > That is a backwards take on Math, IMO. Mathematics is based on Axioms. And different sets Axioms lead lead to different branches of Mathematics. Axioms are the starting points of any branch of Mathematics. And are as such beyond proof or disproof. And merely the start of a logical system. The interesting qustion is usually if a given Theorem is provable under a set of Axioms. One example would be Geometry where different formulations of the Parallel axiom leads to Euclid and non-Euclid geometries. And despite the fact that these Geometries differ in Axioms all of them are equally valid systems and all have been applied in Science. MvH Dan Andersson
This page took 0 seconds to execute
Last modified: Thu, 15 Apr 21 08:11:13 -0700
Current Computer Chess Club Forums at Talkchess. This site by Sean Mintz.