School of Mathematical Sciences

Something about Formalism menu

Something about Formalism

Speaker: 
Andrew Curtis
Date/Time: 
Wed, 18/03/2009 - 12:00
Room: 
M103
In its most austere form formalism is the philosophical doctrine that mathematics consists solely in the activity of manipulating strings of symbols by certain stipulated rules. This talk will be an overview of the topic, highlighting some of the theory's strengths and weaknesses.