Matches in DBpedia 2014 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%C3%B6ttingen.
- 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%C3%BCdenscheid.
- 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 viafId "57355040".
- Wilhelm_Ackermann wikiPageExternalLink 1093956238.
- Wilhelm_Ackermann wikiPageExternalLink Ac.html.
- Wilhelm_Ackermann wikiPageID "62727".
- Wilhelm_Ackermann wikiPageRevisionID "596388385".
- 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 description "German mathematician best known for the Ackermann function".
- Wilhelm_Ackermann description "German mathematician best known for the Ackermann function".
- Wilhelm_Ackermann subject Category:1896_births.
- Wilhelm_Ackermann subject Category:1962_deaths.
- Wilhelm_Ackermann subject Category:20th-century_mathematicians.
- Wilhelm_Ackermann subject Category:Computability_theorists.
- Wilhelm_Ackermann subject Category:German_Lutherans.
- Wilhelm_Ackermann subject Category:German_logicians.
- Wilhelm_Ackermann subject Category:German_mathematicians.
- Wilhelm_Ackermann subject Category:People_from_Lüdenscheid.
- Wilhelm_Ackermann subject Category:People_from_the_Province_of_Westphalia.
- Wilhelm_Ackermann subject Category:University_of_Göttingen_alumni.
- Wilhelm_Ackermann subject Category:University_of_Münster_faculty.
- Wilhelm_Ackermann type 20th-centuryMathematicians.
- Wilhelm_Ackermann type CausalAgent100007347.
- Wilhelm_Ackermann type GermanMathematicians.
- Wilhelm_Ackermann type LivingThing100004258.
- Wilhelm_Ackermann type Mathematician110301261.
- Wilhelm_Ackermann type Object100002684.
- Wilhelm_Ackermann type Organism100004475.
- Wilhelm_Ackermann type PeopleFromL%C3%BCdenscheid.
- Wilhelm_Ackermann type PeopleFromTheProvinceOfWestphalia.
- Wilhelm_Ackermann type Person100007846.
- Wilhelm_Ackermann type PhysicalEntity100001930.
- Wilhelm_Ackermann type Scientist110560637.
- Wilhelm_Ackermann type Whole100003553.
- Wilhelm_Ackermann type YagoLegalActor.
- Wilhelm_Ackermann type YagoLegalActorGeo.
- Wilhelm_Ackermann type Agent.
- Wilhelm_Ackermann type Person.
- Wilhelm_Ackermann type Scientist.
- Wilhelm_Ackermann type Person.
- Wilhelm_Ackermann type Scientist.
- Wilhelm_Ackermann type Q215627.
- Wilhelm_Ackermann type Q5.
- Wilhelm_Ackermann type Agent.
- Wilhelm_Ackermann type NaturalPerson.
- Wilhelm_Ackermann type Thing.
- Wilhelm_Ackermann type Person.
- Wilhelm_Ackermann comment "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.".
- Wilhelm_Ackermann label "Wilhelm Ackermann (Mathematiker)".
- Wilhelm_Ackermann label "Wilhelm Ackermann".
- Wilhelm_Ackermann label "Wilhelm Ackermann".
- Wilhelm_Ackermann label "Wilhelm Ackermann".
- Wilhelm_Ackermann label "Wilhelm Ackermann".
- Wilhelm_Ackermann label "Wilhelm Ackermann".
- Wilhelm_Ackermann label "Wilhelm Ackermann".
- Wilhelm_Ackermann label "Wilhelm Ackermann".
- Wilhelm_Ackermann label "Аккерман, Вильгельм".
- Wilhelm_Ackermann label "ヴィルヘルム・アッカーマン".
- Wilhelm_Ackermann label "威廉·阿克曼".
- Wilhelm_Ackermann sameAs Wilhelm_Ackermann_(Mathematiker).
- Wilhelm_Ackermann sameAs Wilhelm_Ackermann.
- Wilhelm_Ackermann sameAs Wilhelm_Ackermann.