IHPST
The aim of the conference is to understand whether the formal analysis of mathematical proofs — as it has been developed by the proof-theoretical tradition of Hilbert and Gentzen — is compatible or not with the use of diagrammatical representations. Valeria Giardino (Institut Jean Nicod, École Normale Supérieure) talks about “Towards a cognitive semiotics for mathematics”.
Program at http://www.ihpst.cnrs.fr/activites/colloques/representation-and-axiomatization-power-and-limits .(tagsToTranslate)Semiotics (Field Of Study)(t)Philosophy (Field Of Study)(t)Math(t)Philosophy Of Science (Field Of Study)(t)Philosophy Of Mathematics (Field Of Study)(t)Cognitive Science (Field Of Study)(t)MathObRe(t)Beyond Logic