| 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
| |
| dbo:almaMater
| |
| dbo:birthDate
| |
| dbo:birthPlace
| |
| dbo:deathDate
| |
| dbo:deathPlace
| |
| dbo:doctoralAdvisor
| |
| dbo:nationality
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5954 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:almaMater
| |
| dbp:birthDate
| |
| dbp:birthPlace
| |
| dbp:caption
|
- Wilhelm Ackermann in (en)
|
| dbp:deathDate
| |
| dbp:deathPlace
| |
| dbp:doctoralAdvisor
| |
| dbp:field
| |
| dbp:name
| |
| dbp:nationality
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| schema:sameAs
| |
| rdf:type
| |
| 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
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:doctoralStudents
of | |
| is foaf:primaryTopic
of | |
