[FOM] Formalization Thesis: A second attempt

[hendrik@topoi.pooq.com]

On Tue, May 25, 2010 at 08:57:14AM -0700, Paul Budnik wrote:
> On 05/21/2010 02:11 PM, Timothy Y. Chow wrote:
> > Vladimir Sazonov<vladimir.sazonov at yahoo.com>  wrote:
> >>
> >> Mathematics ***is*** formalising of our thought and intuition.
> >>      
> >    
> That seems too general.

Perhaps step back from formalisiation a bit.  Try 

Mathematics is the art and practice of devising and using conceptual 
spaces where long sequences of reasoning steps can be carried out 
without error.

Formalism is an important tool, but it isn't the only one.

-- hendrik