Ernst Schroder

Ernst Schroder

Ernst Schröder

Page d'aide sur l'homonymie Pour les articles homonymes, voir Schröder.
Ernst Schröder

Ernst Schröder (25 novembre 1841 à Mannheim16 juin 1902 Karlsruhe) était un mathématicien allemand. Son travail porte sur la logique et l'algèbre de Boole. C'est un personnage majeur de l'histoire de la logique mathématique, car il fait une synthèse des œuvres de George Boole, Augustus De Morgan, Hugh MacColl, et particulièrement Charles Sanders Peirce, et poursuivi leurs travaux. Il est connu en particulier pour son œuvre monumentale les Vorlesungen über die Algebra der Logik (leçons sur l'algèbre de la logique), en trois volumes, qui a aidé au développement de la logique mathématique en tant que discipline autonome au cours du XXe siècle, ce en systématisant les divers systèmes de logique formelle de son époque.

Sommaire

Biographie

Schröder apprit les mathématiques à Heidelberg, Königsberg, et Zurich, auprès de Hesse, Kirchhoff, et Franz Ernst Neumann. Il enseigna quelques années dans une école, puis au Technische Hochschule Darmstadt en 1874. Deux ans plus tard, il obtint une chaire de mathématiques au Polytechnische Schule de Karlsruhe, où il passa le reste de sa vie. Il ne fut jamais marié.

Œuvres

Les premiers travaux de Schröder portant sur l'algèbre et la logique ont été menés sans que leur auteur connaisse les logiciens anglais George Boole et Auguste De Morgan. Il s'appuyait sur les travaux d'Ohm, Hankel, Hermann Grassmann, et Robert Grassmann, issus de l'école traditionnelle allemande en algèbre combinatoire et analyse algébrique (Peckhaus 1997: 233-296). En 1873, Schröder découvrit les travaux de Boole et de De Morgan sur la logique. Il y intégrera des idées importantes dues à Charles Sanders Peirce notamment les notions de subsomption (l'équivalent de l'inclusion pour les prédicats) et de quantification.

Schröder a également apporté des contributions originales à l'algèbre, à la théorie des ensembles et à la théorie des ensembles ordonnés comme les treillis ou les nombres ordinaux. Avec Georg Cantor, il découvrit le théorème de Cantor–Bernstein–Schröder, bien que sa démonstration de 1898 fût imparfaite. Felix Bernstein (1878-1956) la corrigea dans sa thèse.

Page de titre de la première édition du livre Über die formalen Elemente der absoluten Algebra.

Dans son ouvrage Der Operationskreis des Logikkalküls (les opérations du calcul logique) paru en 1877, Schröder expose de façon concise les idées de Boole sur l'algèbre et la logique. Ce livre a aidé à introduire l'œuvre de Boole en Europe continentale. L'influence des Grassmann, en particulier du peu connu Formenlehre de Robert, est claire. John Venn et Christine Ladd-Franklin citent ce court livre de Schröder, et Charles Peirce l'utilisait comme référence pour son enseignement à l'Université Johns-Hopkins.

Chef d’œuvre de Schröder, les Vorlesungen über die Algebra der Logik, fut publiée en trois volumes entre 1890 et 1905, à compte d’auteur. Le volume 3 compte deux parties, la deuxième publiée à titre posthume, et éditée par Eugen Müller. Les Vorlesungen constituaient une somme complète sur l'état de la logique « algébrique » (nous dirions aujourd'hui « symbolique ») à la fin du XIXe siècle. L'ouvrage eut une influence considérable sur l'émergence de la logique mathématique au XXe siècle.[1]

Schröder qualifiait ainsi son objectif [2]:

« [...] 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. »

Schröder, en popularisant les travaux de Peirce sur la quantification, eut sur les premiers développements du calcul des prédicats une influence au moins aussi grande que celles de Frege et de Peano[3]. La notion de relation des Principia Mathematica (1908) doit beaucoup aux Vorselungen. L'ouvrage y est d'ailleurs cité dans la préface, ainsi que dans celle de l'ouvrage liminaire de Bertrand Russell, les Principles of mathematics (1903).

Frege (1960), néanmoins, a rejeté l'œuvre de Schröder, et l'admiration pour le rôle pionnier de Frege a dominé le débat historique. Toutefois, comparant Frege avec Schröder et Charles Sanders Peirce, Hilary Putnam écrit en 1982 :

