Idiomathique du jour
Les mathématiciens, même les plus brillants, se doivent d'avoir le teint math.
Ernst Schröder
Le mathématicien allemand Ernst Schröder est mort le 16 juin 1902.
Il a donné une démonstration du théorème de Cantor-Bernstein-Schröder : s'il existe une injection f d'un ensemble E vers un ensemble F, et une injection g de l'ensemble F vers l'ensemble E, alors il existe une bijection h de E sur F.
Cependant son travail a surtout porté sur la logique et l'algèbre de Boole. Son livre "Vorlesungen über die Algebra der Logik" eut une influence considérable sur l'émergence de la logique mathématique au XXe siècle. Schröder qualifiait ainsi son objectif :
"[...] faire de la logique un calcul pour permettre de manier les concepts en jeu avec précision, et ensuite, grâce à l'émancipation des chaînes routinières de la langue naturelle, débarrasser également de ses « clichés » tous les domaines fertiles de la philosophie. Ceci doit préparer la voie à une langue scientifique universelle qui se distinguerait du tout au tout d'une langue universelle à la Volapük, mais ressemblerait plutôt à un langage de signes qu'à un langage de sons."