FOM: consistency equals existence

Vladimir Sazonov sazonov at informatik.uni-siegen.de
Thu Feb 24 10:50:29 EST 2000


Dear Professor Robert Black,

You wrote:

> I am grateful to Vladimir Sazonov for his comments on my post of 18
> February. However, I must point out that I was there exploring the
> implications of positions which I would not necessarily want to adopt. In
> fact I am tempted by a realism/platonism so extreme that it would make
> Professor Sazonov's hair stand on end.

After your words :

"What I can't see is how the completeness theorem plays a role [in the
principle consistency equals existence - VS.] if we're not set-theoretic
realists."

you can say anything which looks like a Platonism. I understand that
you are usually working in (or construct) a formal system with
corresponding specific intuition which may have any flavor, say,
Platonistic. (A universe which contain "all" possible sets or anything
analogous.) This is a harmless (local) Platonism of any working
mathematician who has full rights to use ANY kind of intuition.
In my understanding, you are not Platonist. Real Platonist does not
see such distinctions as above.

Vladimir Sazonov





More information about the FOM mailing list