the australian philosopher colin leslie dean points out that Mathematics is
systems of epistemological holisim
set theory
arithmetics
geometry
algebra
etc
are systems of epistemological holisim
epistemological holism means
a systems statement coher ie dont contradict with every other statement in
the system A systems statements interlock they share a common logic and
are involved enblock in every proof.A systems statements face the
tribunal of proof as a corporate body of statements. A systems
statements about mathematics face the tribunal of proof not
individually but only as a corporate body.
thus
if a statement contradicts another statement then the system as a
corporate body enblock falls apart into inconsistency
hence skolems paradox reduces set theory thus ZFC to inconsistency
ALSO
a systems statements face the tribunal of proof as a corporate body of
statements. A systems statements about mathematics face the tribunal of
proof not individually but only as a corporate body.
thus systems which are incomplete ie there is one statement that cant be
proven then the system enblock cant prove anything
thus the systems ZFC, PA, Q due to there, incompleteness cant prove
anything
--
Message posted using
http://www.talkaboutscience.com/group/sci.logic/
More information at
http://www.talkaboutscience.com/faq.html
