Wilhelm Ackermann

Wilhelm Ackermann około 1935 roku. Biografia

Narodziny	29 marca 1896 Herscheid ( Cesarstwo Niemieckie )
Śmierć	24 grudnia 1962 Lüdenscheid
Imię w języku ojczystym	Wilhelm Friedrich Ackermann
Imię urodzenia	Wilhelm Friedrich Ackermann
Narodowość	Niemiecki
Trening	Uniwersytet w Getyndze (1914-1925)
Czynność	wykształcenie średnie z logiki matematycznej

Inne informacje

Pracował dla	Gymnasium Arnoldinum (Steinfurt) (de) Geschwister-Scholl-Gymnasium (Lüdenscheid) (de)
Pole	Matematyka
Religia	Luteranizm
Członkiem	Akademia Nauk w Getyndze (1953)
Konflikt	Pierwsza wojna światowa
Mistrz	David Hilbert
Kierownik	David Hilbert

Podstawowe prace

Predykat BIT ( d ) , liczba porządkowa Ackermanna ( d ) , teoria mnogości Ackermanna ( d ) , funkcja Ackermanna

Wilhelm Ackermann ( 1896 - 1962 ) to niemiecki matematyk , znany z funkcji Ackermanna, która jest ważnym przykładem teorii obliczalności .

Biografia

Jego praca (1924) zawiera szczegółowy dowód zgodności z prymitywnego rekurencyjnego arytmetyki (PL) . Był nauczycielem w szkole w Burgsteinfurt od 1929 do 1948, następnie w Lüdenscheid aż do przejścia na emeryturę w 1961. Był członkiem korespondentem Akademii Nauk w Getyndze i profesorem honorowym Uniwersytetu w Münster .

Napisał Grundzüge der Theoretischen Logik ( Principles of Theoretical Logic ) z Davidem Hilbertem , o problemie decyzyjnym i skonstruował dowody spójności dla teorii mnogości (1937), arytmetyki Peano (1940), non logic. Typed (1952), a także nowego aksjomatyzacja (en) teorii mnogości (1956). Jest także autorem książki Solvable Cases of the Decision Problem (North Holland, 1954).

(fr) Ten artykuł jest częściowo lub w całości zaczerpnięty z artykułu Wikipedii w języku angielskim zatytułowanego „ Wilhelm Ackermann ” ( zobacz listę autorów ) .

(w) „ Wilhelm Friedrich Ackermann ” na stronie Mathematics Genealogy Project .
(en) Richard Zach (en) , „ The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program ” , Synthesis (en) , vol. 137, n os 1-22003, s. 211-259 ( arXiv matematyka / 0102189 ).