Математиците

Час линия Снимки Пари Марки Скица Търся

Wilhelm Ackermann

Дата на раждане:

Родно място:

Дата на смъртта:

Място на смърт:

29 March 1896

Schönebeck (Kr. Altena), Germany

24 Dec 1962

Lüdenscheid, Germany

Представяне
ВНИМАНИЕ - Автоматичен превод от английски език

Вилхелм Ackermann е математически logician които работи с Хилберт в Гьотинген.

Ackermann получил докторска степен през 1925 година с дисертация на Begründung "tertium без datur" mittels дер Hilbertschen Theorie дер Widerspruchsfreiheit написани Хилберт и е доказателство за последователността на аритметиката, без индукция. Той е предназначен да бъде доказателство за последователността елементарен анализ, макар че това доказателство се съдържат съществени грешки.

Ackermann също бе основният принос за развитието на логическа система, известна като епсилон смятане, първоначално дължи на Хилберт. Това formalism формирани на базата на Bourbaki "и логика и теория на множествата.

От 1929 до 1948 той преподава като учител в гимназия Arnoldinum в Burgsteinfurt и в Luedenscheid. Той бе съответния член на Akademie дер Wissenschaften в Гьотинген, и е почетен професор в университет Мюнстер.

През 1928 г., Ackermann отбеляза, че А (х, ш, щ), в щ-кратно iterated exponentiation на х с ш, е пример за recursive функция, която не е примитивен recursive. А (х, ш, щ) да е опростена функция P (х, ш) на 2 променливи от Rozsa Петър, чиято първоначална условие е опростена с Raphael Робинсън. Това е последното, което се случва, както Ackermann неговата функция в днешните учебници. Също така през 1928 г. често reprinted книгата Grundzüge дер Theoretischen Логика от Хилберт и Ackermann появиха.

Сред Ackermann по-късно на работа са последователност доказателства за теория на множествата (1937), пълна аритметична (1940) и тип свободна логика (1952). Освен това имаше нови axiomatization на теория на множествата (1956), както и книга Solvable случаи на решение на проблема (Северна Холандия, 1954).

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