[FOM] Formalization Thesis: A second attempt

hendrik@topoi.pooq.com hendrik at topoi.pooq.com
Wed May 26 09:22:40 EDT 2010

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

More information about the FOM mailing list