The Cognitive Foundations of Mathematics: human gestures in proofs and mathematical incompleteness of formalisms

Giuseppe Longo. The Cognitive Foundations of Mathematics: human gestures in proofs, in Images and Reasoning, (M. Okada et al. eds.), Keio University Press, Tokio, pp. 105-134, 2005: incompl-images.pdf (version préliminaire en fran,cais, étendue par un texte avec Francis Bailly, in Il pensiero filosofico di Giulio Preti, (Parrini, Scarantino eds.), Guerrini ed associati, Milano, 2004, pp. 305 - 340. (incompl-incert.pdf))International audienc