Re: Isomorphism between Mereology and Boolean algebra without least element
Thus spake Jay Halcomb at 12:11 pm -0700 on 7/7/05 re Re: Isomorphism between
Mereology and Boolean algebra witho:
> Topos theory, supporting intuitionistic logic, has less overall support than
> FOL. Set theory, by some measure, is the most widely used foundation, but
> the devil is in the details.
Topos theory "is" Higher Order Intutionistic Logic, so I fail to see why you
say it "has less overall support than FOL". Or is it the higher Order part?
I don't want to get into arguments about this point but remember that the
BHK-Interpretation of it (cf eg Troelstra & van Dalen, Constructivism in
Mathematics, North Holland) tells us to look at *PROOF* not at Truth; IMHO
that should appeal to Mathematicians if they think a bit...
As for "Set theory, by some measure, is the most widely used foundation" it
took Mathematicians almost a century to accept it -- and that thanks to
Bourbaki who have been geniuses as far as ads go ;-)
Cheers
~=michel
--
Michel Eytan
eithn@free.fr
I say what I mean and mean what I say