Page du dimanche 16 juin 2024

Idiomathique du jour

Les cours de mathématiques ont lieu dans des casemaths qui essaient de nous protéger des attaques du réel.

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."