Mathématiciens

Ligne de temps Photos Argent Timbres Croquis Recherche

Friedrich Wilhelm Karl Ernst Schröder

Date de naissance:

Endroit de naissance:

Date de la mort:

Endroit de la mort:

25 Nov 1841

Mannheim, Germany

16 June 1902

Karlsruhe, Germany

Présentation
ATTENTION - traduction automatique de la version anglaise

Ernst Schröder l 'important travail est dans le domaine de l'algèbre, théorie des ensembles et la logique. Il a étudié au titre de Hesse et de Kirchhoff puis sous Franz Neumann. Son travail sur les séries et classés nombre ordinal est fondamental à ce sujet.

En 1877 dans Der Operationskreis des Logikkalkuls Schröder, influencé par Boole et Grassmann, a souligné la dualité de liaison (intersection) et disjonction (union) qui montrent comment deux théorèmes pourrait être trouvée. Il semble être le premier à utiliser le terme logique mathématique et il compare l'algèbre de Boole et logique en disant:

Il est certainement un contraste de l'objet des deux opérations. Ils sont totalement différents. En arithmétique, les lettres sont des nombres, mais ici, elles sont arbitraires concepts.

En Vorlesungen über die Algebra der Logik, un grand travail publiés entre 1890 et 1905 (il a été complété par E. Müller après sa mort), Schröder a donné un compte rendu détaillé de logique algébrique, pour autant une source de Tarski à développer le moderne et la théorie algébrique a donné une vaste bibliographie de l'histoire de la logique. Lattice a également augmenté la théorie de ce travail.

En plus de son travail sur la logique, il a écrit un article important iterierte Über Functionen (1871) souvent citée comme une base moderne de la théorie des systèmes dynamiques.

Source:School of Mathematics and Statistics University of St Andrews, Scotland