Wilhelm Ackermann


Wilhelm Ackermann
Page d'aide sur l'homonymie Pour les articles homonymes, voir Ackermann.
Wilhem Ackermann vers 1935

Wilhelm Ackermann (29 mars 1896 à Herscheid - 24 décembre 1962 à Lüdenscheid) fut un mathématicien allemand, célèbre pour la fonction d'Ackermann qui est un exemple important de la théorie de la programmation.

Biographie

Sa thèse, intitulée Begründung des « tertium non datur » mittels der Hilbertschen Theorie der Widerspruchsfreiheit, donne une preuve détaillée de la cohérence de l'arithmétique sans principe d'induction. De 1929 à 1948, il enseigna à l'école supérieure Arnoldinum à Burgsteinfurt, puis à Lüdenscheid jusqu’en 1961. Il fut membre correspondant de l'Académie des sciences (Akademie der Wissenschaften) à Göttingen, et professeur honoraire à l'Universität Münster (Westphalie).

Il écrivit Grundzüge der Theoretischen Logik (Principes de logique théorique) avec David Hilbert, à propos du problème de la décision et construisit des preuves de consistance pour la théorie des ensembles (1937), l'arithmétique complète (1940), la logique de type libre (1952), ainsi qu'une nouvelle axiomisation de la théorie des ensembles (1956). Il est aussi l'auteur du livre Cas résolvable dans le problème de la décision (North Holland, 1954).



Wikimedia Foundation. 2010.

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

Regardez d'autres dictionnaires:

  • Wilhelm Ackermann — (29 de marzo 1896 24 de diciembre 1962) fue un matemático alemán. Es conocido, sobre todo, por la función de Ackermann nombrada en su honor, un ejemplo importante en la teoría de la computación. Ackermann nació el 29 de ma …   Wikipedia Español

  • Wilhelm Ackermann — ist der Name folgender Personen: Wilhelm Ackermann (Mathematiker) (1896–1962), deutscher Mathematiker Wilhelm Ackermann (Journalist) (1887–1962), deutscher Journalist Wilhelm Heinrich Ackermann (1789–1848), deutscher Pädagoge Wilhelm Paul… …   Deutsch Wikipedia

  • Wilhelm Ackermann — (29 de marzo 1896 24 de diciembre 1962) fue un matemático alemán. Es conocido, sobre todo, por la función de Ackermann nombrada en su honor, un ejemplo importante en la teoría de la computación. Ackermann nació el 29 de marzo de 1896 en… …   Enciclopedia Universal

  • Wilhelm Ackermann — Wilhelm Friedrich Ackermann (March 29, 1896, Herscheid municipality, Germany ndash; December 24, 1962 Lüdenscheid, Germany ) was a German mathematician best known for the Ackermann function, an important example in the theory of… …   Wikipedia

  • Wilhelm Ackermann (Mathematiker) — Wilhelm Ackermann Wilhelm Friedrich Ackermann (* 29. März 1896 in Schönebecke (Herscheid); † 24. Dezember 1962 in Lüdenscheid) war ein deutscher Mathematiker. Inhaltsverzeichnis …   Deutsch Wikipedia

  • Wilhelm Ackermann (Journalist) — Wilhelm Ackermann (* 3. Mai 1887 in Köln) war ein deutscher Journalist. Leben Als Sohn des Obersekretärs der Eisenbahn Simon Ackermann und seiner Ehefrau Anna Schiffers nahm er in Berlin und Tübingen das Studium der Nationalökonomie auf. Seine… …   Deutsch Wikipedia

  • Ernst Wilhelm Ackermann — (* 14. Oktober 1821 in Königsberg (Preußen); † 14. Juni 1846 in Neapel) war ein deutscher Theologe und Dichter der Spätromantik. Inhaltsverzeichnis 1 Leben 2 Werke 3 Literatur …   Deutsch Wikipedia

  • Ernst Christian Wilhelm Ackermann — (* 14. Juni 1761 in Weimar; † 4. Oktober 1835 in Jena) war ein Weimarer Staatsbeamter, Schriftsteller und Jugendfreund des Dramatikers August von Kotzebue. Ackermann wuchs in Weimar auf und lernte hier den späteren Dramatiker August von Kotzebue… …   Deutsch Wikipedia

  • Ernst Christian Wilhelm Ackermann — (14 June 1761, Weimar ndash; 4 October 1835, Jena) was a German public servant and a childhood friend of August von Kotzebue. He studied in Leipzig and Jena between 1779 and 1782. In the following years, he worked as judiciary auditor under his… …   Wikipedia

  • Ackermann — ist ein deutscher Familienname. Herkunft und Bedeutung Der Name ist eine veraltete deutsche Bezeichnung für einen Hufner. Bekannte Namensträger Inhaltsverzeichnis A B C D E F G H I J K L M N O P …   Deutsch Wikipedia


Share the article and excerpts

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

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.