Magazine Science

Ernst Schröder

Publié le 25 novembre 2008 par Bruno K.

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

Vous pourriez être intéressé par :

Retour à La Une de Logo Paperblog

Ces articles peuvent vous intéresser :

A propos de l’auteur


Bruno K. 145 partages Voir son profil
Voir son blog

l'auteur n'a pas encore renseigné son compte l'auteur n'a pas encore renseigné son compte l'auteur n'a pas encore renseigné son compte