FOM: Determinacy of statements -- reply to Richman
V.Sazonov at doc.mmu.ac.uk
Sun Jun 25 10:59:02 EDT 2000
JoeShipman at aol.com wrote:
> >However, when constructivists do
> > number theory, I would think that they have the same model in mind
> >that every other mathematician does.
> Professor Sazonov would disagree (if I have understood previous posts of his
More precisely, I do not understand what does it mean "the same model"
in this context. However, I understand if we mean by a model here
just a formal system or its preliminary semiformal version
(describing "this" model).
More information about the FOM