La page du mercredi 25 novembre 2009

Idiomathique du jour

Un disque dur ne gère des données numériques qu'après formathage.

Ernst Schröder

Le mathématicien allemand Ernst Schröder est né le 25 novembre 1841.
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."