« Quand j'ai commencé à étudier l'histoire de la logique [...], la première chose que j'ai faite a été de regarder la Vorlesungen über die Algebra der Logik de Schröder , [dont] le troisième volume porte sur la logique des relations (Algebra und Logik der Relative, 1895). Les trois volumes devinrent immédiatement le texte avancé de logique le plus connu, et comprend ce que tout mathématicien intéressé par l'étude de la logique devait savoir, ou du moins être informé, dans les années 1890. »
« Tandis que, à ma connaissance, personne, à l'exception de Frege, n'a publié un article dans la notation de Frege, de nombreux logiciens célèbres adoptèrent la notation de Peirce-Schröder, et de célèbres résultats et systèmes furent publiés dans celle-ci. Löwenheim a énoncé et prouvé le théorème de Löwenheim (reprouvé et amélioré ensuite par Thoralf Skolem, qui laissa son nom, associé à celui de Löwenheim, au théorème) dans la notation de Peirce. En réalité, il n'y a pas une référence dans l'article de Löwenheim à d'autre logique que celle de Peirce. Pour citer un autre exemple, Zermelo a présenté ses axiomes pour la théorie des ensembles dans la notation de Peirce-Schröder, et pas, comme on aurait pu s'y attendre, dans celle de Russell-Whitehead. »
« Ces simples faits (que quiconque peut facilement vérifier) peuvent être résumés comme suit : Frege a certainement découvert les quantificateurs le premier (quatre années avant O. H. Mitchell, d'après la date de la publication, qui sont tout ce dont on dispose à ma connaissance). Mais Leif Ericson a découvert probablement l'Amérique "le premier" (excusez-moi de ne pas compter les indigènes d'Amérique, qui bien sûr l'ont découverte vraiment "les premiers"). Si le découvreur effectif, du point de vue européen, est Christophe Colomb, c'est parce qu'il l'a découverte et qu'elle l'est restée (par les Européens, j'entends), de sorte qu'elle a été connue (des Européens). Frege a effectivement "découvert" les quantificateurs dans le sens qu'il est fondé à réclamer la priorité ; mais Peirce et ses étudiants l'ont découvert dans le sens effectif. Le fait est que jusqu’à ce que Russell ait reconnu ce qu'il avait fait, Frege était relativement obscur, et c'était Peirce qui semble avoir été connu de la communauté des logiciens du monde entiers. Combien parmi ceux qui pensent que "Frege a inventé logique", sont au courant de ces faits ? »

Bibliographie

  • Primaires
    • Schröder, E., 1877. Der Operationskreis des Logikkalküls. Leipzig: B.G. Teubner.
    • Schröder, E., 1890-1905. Vorlesungen über die Algebra der Logik, 3 vols. Leipzig: B.G. Teubner. Reprints: 1966, Chelsea; 2000, Thoemmes Press.
    • Schröder, E., 1898. "Über zwei Definitionen der Endlichkeit und G. Cantor'sche Sätze ", Abh. Kaiserl. Leop.-Car. Akad. Naturf 71: 301-362.
  • Primaires et Secondaires
    • Brady, Geraldine, 2000. From Peirce to Skolem: A Neglected Chapter in the History of Logic. North Holland. Includes an English translation of parts of the Vorlesungen.
  • Secondaires
    • Anellis, I. H., 1990-91, "Schröder Materials at the Russell Archives," Modern Logic 1: 237-247.
    • Dipert, R. R., 1990/91. "The life and work of Ernst Schröder," Modern Logic 1: 117-139.
    • Frege, G., 1960, "A critical elucidation of some points in E. Schröder's Vorlesungen über die Algebra der Logik", translated by Geach, in Geach & Black, Translations from the philosophical writings of Gottlob Frege. Blackwell: 86-106. Original: 1895, Archiv fur systematische Philosophie 1: 433-456.
    • Ivor Grattan-Guinness, 2000. The Search for Mathematical Roots 1870-1940. Princeton University Press.
    • Clarence Irving Lewis, 1960 (1918). A Survey of Symbolic Logic. Dover.
    • Peckhaus, V., 1997. Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert. Akademie-Verlag.
    • Peckhaus, V., 1999, "19th Century Logic between Philosophy and Mathematics," Bulletin of Symbolic Logic 5: 433-450. Reprinted in Glen van Brummelen and Michael Kinyon, eds., 2005. Mathematics and the Historian's Craft. The Kenneth O. May Lectures. Springer: 203-220. Online here or here.
    • Peckhaus, V., 2004. "Schröder's Logic" in Gabbay, Dov M., and John Woods, eds., Handbook of the History of Logic. Vol. 3: The Rise of Modern Logic: From Leibniz to Frege. North Holland: 557-609.
    • Hilary Putnam, 1982, "Peirce the Logician," Historia Mathematica 9: 290-301. Reprinted in his 1990 Realism with a Human Face. Harvard University Press: 252-260. Online fragment.
    • Thiel, C., 1981. "A portrait, or, how to tell Frege from Schröder," History and Philosophy of Logic 2: 21-23.

