Wilhelm Ackermann (original) (raw)
فيلهلم فريدريش أكرمان (29 آذار (مارس) 1896 - 24 كانون الأول (ديسمبر) 1962)، رياضياتي ألماني، اشتهر باقتران أكرمان وهو أحد أهم الأمثلة في النظرية الحسابية.ولد أكرمان في بلدية في ألمانيا، حصل على درجة الدكتوراة من جامعة غوتنغن عام 1925 عن أطروحة تناولت برهاناً للاتساق الحسابي دون استخدام بديهيات بيانو بالكامل. عمل في التدريس في الفترة 1929 - 1948 في شتاينفورت ثم في لودنشايد حتى 1961. كما كان أكاديمياً في أكاديمية العلوم في غوتينغين وأستاذاً فخرياً في جامعة مونستر.
| Property | Value |
|---|---|
| dbo:abstract | فيلهلم فريدريش أكرمان (29 آذار (مارس) 1896 - 24 كانون الأول (ديسمبر) 1962)، رياضياتي ألماني، اشتهر باقتران أكرمان وهو أحد أهم الأمثلة في النظرية الحسابية.ولد أكرمان في بلدية في ألمانيا، حصل على درجة الدكتوراة من جامعة غوتنغن عام 1925 عن أطروحة تناولت برهاناً للاتساق الحسابي دون استخدام بديهيات بيانو بالكامل. عمل في التدريس في الفترة 1929 - 1948 في شتاينفورت ثم في لودنشايد حتى 1961. كما كان أكاديمياً في أكاديمية العلوم في غوتينغين وأستاذاً فخرياً في جامعة مونستر. (ar) Wilhelm Ackermann (alemany: Wilhelm Friedrich Ackermann) (Herscheid, 29 de març de 1896 - Lüdenscheid, 24 de desembre de 1962) va ser un matemàtic alemany. (ca) Wilhelm Friedrich Ackermann (29. března 1896, – 24. prosince 1962, Lüdenscheid) byl německý matematik a filosof, známý popisem Ackermannovy funkce používané v matematické teorii. (cs) Wilhelm Friedrich Ackermann (* 29. März 1896 in Schönebecke (Herscheid); † 24. Dezember 1962 in Lüdenscheid) war ein deutscher Mathematiker. (de) Wilhelm Friedrich ACKERMANN [akerman] (29a de marto 1896 – 24a de decembro 1962) estis germana matematikisto plej bone konata pro la Akermana funkcio, grava ekzemplo en la teorio de komputado. (eo) Wilhelm Friedrich Ackermann (Herscheid, Alemaniar Inperioa, 1896ko martxoaren 29a - Lüdenscheid, Mendebaldeko Alemania, 1962ko abenduaren 24a) alemaniar logikari matematikoa izan zen. 1925ean bukatu zuen doktoregoa, Hilberten zuzendaritzapean; tesian indukziorik gabeko aritmetikaren trinkotasun froga bat azaldu zuen. 1927tik 1961era irakasle aritu zen eta Lüdenscheiden. Göttingeneko Zientzien Akademiako kide eta Münsterko Unibertsitateko ohorezko irakasle ere izan zen. Ackermannen azkeneko lanen artean multzoen teoriaren (1937), aritmetika osoaren (1940) eta (1952) trinkotasun frogak dira aipagarriak, multzoen teoriaren axiomatizazio berri batez eta Solvable cases of the decision problem (1954, Erabakitasunaren problemaren kasu ebazgarriak) liburuaz gainera. (eu) Wilhelm Ackermann (29 de marzo 1896 - 24 de diciembre 1962) fue un matemático alemán. Es conocido, sobre todo, por la función de Ackermann nombrada en su honor, un ejemplo importante en la teoría de la computación. (es) Wilhelm Ackermann (1896-1962) est un mathématicien allemand, célèbre pour la fonction d'Ackermann (1925) qui est un exemple important de la théorie de la calculabilité. (fr) ヴィルヘルム・アッカーマン（Wilhelm Friedrich Ackermann, 1896年3月29日 - 1962年12月24日）はドイツの数学者。計算理論での重要な例の一つであるアッカーマン関数を考案した。 アッカーマンは、1925年にを弱めた体系の無矛盾性の証明を与え、ゲッティンゲン大学から博士号を得た。この証明は、ヒルベルトがヒルベルト・プログラムでの基本手法として考えていたアイデアに沿ったものであった。後に、この証明では、厳格なを越えるωωωまでの順序数の整列性を必要とするリダクションが隠伏的に用いられていたことが判明している。 1929年から1948年まで、彼はシュタインフルトのギムナジウムで教師として教え、その後1961年まで彼の生まれ故郷のリューデンシャイト (Lüdenscheid) の女子ギムナジウムで教えた。彼はまたゲッティンゲン科学アカデミーの通信会員であり、ミュンスター大学の非常勤教授でもあった。 1928年、彼はダフィット・ヒルベルトが1917年から1922年に行った数理論理学の入門の講義録をもとにヒルベルトと共著でGrundzüge der theoretischen Logik (理論論理学概論) を執筆している。また1937年には無限公理を含まない集合論の、1940年にはペアノの公理の、1952年にはtype-free logicの無矛盾性の証明を与えている。1956年には、クラスをオブジェクトとして含み、ある意味でカントルの集合論の自然な公理化になっているような公理的集合論の体系を導入している。 (ja) 빌헬름 프리드리히 아커만(독일어: Wilhelm Friedrich Ackermann IPA: [ˈvɪlhɛlm ˈfʀiːdʀɪç ˈakɐˌman], 1896~1962)은 독일의 수학자이다. 아커만 함수를 발견하였다. (ko) Wilhelm Friedrich Ackermann (/ˈækərmən/; German: [ˈakɐˌman]; 29 March 1896 – 24 December 1962) was a German mathematician and logician best known for his work in mathematical logic and the Ackermann function, an important example in the theory of computation. (en) Wilhelm Ackermann (Schönebecke, 29 maart 1896 — Lüdenscheid, 24 december 1962) was een Duitse wiskundige die vooral bekend is vanwege de Ackermannfunctie die naar hem vernoemd is. Ackermann werd geboren op 29 maart 1896 in Schönebecke (in het toenmalige district Altena, nu een deel van gemeente Herscheid), Duitsland, en ontving zijn doctorstitel in 1925 met het proefschrift Begründung des „tertium datur“ mittels der Hilbertschen Theorie der Widerspruchsfreiheit, die een consistentiebewijs van rekenkunde zonder inductie bevatte. Vanaf 1929 tot 1948 onderwees hij op de hogeschool van Arnoldinum in Burgsteinfurt, en daarna tot 1961 in Lüdenscheid. Hij was ook een lid van de Akademie der Wissenschaften in Göttingen, en was een erehoogleraar aan de Universiteit van Münster (Westfalen). Ackermann schreef samen met David Hilbert het werk Grundzüge der Theoretischen Logik (Grondbeginselen van de Theoretische Logica), over het Entscheidungsproblem. Tevens schreef hij consistentiebewijzen voor verzamelingenleer (1937), volledige rekenkunde (1940), type-vrije logica (1952) en een nieuwe axiomatisering van verzamelingenleer (1956). Hij schreef het boek Solvable cases of the decision problem (1954). (nl) Wilhelm Friedrich Ackermann (Herscheid, 29 marzo 1896 – Lüdenscheid, 24 dicembre 1962) è stato un matematico tedesco noto per la funzione omonima. Ackermann fu premiato con un Ph.D. all'Università di Gottinga nel 1925 per la sua tesi Begründung sul "Tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit che doveva essere una prova della consistenza dell'aritmetica senza l'induzione di Peano.Dal 1929 al 1948 insegnò all'Arnoldinum Gymnasium di Burgsteinfurt, e dopo al Lüdenscheid fino al 1961.Fu professore onorario all'Università di Münster (Vestfalia). (it) Wilhelm Ackermann (ur. 29 marca 1896 w Herscheid, zm. 24 grudnia 1962 w Lüdenscheid) – niemiecki matematyk, odkrywca funkcji Ackermanna, która jest ważnym przykładem w teorii obliczeń. (pl) Wilhelm Ackermann, född 29 mars 1896 i Herscheid, , död 24 december 1962 i Lüdenscheid, var en tysk matematiker och logiker. Ackermann skrev sin doktorsavhandling under Hilbert 1925. I denna presenterades ett bevis utan induktion för att aritmetiken är motsägelsefri. År 1928 skrev han tillsammans med Hilbert Grundzüge der Theoretischen Logik. År 1956 presenterade Ackermann en alternativ axiomatisering av mängdläran. Han var korresponderande ledamot av . (sv) Wilhelm Friedrich Ackermann (Herscheid, 29 de março de 1896 — Lüdenscheid, 24 de dezembro de 1962) foi um matemático alemão. Conhecido pela função de Ackermann, um importante exemplo na teoria da computação. (pt) Вильге́льм Фри́дрих Аккерман (нем. Wilhelm Friedrich Ackermann; 29 марта 1896, Хершайд, Германская империя, — 24 декабря 1962, Люденшайд, ФРГ) — немецкий математик и логик, педагог. (ru) 威廉·阿克曼（德語：Wilhelm Ackermann，1896年3月29日－1962年12月24日），德國數學家，最著名的成果是計算理論的重要例子阿克曼函數。 1928年他跟大衛·希爾伯特合寫《理論邏輯原理》（Grundzuge der Theoretischen Logik）。他又寫了Solvable cases of the decision problem (North Holland, 1954)。 他逝世於德國，終年66歲。 (zh) |
| dbo:academicDiscipline | dbr:Mathematics |
| dbo:almaMater | dbr:University_of_Göttingen |
| dbo:birthDate | 1896-03-29 (xsd:date) |
| dbo:birthPlace | dbr:German_Empire dbr:Herscheid |
| dbo:deathDate | 1962-12-24 (xsd:date) |
| dbo:deathPlace | dbr:Lüdenscheid dbr:West_Germany |
| dbo:doctoralAdvisor | dbr:David_Hilbert |
| dbo:nationality | dbr:Germany |
| dbo:thumbnail | wiki-commons:Special:FilePath/Ackermann_Wilhelm.jpg?width=300 |
| dbo:wikiPageExternalLink | https://zbmath.org/authors/%3Fq=ai:ackermann.wilhelm http://www.stetson.edu/~efriedma/periodictable/html/Ac.html http://projecteuclid.org/DPubS/Repository/1.0/Disseminate%3Fview=body&id=pdf_1&handle=euclid.ndjfl/1093956238 |
| dbo:wikiPageID | 62727 (xsd:integer) |
| dbo:wikiPageLength | 5954 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1096686451 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Entscheidungsproblem dbr:Principles_of_Mathematical_Logic dbr:David_Hilbert dbr:Peano_arithmetic dbr:Peano_axioms dbr:University_of_Göttingen dbr:University_of_Münster dbr:Decidability_(logic) dbr:Decision_problem dbr:Constance_Reid dbr:Mathematical_logic dbr:Mathematics dbr:German_Empire dbr:Germany dbr:Ordinal_notation dbr:Logic dbr:Lüdenscheid dbr:Steinfurt dbr:Stetson_University dbr:Zentralblatt_MATH dbr:Theory_of_computation dbr:Mathematician dbr:Axiomatic_set_theory dbc:1896_births dbc:1962_deaths dbc:20th-century_Lutherans dbc:German_philosophers dbc:Members_of_the_Göttingen_Academy_of_Sciences_and_Humanities dbc:People_from_the_Province_of_Westphalia dbc:University_of_Münster_faculty dbr:West_Germany dbr:Gödel's_completeness_theorem dbr:First-order_logic dbr:Proof_theory dbr:Herscheid dbr:Hilbert_system dbr:Inverse_Ackermann_function dbr:Jean_van_Heijenoort dbc:German_male_writers dbc:University_of_Göttingen_alumni dbr:Ackermann_function dbr:Ackermann_ordinal dbr:Ackermann_set_theory dbc:20th-century_German_mathematicians dbc:German_Lutherans dbc:People_from_Lüdenscheid dbc:Computability_theorists dbc:German_logicians dbr:Hereditarily_finite_set dbr:Real_number dbr:Set_theory dbr:Logician dbr:Ackermann_coding dbr:Consistency_proof |
| dbp:almaMater | dbr:University_of_Göttingen |
| dbp:birthDate | 1896-03-29 (xsd:date) |
| dbp:birthPlace | dbr:German_Empire dbr:Herscheid |
| dbp:caption | Wilhelm Ackermann in (en) |
| dbp:deathDate | 1962-12-24 (xsd:date) |
| dbp:deathPlace | dbr:Lüdenscheid dbr:West_Germany |
| dbp:doctoralAdvisor | dbr:David_Hilbert |
| dbp:field | dbr:Mathematics |
| dbp:name | Wilhelm Ackermann (en) |
| dbp:nationality | dbr:Germany |
| dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:Birth_date dbt:C. dbt:IPA-de dbt:IPAc-en dbt:More_citations_needed dbt:Reflist dbt:Short_description dbt:Text_and_translation dbt:Death_date_and_age dbt:Ublist dbt:MathGenealogy dbt:Infobox_scientist dbt:MacTutor_Biography |
| dct:subject | dbc:1896_births dbc:1962_deaths dbc:20th-century_Lutherans dbc:German_philosophers dbc:Members_of_the_Göttingen_Academy_of_Sciences_and_Humanities dbc:People_from_the_Province_of_Westphalia dbc:University_of_Münster_faculty dbc:German_male_writers dbc:University_of_Göttingen_alumni dbc:20th-century_German_mathematicians dbc:German_Lutherans dbc:People_from_Lüdenscheid dbc:Computability_theorists dbc:German_logicians |
| gold:hypernym | dbr:Mathematician |
| schema:sameAs | http://viaf.org/viaf/121826940 |
| rdf:type | owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species yago:WikicatComputabilityTheorists schema:Person yago:WikicatLogicians yago:WikicatPeopleFromLüdenscheid wikidata:Q901 yago:CausalAgent100007347 yago:Expert109617867 yago:Intellectual109621545 yago:LivingThing100004258 yago:Logician110269785 yago:Mathematician110301261 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:WikicatGermanLogicians yago:WikicatGermanMathematicians yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scientist110560637 yago:Theorist110706812 yago:Whole100003553 yago:Wikicat20th-centuryMathematicians yago:WikicatEthnicGermanPeople yago:WikicatPeopleFromTheProvinceOfWestphalia |
| rdfs:comment | فيلهلم فريدريش أكرمان (29 آذار (مارس) 1896 - 24 كانون الأول (ديسمبر) 1962)، رياضياتي ألماني، اشتهر باقتران أكرمان وهو أحد أهم الأمثلة في النظرية الحسابية.ولد أكرمان في بلدية في ألمانيا، حصل على درجة الدكتوراة من جامعة غوتنغن عام 1925 عن أطروحة تناولت برهاناً للاتساق الحسابي دون استخدام بديهيات بيانو بالكامل. عمل في التدريس في الفترة 1929 - 1948 في شتاينفورت ثم في لودنشايد حتى 1961. كما كان أكاديمياً في أكاديمية العلوم في غوتينغين وأستاذاً فخرياً في جامعة مونستر. (ar) Wilhelm Ackermann (alemany: Wilhelm Friedrich Ackermann) (Herscheid, 29 de març de 1896 - Lüdenscheid, 24 de desembre de 1962) va ser un matemàtic alemany. (ca) Wilhelm Friedrich Ackermann (29. března 1896, – 24. prosince 1962, Lüdenscheid) byl německý matematik a filosof, známý popisem Ackermannovy funkce používané v matematické teorii. (cs) Wilhelm Friedrich Ackermann (* 29. März 1896 in Schönebecke (Herscheid); † 24. Dezember 1962 in Lüdenscheid) war ein deutscher Mathematiker. (de) Wilhelm Friedrich ACKERMANN [akerman] (29a de marto 1896 – 24a de decembro 1962) estis germana matematikisto plej bone konata pro la Akermana funkcio, grava ekzemplo en la teorio de komputado. (eo) Wilhelm Friedrich Ackermann (Herscheid, Alemaniar Inperioa, 1896ko martxoaren 29a - Lüdenscheid, Mendebaldeko Alemania, 1962ko abenduaren 24a) alemaniar logikari matematikoa izan zen. 1925ean bukatu zuen doktoregoa, Hilberten zuzendaritzapean; tesian indukziorik gabeko aritmetikaren trinkotasun froga bat azaldu zuen. 1927tik 1961era irakasle aritu zen eta Lüdenscheiden. Göttingeneko Zientzien Akademiako kide eta Münsterko Unibertsitateko ohorezko irakasle ere izan zen. Ackermannen azkeneko lanen artean multzoen teoriaren (1937), aritmetika osoaren (1940) eta (1952) trinkotasun frogak dira aipagarriak, multzoen teoriaren axiomatizazio berri batez eta Solvable cases of the decision problem (1954, Erabakitasunaren problemaren kasu ebazgarriak) liburuaz gainera. (eu) Wilhelm Ackermann (29 de marzo 1896 - 24 de diciembre 1962) fue un matemático alemán. Es conocido, sobre todo, por la función de Ackermann nombrada en su honor, un ejemplo importante en la teoría de la computación. (es) Wilhelm Ackermann (1896-1962) est un mathématicien allemand, célèbre pour la fonction d'Ackermann (1925) qui est un exemple important de la théorie de la calculabilité. (fr) 빌헬름 프리드리히 아커만(독일어: Wilhelm Friedrich Ackermann IPA: [ˈvɪlhɛlm ˈfʀiːdʀɪç ˈakɐˌman], 1896~1962)은 독일의 수학자이다. 아커만 함수를 발견하였다. (ko) Wilhelm Friedrich Ackermann (/ˈækərmən/; German: [ˈakɐˌman]; 29 March 1896 – 24 December 1962) was a German mathematician and logician best known for his work in mathematical logic and the Ackermann function, an important example in the theory of computation. (en) Wilhelm Friedrich Ackermann (Herscheid, 29 marzo 1896 – Lüdenscheid, 24 dicembre 1962) è stato un matematico tedesco noto per la funzione omonima. Ackermann fu premiato con un Ph.D. all'Università di Gottinga nel 1925 per la sua tesi Begründung sul "Tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit che doveva essere una prova della consistenza dell'aritmetica senza l'induzione di Peano.Dal 1929 al 1948 insegnò all'Arnoldinum Gymnasium di Burgsteinfurt, e dopo al Lüdenscheid fino al 1961.Fu professore onorario all'Università di Münster (Vestfalia). (it) Wilhelm Ackermann (ur. 29 marca 1896 w Herscheid, zm. 24 grudnia 1962 w Lüdenscheid) – niemiecki matematyk, odkrywca funkcji Ackermanna, która jest ważnym przykładem w teorii obliczeń. (pl) Wilhelm Ackermann, född 29 mars 1896 i Herscheid, , död 24 december 1962 i Lüdenscheid, var en tysk matematiker och logiker. Ackermann skrev sin doktorsavhandling under Hilbert 1925. I denna presenterades ett bevis utan induktion för att aritmetiken är motsägelsefri. År 1928 skrev han tillsammans med Hilbert Grundzüge der Theoretischen Logik. År 1956 presenterade Ackermann en alternativ axiomatisering av mängdläran. Han var korresponderande ledamot av . (sv) Wilhelm Friedrich Ackermann (Herscheid, 29 de março de 1896 — Lüdenscheid, 24 de dezembro de 1962) foi um matemático alemão. Conhecido pela função de Ackermann, um importante exemplo na teoria da computação. (pt) Вильге́льм Фри́дрих Аккерман (нем. Wilhelm Friedrich Ackermann; 29 марта 1896, Хершайд, Германская империя, — 24 декабря 1962, Люденшайд, ФРГ) — немецкий математик и логик, педагог. (ru) 威廉·阿克曼（德語：Wilhelm Ackermann，1896年3月29日－1962年12月24日），德國數學家，最著名的成果是計算理論的重要例子阿克曼函數。 1928年他跟大衛·希爾伯特合寫《理論邏輯原理》（Grundzuge der Theoretischen Logik）。他又寫了Solvable cases of the decision problem (North Holland, 1954)。 他逝世於德國，終年66歲。 (zh) ヴィルヘルム・アッカーマン（Wilhelm Friedrich Ackermann, 1896年3月29日 - 1962年12月24日）はドイツの数学者。計算理論での重要な例の一つであるアッカーマン関数を考案した。 アッカーマンは、1925年にを弱めた体系の無矛盾性の証明を与え、ゲッティンゲン大学から博士号を得た。この証明は、ヒルベルトがヒルベルト・プログラムでの基本手法として考えていたアイデアに沿ったものであった。後に、この証明では、厳格なを越えるωωωまでの順序数の整列性を必要とするリダクションが隠伏的に用いられていたことが判明している。 1929年から1948年まで、彼はシュタインフルトのギムナジウムで教師として教え、その後1961年まで彼の生まれ故郷のリューデンシャイト (Lüdenscheid) の女子ギムナジウムで教えた。彼はまたゲッティンゲン科学アカデミーの通信会員であり、ミュンスター大学の非常勤教授でもあった。 (ja) Wilhelm Ackermann (Schönebecke, 29 maart 1896 — Lüdenscheid, 24 december 1962) was een Duitse wiskundige die vooral bekend is vanwege de Ackermannfunctie die naar hem vernoemd is. Ackermann werd geboren op 29 maart 1896 in Schönebecke (in het toenmalige district Altena, nu een deel van gemeente Herscheid), Duitsland, en ontving zijn doctorstitel in 1925 met het proefschrift Begründung des „tertium datur“ mittels der Hilbertschen Theorie der Widerspruchsfreiheit, die een consistentiebewijs van rekenkunde zonder inductie bevatte. Vanaf 1929 tot 1948 onderwees hij op de hogeschool van Arnoldinum in Burgsteinfurt, en daarna tot 1961 in Lüdenscheid. Hij was ook een lid van de Akademie der Wissenschaften in Göttingen, en was een erehoogleraar aan de Universiteit van Münster (Westfalen). (nl) |
| rdfs:label | فيلهلم أكرمان (ar) Wilhelm Ackermann (ca) Wilhelm Friedrich Ackermann (cs) Wilhelm Ackermann (Mathematiker) (de) Wilhelm Ackermann (eo) Wilhelm Ackermann (es) Wilhelm Ackermann (eu) Wilhelm Ackermann (fr) Wilhelm Ackermann (it) ヴィルヘルム・アッカーマン (ja) 빌헬름 아커만 (ko) Wilhelm Ackermann (nl) Wilhelm Ackermann (pt) Wilhelm Ackermann (pl) Wilhelm Ackermann (en) Wilhelm Ackermann (sv) Аккерман, Вильгельм (ru) 威廉·阿克曼 (zh) |
| owl:sameAs | freebase:Wilhelm Ackermann http://viaf.org/viaf/121826940 yago-res:Wilhelm Ackermann http://d-nb.info/gnd/116006080 http://d-nb.info/gnd/18946111X https://dblp.org/pid/47/3323 wikidata:Wilhelm Ackermann http://data.bibliotheken.nl/id/thes/p068551940 dbpedia-ar:Wilhelm Ackermann http://arz.dbpedia.org/resource/فيلهلم_اكرمان http://azb.dbpedia.org/resource/ویلهلم_آکرمان dbpedia-ca:Wilhelm Ackermann dbpedia-cs:Wilhelm Ackermann dbpedia-de:Wilhelm Ackermann dbpedia-eo:Wilhelm Ackermann dbpedia-es:Wilhelm Ackermann dbpedia-eu:Wilhelm Ackermann dbpedia-fa:Wilhelm Ackermann dbpedia-fi:Wilhelm Ackermann dbpedia-fr:Wilhelm Ackermann http://ht.dbpedia.org/resource/Wilhelm_Ackermann dbpedia-hu:Wilhelm Ackermann dbpedia-io:Wilhelm Ackermann dbpedia-it:Wilhelm Ackermann dbpedia-ja:Wilhelm Ackermann dbpedia-ko:Wilhelm Ackermann dbpedia-nl:Wilhelm Ackermann dbpedia-pl:Wilhelm Ackermann dbpedia-pms:Wilhelm Ackermann dbpedia-pt:Wilhelm Ackermann dbpedia-ro:Wilhelm Ackermann dbpedia-ru:Wilhelm Ackermann dbpedia-sk:Wilhelm Ackermann dbpedia-sr:Wilhelm Ackermann dbpedia-sv:Wilhelm Ackermann dbpedia-zh:Wilhelm Ackermann https://global.dbpedia.org/id/4oBGa |
| prov:wasDerivedFrom | wikipedia-en:Wilhelm_Ackermann?oldid=1096686451&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Ackermann_Wilhelm.jpg |
| foaf:isPrimaryTopicOf | wikipedia-en:Wilhelm_Ackermann |
| foaf:name | Wilhelm Ackermann (en) |
| is dbo:doctoralStudent of | dbr:David_Hilbert |
| is dbo:wikiPageDisambiguates of | dbr:Ackermann |
| is dbo:wikiPageRedirects of | dbr:Wilhelm_ackermann dbr:Wilhelm_Friedrich_Ackermann |
| is dbo:wikiPageWikiLink of | dbr:Primitive_recursive_function dbr:Entscheidungsproblem dbr:List_of_University_of_Göttingen_people dbr:List_of_University_of_Münster_people dbr:Metalogic dbr:Path_ordering_(term_rewriting) dbr:Principles_of_Mathematical_Logic dbr:1928_in_science dbr:David_Hilbert dbr:Hyperoperation dbr:John_von_Neumann dbr:Richard_Rado dbr:December_1962 dbr:December_24 dbr:March_29 dbr:List_of_incomplete_proofs dbr:List_of_logicians dbr:List_of_set_theory_topics dbr:Max_Newman dbr:Timeline_of_mathematical_logic dbr:1896 dbr:1896_in_science dbr:Church–Turing_thesis dbr:Gentzen's_consistency_proof dbr:German_Association_for_Mathematical_Lo..._Basic_Research_in_the_Exact_Sciences dbr:Ordinal_notation dbr:Logic dbr:Lüdenscheid dbr:Z3_(computer) dbr:Sudan_function dbr:1962 dbr:1962_in_science dbr:Brouwer–Hilbert_controversy dbr:Gabriel_Sudan dbr:Larisa_Maksimova dbr:Algorithm_characterizations dbr:First-order_logic dbr:Ackermann dbr:Nuel_Belnap dbr:History_of_the_Church–Turing_thesis dbr:List_of_Germans dbr:Quantifier_(logic) dbr:Reflection_principle dbr:Relevance_logic dbr:Gödel's_incompleteness_theorems dbr:Hans_Hermes dbr:Herscheid dbr:Ackermann_(surname) dbr:Ackermann_function dbr:Ackermann_ordinal dbr:Ackermann_set_theory dbr:L._E._J._Brouwer dbr:BIT_predicate dbr:Plankalkül dbr:Kurt_Gödel dbr:Oskar_Becker dbr:Existential_graph dbr:Wilhelm_ackermann dbr:Wilhelm_Friedrich_Ackermann |
| is dbp:doctoralStudents of | dbr:David_Hilbert |
| is foaf:primaryTopic of | wikipedia-en:Wilhelm_Ackermann |
