|
Wilhelm Ackermann (March 29, 1896, Herscheid municipality, Germany – December 24, 1962 Lüdenscheid, Germany ) was a German mathematician best known for the Ackermann function, an important example in the theory of computation. March 29 is the 88th day of the year in the Gregorian Calendar (89th in Leap years). ...
1896 (MDCCCXCVI) was a leap year starting on Wednesday (see link for calendar). ...
Herscheid is a municipality in the southern Märkischer Kreis, North Rhine-Westphalia, Germany. ...
December 24 is the 358th day of the year in the Gregorian Calendar (359th in leap years). ...
1962 (MCMLXII) was a common year starting on Monday (the link is to a full 1962 calendar). ...
Map of Germany showing Lüdenscheid Lüdenscheid is a town in North Rhine-Westphalia, Germany. ...
Leonhard Euler is considered by many people to be one of the greatest mathematicians of all time A mathematician is a person whose primary area of study and research is mathematics. ...
In the theory of computation, the Ackermann function or Ackermann-Peter function is a simple example of a recursive function that is not primitively recursive. ...
The theory of computation is the branch of computer science that deals with whether and how efficiently problems can be solved on a computer. ...
Ackermann was awarded the Ph.D. by the University of Goettingen in 1925 for his thesis Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit, which was a consistency proof of arithmetic apparently without full Peano induction (although it did use e.g. induction over the length of proofs). From 1929 until 1948, he taught at the Arnoldinum Gymnasium in Burgsteinfurt, and then at Lüdenscheid until 1961. He was also a corresponding member of the Akademie der Wissenschaften (Academy of Sciences) in Göttingen, and was an honorary professor at the Universität Münster (Westphalia). The Georg-August University of Göttingen (Georg-August-Universität Göttingen, often called the Georgia Augusta) was founded in 1734 by George II, King of Great Britain and Elector of Hanover, and opened in 1737. ...
1929 (MCMXXIX) was a common year starting on Tuesday (link will take you to calendar). ...
1948 (MCMXLVIII) was a leap year starting on Thursday (the link is to a full 1948 calendar). ...
Steinfurt is a town in North Rhine-Westphalia, Germany. ...
Map of Germany showing Lüdenscheid Lüdenscheid is a town in North Rhine-Westphalia, Germany. ...
The University of Münster (German Westfälische Wilhelms-Universität Münster, WWU) is a public university located in the city of Münster in Germany. ...
Westphalia (German: Westfalen) is a region in Germany, centred on the cities of Dortmund, Gelsenkirchen, Münster, Bielefeld, and Osnabrück and included in the states of North Rhine-Westphalia and Lower Saxony. ...
In 1928, Ackermann helped David Hilbert turn his 1917-22 lectures on introductory mathematical logic into a text, Principles of Theoretical Logic. This text contained the first exposition ever of first-order logic, and posed the problem of its completeness and decidability (Entscheidungsproblem). Ackermann went on to construct consistency proofs for set theory (1937), full arithmetic (1940), type-free logic (1952), and a new axiomatization of set theory (1956). David Hilbert David Hilbert (January 23, 1862, Wehlau, East Prussia–February 14, 1943, Göttingen, Germany) was a German mathematician, recognized as one of the most influential mathematicians of the 19th and early 20th centuries. ...
Mathematical logic is a discipline within mathematics, studying formal systems in relation to the way they encode intuitive concepts of proof and computation as part of the foundations of mathematics. ...
Principles of Theoretical Logic is the title of the 1950 American translation of the 1938 second edition of David Hilberts and Wilhelm Ackermanns classic text Grundzüge der theoretischen Logik, on elementary mathematical logic. ...
It has been suggested that Predicate calculus be merged into this article or section. ...
In mathematics and related technical fields, a mathematical object is complete if nothing needs to be added to it. ...
The word decidable has formal meaning in computability theory, the theory of formal languages, and mathematical logic. ...
The Entscheidungsproblem (English: decision problem) is the challenge in symbolic logic to find a general algorithm which decides for given first-order statements whether they are universally valid or not. ...
In mathematical logic, a formal system is said to be consistent if it doesnt contain a contradiction, or, more precisely, for no proposition are both and provable. ...
Set theory is the mathematical theory of sets, which represent collections of abstract objects. ...
In mathematics, the Peano axioms (or Peano postulates) are a set of first-order axioms proposed by Giuseppe Peano which determine the theory of Peano arithmetic (also known as first-order arithmetic). ...
Set theory is a branch of mathematics created principally by the German mathematician Georg Cantor at the end of the 19th century. ...
Bibliography
In mathematics, the real numbers are intuitively defined as numbers that are in one-to-one correspondence with the points on an infinite line—the number line. ...
Jean van Heijenoort (prounounced highenort) (July 23, 1912, Creil France - March 29, 1986, Mexico City) was a pioneer historian of mathematical logic. ...
David Hilbert David Hilbert (January 23, 1862, Wehlau, East Prussia–February 14, 1943, Göttingen, Germany) was a German mathematician, recognized as one of the most influential mathematicians of the 19th and early 20th centuries. ...
Principles of Theoretical Logic is the title of the 1950 American translation of the 1938 second edition of David Hilberts and Wilhelm Ackermanns classic text Grundzüge der theoretischen Logik, on elementary mathematical logic. ...
In computability theory and computational complexity theory, a decision problem is a question in some formal system with a yes-or-no answer. ...
External links |
Feeds |
Contact