Matematici

Časová osa Fotografie Peníze Razítka Sketch Hledat

Wilhelm Ackermann

Datum narození:

Místo narození:

Datum úmrtí:

Místo úmrtí:

29 March 1896

Schönebeck (Kr. Altena), Germany

24 Dec 1962

Lüdenscheid, Germany

Prezentace
POZOR - Automatický překlad z anglické verze

Wilhelm Ackermann byl matematický logik kteří pracovali s Hilbert v Göttingen.

Ackermann přijali jeho doktorský titul v roce 1925 se práce Begründung des "tertium non datur" mittels der Hilbertschen theorie der Widerspruchsfreiheit napsané pod Hilbert a byl důkaz konzistence aritmetický bez indukce. Měla být konzistence důkaz pro základní analýzu, přestože tento důkaz obsahovaly závažné chyby.

Ackermann byl také hlavním přispěvatelem k rozvoji logického systému, označované jako epsilon kalkulu, původně kvůli Hilbert. Tento formalismus byly základem Bourbaki 'je logika a teorie množin.

Od 1929 do roku 1948 vyučoval jako učitel na Arnoldinum Gymnázium v Burgsteinfurt a v Luedenscheid. Byl odpovídající členství v Akademii věd v Göttingenu a byl čestným profesorem na univerzitě v Münsteru.

V roce 1928, Ackermann podotknout, že A (x, y, z), z-fold zopakovali, umocňování na x let, je příkladem pro rekurzivní funkce, která není primitivně rekurzivní. A (x, y, z) byl zjednodušen tak, aby funkce P (x, y) na 2 proměnné tím, ROZSA Peter jehož počáteční podmínkou byla zjednodušena Raphael Robinson. Jedná se o poslední, která se vyskytuje jako Ackermann jeho funkci v dnešní učebnice. Také v roce 1928 k často přetištěný knize Grundzüge der Theoretischen Logik o Hilbert a Ackermann zdálo.

Mezi Ackermann jeho pozdější práce jsou důkazy o soulad teorie (1937), plné aritmetika (1940) a typ zdarma logiky (1952). Dále došlo k nové axiomatization z teorie množin (1956), a knihu vyřešit případy, kdy rozhodnutí problému (North Holland, 1954).

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