[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       

More information about the FOM mailing list