[FOM] Formalization Thesis

S. S. Kutateladze sskut at math.nsc.ru
Thu Dec 27 20:46:35 EST 2007



Timothy Y. Chow wrote :
I said at the outset that I didn't want to quibble over the
 precise choice of set theory.  Pick a slightly stronger set theory than
 ZFC and your objection evaporates.
.....
_______________________

No it is not. Even if you imply Cantorian paradise of any many,
when speaking of quibbling..
Model theory speaks about truth, semantics, verification, etc, that
are not ``any many.''
Hieroglyphs  are not letters, that's the point.
In fact your thesis recalls the desire of the ultimate foundation which
is one of the forlorn dreams of the mankind.



                
---------------------------------------------
Sobolev Institute of Mathematics
Novosibirsk State University
            mailto: sskut at math.nsc.ru
            copyto: sskut at academ.org       
http://www.math.nsc.ru/LBRT/g2/ruswin/ssk/index.html



More information about the FOM mailing list