GIUSEPPE PEANO

Giuseppe Peano est né en 1858 dans un hameau de Cuneo. On dit que, garçon, il devait marcher de nombreux kilomètres chaque jour pour aller à l'école, comme c'est encore typique aujourd'hui dans de nombreuses parties du monde. Il a ensuite poursuivi ses études à Turin grâce à son oncle maternel qui a reconnu son talent. Il est diplômé en mathématiques de l'Université de Turin en 1880, où il a ensuite enseigné pendant de nombreuses années.
Il a travaillé sur la logique, le langage et diverses branches des mathématiques.

Peano est crédité de l'introduction de divers symboles logiques aujourd'hui couramment utilisés : ∃ pour le quantificateur existentiel, ∪ pour l'union de deux ensembles et ∩ pour l'intersection. Il faut mentionner sa tentative de créer une langue universelle, le latin sine flexione, c'est-à-dire un latin simplifié, sans les terminaisons typiques du latin classique.

Aujourd'hui, on parle dans le monde entier des axiomes de Peano pour l'arithmétique, car Peano a été responsable de l'une des premières tentatives d'arriver à une définition axiomatique des nombres naturels. Dans un domaine complètement différent, la courbe de Peano est célèbre, qui a des propriétés clairement contraires à l'intuition : bien qu'elle soit une courbe continue, elle est si "dense" qu'elle passe par tous les points d'un carré.

Il faut ajouter que Peano était apprécié de la communauté internationale. Par exemple, après un congrès international à Paris, Bertrand Russell devait dire que « dans toutes les discussions Peano et ses partisans possédaient une précision que les autres n'avaient pas ».

En son honneur, un astéroïde porte aujourd'hui son nom.

AUOQUAMEL

Abū Kāmil Shujāʿ ibn Aslam, également connu sous le nom d'al-Ḥāsib al-Miṣrī ("Le Calculateur Égyptien") et en Occident comme Auoquamel, était un mathématicien égyptien qui vécut aux alentours des années 850-930, pendant l'âge d'or islamique. L'âge d'or islamique est une période de 4-5 siècles pendant laquelle le monde islamique est devenu un centre intellectuel pour la science (mathématiques, étude de la nature, mais aussi alchimie et astrologie), la médecine et la philosophie. Une grande importance était attribuée au savoir, et donc à l'éducation et à la traduction en arabe d'œuvres antérieures. Cette période a vu diverses découvertes scientifiques et ingénieuses, y compris des découvertes profondes en optique, avec les premières tentatives de construire des appareils photo ; en chirurgie ; en trigonométrie ; en physique, avec les premières tentatives de vol.

Auoquamel a contribué à diverses études et résultats, par exemple des méthodes générales pour résoudre les équations linéaires ; mais le fait le plus significatif est qu'Auoquamel a été le premier mathématicien à utiliser systématiquement les nombres irrationnels. Les nombres irrationnels (racines carrées, racines cubiques, ...) étaient acceptés par lui comme solutions aux équations et aussi comme coefficients. Les techniques mathématiques décrites dans ses œuvres ont été reprises plus tard par Leonardo Pisano, dit Fibonacci, et ont ainsi contribué au développement ultérieur de l'algèbre en Europe.

JEAN-LOUIS KRIVINE

Jean-Louis Krivine est un universitaire français, né en 1939, qui s'est consacré à la logique mathématique, à la théorie des ensembles et à l'informatique théorique. Il a été étudiant à l'École Normale Supérieure de Paris et a ensuite enseigné pendant de nombreuses années à l’Université "Paris Cité" (également connue sous le nom de Paris VII). Parmi les personnes ayant étudié sous sa supervision figure Jean-Yves Girard.

En 1969, il a écrit l'un des premiers livres sur la théorie axiomatique des ensembles, qui a été largement diffusé. Dans le domaine de l'informatique, il a conçu une machine de calcul abstraite, connue sous le nom de machine de Krivine, qui permet le calcul de certaines fonctions logiques.

En 2007, avec Yves Legrandgérard, il a publié l'article Valid Formulas, Games and Network Protocols, dans lequel le jeu UVA a été introduit, dont Luì (ainsi nommé en l'honneur de Krivine) est une évolution. L'idée d'utiliser le jeu UVA dans un contexte didactique est d'Emmanuel Beffara, qui a étudié sous la supervision de Vincent Danos, lequel, à son tour, a été supervisé par Girard.

Parmi ses étudiants, certaines phrases qu'il a dites en classe sont devenues populaires, comme “Vous pouvez avoir une démonstration triviale qui fait 2 kilomètres de long”. Cela signifie qu'une démonstration très longue n'est pas nécessairement difficile à comprendre et à apprendre, tandis qu'à l'inverse, une démonstration courte peut capturer une idée brillante et non spontanée.