Le terme formalisme est souvent utilisé de manière ambiguë dans l’étude des sciences. Il peut désigner trois grandes acceptions : logique, mathématique ou philosophique. Giuseppe Peano (1858-1932) a contribué aux trois facettes du formalisme, bien que son influence ait été plus marquée dans les domaines de la logique et des mathématiques que dans la philosophie des mathématiques.
Un mathématicien sensible aux revendications sociales
Giuseppe Peano (1858-1932) est né à Spinetta, un petit village du Piémont, dans le nord de l’Italie. En 1880, il soutient une thèse en géométrie et devient assistant d’Angelo Genocchi dans son cours d’analyse infinitésimale avant d’être nommé professeur de calcul infinitésimal à l’université de Turin. En dehors de son travail scientifique, Peano est sensible aux revendications sociales, notamment celles des femmes étudiantes et des ouvrières. Par exemple, alors que la grève des ouvrières de la filature de coton de l’usine Bass s’étend à Turin, Peano soutient la cause des grévistes et, en signe de sympathie, les accueille, par l’intermédiaire de la Chambre du travail, dans sa villa de Cavoretto le 6 mai 1906. Il mène également des initiatives éducatives, destinées aux enseignants du secondaire et aux enfants, pour lesquels il a écrit un livre de jeux arithmétiques amusants ... Lire la suite