Matemaatikud

Ajakava Fotod Raha Margid Sketch Otsima

Wilhelm Ackermann

Sünniaeg:

Sünnikoht:

Surmaaeg:

Koht surma:

29 March 1896

Schönebeck (Kr. Altena), Germany

24 Dec 1962

Lüdenscheid, Germany

Ettekanne
TÄHELEPANU - automaatne tõlge inglise versiooni

Wilhelm Ackermann oli matemaatilise loogik, kes töötas Hilbert Göttingenis.

Ackermann sai doktorikraadi aastal 1925 koos väitekirja Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit alusel tehtud Hilbert ja oli tõend järjepidevuse aritmeetilise ilma induktsioon. See pidi olema järjepidevuse tõendid elementaarne analüüs kuigi tõendid sisaldasid olulisi vigu.

Ackermann oli ka peamine toetaja arengu loogiline süsteem tuntud epsilon kivi, mis oli algselt tingitud Hilbert. See formaalsus moodustasid aluse Bourbaki 's loogika ja Hulgateooria.

Aastast 1929 kuni 1948 õpetas ta on õpetaja Arnoldinum Gümnaasiumi Burgsteinfurt ja Luedenscheid. Ta oli vastav liige Akademie der Wissenschaften in Göttingen, ja oli emeriitprofessor Universität Münster.

1928, Ackermann märkida, et (x, y, z), z-kordne itereerida astendamine x on y, on näiteks rekursiivne funktsioon, mis ei ole primitiivne rekursiivne. (X, y, z) oli lihtsustada funktsioon P (x, y) 2 muutujad Rózsa Peter kelle algne tingimus oli lihtsustada Raphael Robinson. See on viimane, mis esineb Ackermann funktsiooni tänapäeva õpikud. Ka aastal 1928 tihti kordustrükk raamat Grundzüge der Theoretischen Loogik poolt Hilbert ja Ackermann ilmunud.

Hulgas Ackermann's hilisem töö on järjepidevuse tõestus on esitatud teooria (1937), täielik aritmeetika (1940) ja liigi vaba loogika (1952). Edasine oli uus axiomatization ja Hulgateooria (1956) ja raamat lahenevad juhtudel otsuse probleem (Põhja-Holland, 1954).

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