[FOM] Platonism and Formalism

Vladimir Sazonov V.Sazonov at csc.liv.ac.uk
Thu Oct 2 15:42:26 EDT 2003

Torkel Franzen wrote:
>  Vladimir Sazonov says:
>   >Why do YOU resist to such questions and to attempts to resolve
>   >them in a rational way? Why do YOU continue to insist that even
>   >if some views are mysticism, let them be? Let us wait for
>   >something more concrete. Then we will see what to do.
>   >Let me hope that this is only some misunderstanding.
>   It is indeed. I have no opinon about what anybody should or should
> not ask or do in foundations or in mathematics. 

The problem was evidently different. Of course you do not resist 
in such a way. 

I can reformulate: 

Why do YOU defend mysticism in or around mathematics 
(in the form of Platonism)? 

There is no
> need to wait for something more concrete: the "more concrete" exists
> in abundance, in the innumerable actual uses of concrete mathematics
> (in the sense of the book by Graham, Knuth, and Patashnik).

I do not know what do you mean by referring to this book. 

> ---
> Torkel Franzen

Vladimir Sazonov

More information about the FOM mailing list