FOM: Determinacy of statements -- reply to Richman

V. Sazonov V.Sazonov at doc.mmu.ac.uk
Sun Jun 25 10:59:02 EDT 2000


JoeShipman at aol.com wrote:

> 
> Richman:
> >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
> correctly).


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). 


Vladimir Sazonov




More information about the FOM mailing list