View Single Post
Old
  (#2 (permalink))
Guille
The Thinker
Guille is a jewel in the rough
 
Guille's Avatar
 
Status: Offline
Posts: 3,278
Thanks Given: 14
Thanked 9x in 9 Posts
Join Date: Mar 2005
Rep Power: 47
   
10-18-2005, 02:17 AM

What is mathematical formalism?


I consider mself a logicist, but not to an exagerated extend. logicists believe that mathematics can not only be reduced and explaine din terms of a logical language, but that it is in full concordance with logic itself. I don't. I believe that maths can be reduced and explained by logic, but not that both re in full concordance. Please see my thread "Mathematics and Logic"
  
Reply With Quote