Wilhelm ackermann

Wilhelm ackermann Bilde i infoboks. Wilhelm Ackermann rundt 1935. Biografi
Fødsel 29. mars 1896
Herscheid ( tysk imperium )
Død 24. desember 1962
Lüdenscheid
Navn på morsmål Wilhelm Friedrich Ackermann
Fødselsnavn Wilhelm Friedrich Ackermann
Nasjonalitet tysk
Opplæring Universitetet i Göttingen (1914-1925)
Aktivitet matematisk logikk
videregående opplæring
Annen informasjon
Jobbet for Gymnasium Arnoldinum (Steinfurt)  (de)
Geschwister-Scholl-Gymnasium (Lüdenscheid)  (de)
Felt Matematikk
Religion Lutheranism
Medlem av Göttingen vitenskapsakademi (1953)
Konflikt Første verdenskrig
Herre David Hilbert
Veileder David Hilbert
Primærverk
BIT-predikat ( d ) , Ackermann ordinal ( d ) , Ackermann mengde teori ( d ) , Ackermann-funksjon

Wilhelm Ackermann ( 1896 - 1962 ) er en tysk matematiker , kjent for Ackermann-funksjonen, som er et viktig eksempel på teorien om beregbarhet .

Biografi

Hans avhandling (1924) gir et detaljert bevis på konsistensen av primitiv rekursiv aritmetikk  (en) . Han var lærer på skolen , i Burgsteinfurt fra 1929 til 1948, deretter i Lüdenscheid til han ble pensjonist i 1961. Han var et tilsvarende medlem av vitenskapsakademiet i Göttingen og æresprofessor ved Universitetet i Münster .

Han skrev Grundzüge der Theoretischen Logik ( Principles of Theoretical Logic ) med David Hilbert , om beslutningsproblemet og konstruerte konsistensbevis for mengde teori (1937), Peano-aritmetikk (1940), ikke-logikk. Typet (1952), samt en ny aksiomatisering  (en) av mengdeori (1956). Han er også forfatter av boka Solvable Cases of the Decision Problem (Nord-Holland, 1954).

Referanser

(fr) Denne artikkelen er helt eller delvis hentet fra Wikipedia-artikkelen på engelsk med tittelen "  Wilhelm Ackermann  " ( se listen over forfattere ) .
  1. (in) "  Wilhelm Friedrich Ackermann  " på nettstedet til Mathematics Genealogy Project .
  2. (en) Richard Zach  (en) , “  The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program  ” , Synthesis  (en) , vol.  137, n os  1-2,2003, s.  211-259 ( arXiv  matematikk / 0102189 ).

Eksterne linker