Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Wilhelm_Ackermann> ?p ?o }
- Wilhelm_Ackermann abstract "Wilhelm Friedrich Ackermann (29 March 1896 – 24 December 1962) was a German mathematician best known for the Ackermann function, an important example in the theory of computation.Ackermann was born in Herscheid municipality, Germany, and was awarded a Ph.D. by the University of Göttingen 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 University of Münster.In 1928, Ackermann helped David Hilbert turn his 1917 – 22 lectures on introductory mathematical logic into a text, Principles of Mathematical 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).Although Ackermann did not choose a university career and rather continued as a high school teacher, he was continually engaged in research and published many contributions to the foundations of mathematics until the end of his life. He died in Lüdenscheid, Germany.".
- Wilhelm_Ackermann almaMater University_of_Göttingen.
- Wilhelm_Ackermann birthDate "1896-03-29".
- Wilhelm_Ackermann birthPlace German_Empire.
- Wilhelm_Ackermann birthPlace Germany.
- Wilhelm_Ackermann birthPlace Herscheid.
- Wilhelm_Ackermann birthYear "1896".
- Wilhelm_Ackermann deathDate "1962-12-24".
- Wilhelm_Ackermann deathPlace Germany.
- Wilhelm_Ackermann deathPlace Lüdenscheid.
- Wilhelm_Ackermann deathPlace West_Germany.
- Wilhelm_Ackermann deathYear "1962".
- Wilhelm_Ackermann doctoralAdvisor David_Hilbert.
- Wilhelm_Ackermann field Mathematics.
- Wilhelm_Ackermann knownFor Ackermann_function.
- Wilhelm_Ackermann nationality Germany.
- Wilhelm_Ackermann thumbnail Ackermann_Wilhelm.jpg?width=300.
- Wilhelm_Ackermann wikiPageExternalLink 1093956238.
- Wilhelm_Ackermann wikiPageExternalLink Ac.html.
- Wilhelm_Ackermann wikiPageExternalLink ?q=ai:ackermann.wilhelm.
- Wilhelm_Ackermann wikiPageID "62727".
- Wilhelm_Ackermann wikiPageLength "4804".
- Wilhelm_Ackermann wikiPageOutDegree "63".
- Wilhelm_Ackermann wikiPageRevisionID "683439338".
- Wilhelm_Ackermann wikiPageWikiLink Ackermann_coding.
- Wilhelm_Ackermann wikiPageWikiLink Ackermann_function.
- Wilhelm_Ackermann wikiPageWikiLink Ackermann_ordinal.
- Wilhelm_Ackermann wikiPageWikiLink Ackermann_set_theory.
- Wilhelm_Ackermann wikiPageWikiLink Axiomatic_set_theory.
- Wilhelm_Ackermann wikiPageWikiLink BIT_predicate.
- Wilhelm_Ackermann wikiPageWikiLink Category:1896_births.
- Wilhelm_Ackermann wikiPageWikiLink Category:1962_deaths.
- Wilhelm_Ackermann wikiPageWikiLink Category:20th-century_German_mathematicians.
- Wilhelm_Ackermann wikiPageWikiLink Category:Computability_theorists.
- Wilhelm_Ackermann wikiPageWikiLink Category:German_Lutherans.
- Wilhelm_Ackermann wikiPageWikiLink Category:German_logicians.
- Wilhelm_Ackermann wikiPageWikiLink Category:German_male_writers.
- Wilhelm_Ackermann wikiPageWikiLink Category:People_from_Lüdenscheid.
- Wilhelm_Ackermann wikiPageWikiLink Category:People_from_the_Province_of_Westphalia.
- Wilhelm_Ackermann wikiPageWikiLink Category:University_of_Göttingen_alumni.
- Wilhelm_Ackermann wikiPageWikiLink Category:University_of_Münster_faculty.
- Wilhelm_Ackermann wikiPageWikiLink Consistency.
- Wilhelm_Ackermann wikiPageWikiLink Consistency_proof.
- Wilhelm_Ackermann wikiPageWikiLink David_Hilbert.
- Wilhelm_Ackermann wikiPageWikiLink Decidability_(logic).
- Wilhelm_Ackermann wikiPageWikiLink Decision_problem.
- Wilhelm_Ackermann wikiPageWikiLink Entscheidungsproblem.
- Wilhelm_Ackermann wikiPageWikiLink First-order_logic.
- Wilhelm_Ackermann wikiPageWikiLink German_Empire.
- Wilhelm_Ackermann wikiPageWikiLink Germany.
- Wilhelm_Ackermann wikiPageWikiLink Gxc3xb6dels_completeness_theorem.
- Wilhelm_Ackermann wikiPageWikiLink Herscheid.
- Wilhelm_Ackermann wikiPageWikiLink Inverse_Ackermann_function.
- Wilhelm_Ackermann wikiPageWikiLink Jean_van_Heijenoort.
- Wilhelm_Ackermann wikiPageWikiLink Logic.
- Wilhelm_Ackermann wikiPageWikiLink Lüdenscheid.
- Wilhelm_Ackermann wikiPageWikiLink Mathematical_logic.
- Wilhelm_Ackermann wikiPageWikiLink Mathematician.
- Wilhelm_Ackermann wikiPageWikiLink Mathematics.
- Wilhelm_Ackermann wikiPageWikiLink Peano_arithmetic.
- Wilhelm_Ackermann wikiPageWikiLink Peano_axioms.
- Wilhelm_Ackermann wikiPageWikiLink Principles_of_Mathematical_Logic.
- Wilhelm_Ackermann wikiPageWikiLink Real_number.
- Wilhelm_Ackermann wikiPageWikiLink Set_theory.
- Wilhelm_Ackermann wikiPageWikiLink Steinfurt.
- Wilhelm_Ackermann wikiPageWikiLink Stetson_University.
- Wilhelm_Ackermann wikiPageWikiLink Theory_of_computation.
- Wilhelm_Ackermann wikiPageWikiLink University_of_Göttingen.
- Wilhelm_Ackermann wikiPageWikiLink University_of_Münster.
- Wilhelm_Ackermann wikiPageWikiLink West_Germany.
- Wilhelm_Ackermann wikiPageWikiLink Zentralblatt_MATH.
- Wilhelm_Ackermann wikiPageWikiLinkText "Ackermann".
- Wilhelm_Ackermann wikiPageWikiLinkText "Ackermann's".
- Wilhelm_Ackermann wikiPageWikiLinkText "Ackermann, W".
- Wilhelm_Ackermann wikiPageWikiLinkText "Ackermann, Wilhelm".
- Wilhelm_Ackermann wikiPageWikiLinkText "Wilhelm Ackermann".
- Wilhelm_Ackermann almaMater University_of_Göttingen.
- Wilhelm_Ackermann birthDate "1896-03-29".
- Wilhelm_Ackermann birthPlace German_Empire.
- Wilhelm_Ackermann birthPlace Herscheid.
- Wilhelm_Ackermann caption "Wilhelm Ackermann".
- Wilhelm_Ackermann dateOfBirth "1896-03-29".
- Wilhelm_Ackermann dateOfDeath "1962-12-24".
- Wilhelm_Ackermann deathDate "1962-12-24".
- Wilhelm_Ackermann deathPlace Lüdenscheid.
- Wilhelm_Ackermann deathPlace West_Germany.
- Wilhelm_Ackermann doctoralAdvisor David_Hilbert.
- Wilhelm_Ackermann field Mathematics.
- Wilhelm_Ackermann hasPhotoCollection Wilhelm_Ackermann.
- Wilhelm_Ackermann imageSize "250".
- Wilhelm_Ackermann knownFor Ackermann_function.
- Wilhelm_Ackermann name "Ackermann, William Friedrich".
- Wilhelm_Ackermann name "Wilhelm Ackermann".
- Wilhelm_Ackermann nationality Germany.
- Wilhelm_Ackermann placeOfBirth Germany.
- Wilhelm_Ackermann placeOfBirth Herscheid.
- Wilhelm_Ackermann placeOfDeath Germany.
- Wilhelm_Ackermann placeOfDeath Lüdenscheid.
- Wilhelm_Ackermann shortDescription "German mathematician best known for the Ackermann function".
- Wilhelm_Ackermann wikiPageUsesTemplate Template:Authority_control.