Re: Isomorphism between Mereology and Boolean algebra without least el ement
*Strangely enough* - both "integers" and "Euclidean geometry"
are most connected to (and represented by)
objectively existing and observable *material world*.
-- "John F. Sowa" <sowa@bestweb.net> wrote:
And for that matter, there are only two major systems
that mathematicians are really confident in their
reliability: the integers and Euclidean geometry.
Whenever you have a new system, it's a good idea check
it's consistency by defining a model of that system
in terms of either the integers (as Goedel did for his
famous theorem) or Euclidean geometry (as mathematicians
do for every other version of geometry).
Kronecker, Peirce, and many others said that it is
foolish to think that arithmetic needs set theory
in order to make it more reliable. I certainly agree.
John