Notes et références

  • (en) Cet article est partiellement ou en totalité issu d’une traduction de l’article de Wikipédia en anglais intitulé « Ernst Schröder ».
  1. On trouve des traductions de fragments des "Vorlesungen", ainsi qu'une discussion de l'ensemble de l'ouvrage dans Brady (2000), voir également Grattan-Guinness (2000: 159-76)).
  2. die Logik zu einer rechnerischen Disziplin zu gestalten, insbesondere die relativen Begriffe einer exakten Behandlung zug änglich zu machen und durch Emanzipation von den Gewohnheitsfesseln der Wortsprache fortan auch auf dem Gebiete der Philosophie der ”Phrase“ jeden Nährboden zu entziehen. Es soll damit eine wissenschaftliche Universalsprache angebahnt werden, die von den linguistischen Bestrebungen à la Volapük himmelweit verschieden, sich mehr als Zeichen- wie als Lautsprache darstellt. cité d'après Volcker Peckhaus, [1] p 18 et [2] p 7.
  3. voir Clarence Irving Lewis (1918) pour l'influence de Schröder sur les logiciens de langue anglaise.
  • Portail des mathématiques Portail des mathématiques
  • Portail de la logique Portail de la logique
  • Portail de l’Allemagne Portail de l’Allemagne
Ce document provient de « Ernst Schr%C3%B6der ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Ernst Schroder de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Ernst Schröder — Saltar a navegación, búsqueda Ernst Schröder Ernst Schröder ( Mannheim, 25 de noviembre de 1841 – Karlsruhe, 16 de junio de 1902) fue un matemático alemán, conocido especialmente por …   Wikipedia Español

  • Ernst Schröder — ist der Name folgender Personen: Ernst Schröder (Mathematiker) (1841–1902), deutscher Mathematiker Ernst Schröder (Politiker) (1893–1976), deutscher Politiker Ernst Schröder (Schauspieler) (1915–1994), deutscher Schauspieler Ernst Schroeder… …   Deutsch Wikipedia

  • Ernst Schröder — Pour les articles homonymes, voir Schröder. Ernst Schröder Ernst Schröder (25 novembre 1841 à Mannheim – 16 juin 1902 à Karlsruhe) est un mathématicie …   Wikipédia en Français

  • Ernst Schröder — For the actor, see Ernst Schröder (actor). Ernst Schröder (25 November, 1841 Mannheim, Germany – 16 June, 1902 Karlsruhe Germany) was a German mathematician mainly known for his work on algebraic logic. He is a major figure in the history of… …   Wikipedia

  • Ernst Schröder (Schauspieler) — Ernst Schröder (* 27. Januar 1915 in Eickel oder Wanne; † 26. Juli 1994 in Berlin) war ein deutscher Schauspieler und Regisseur. Inhaltsverzeichnis 1 Leben 2 Theater 3 …   Deutsch Wikipedia

  • Ernst Schröder (acteur) — Ernst Schröder (27 janvier 1915 à Eickel; 26 juillet 1994 à Berlin) était un acteur allemand. Sommaire 1 Biographie 2 Théâtre 3 Filmographie 4 Télévision …   Wikipédia en Français

  • Ernst Schröder (Mathematiker) — Ernst Schröder Ernst Schröder (* 25. November 1841 in Mannheim; † 16. Juni 1902 in Karlsruhe; vollständiger Name Ernst Friedrich Wilhelm Karl Schröder) war ein deutscher Mathematiker und Logiker …   Deutsch Wikipedia

  • Ernst Schröder (Politiker) — Ernst Schröder (* 11. Februar 1893 in Krefeld; † 20. Februar 1976 in Wiesbaden) war ein deutscher Gartenarchitekt und Politiker (DVP, später FDP). Inhaltsverzeichnis 1 Leben und Beruf 2 Politik …   Deutsch Wikipedia

  • Ernst Schröder (actor) — Infobox actor bgcolour = name = Ernst Schröder imagesize = caption = birthname = birthdate = birth date|1915|1|27|df=y location = Herne, Germany deathdate = death date and age|1994|7|26|1915|1|27|df=y deathplace = Berlin, Germany othername =… …   Wikipedia

  • Rolf Ernst Schröder — (* 23. Dezember 1940 in Flensburg; † 31. August 2005 in Sörup bei Flensburg; Signatur: R.E.S.), Bildender Künstler (Bundesverband bildender Künstler BBK), Designer Keramiker (Arbeitsgemeinschaft des Kunsthandwerks Hamburg AdK). Leben Von 1960 bis …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”