Ackermann, Wilhelm
Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från versionen som granskades den 27 december 2017; kontroller kräver 6 redigeringar .| Wilhelm Ackerman | |
|---|---|
| Wilhelm Ackermann | |
| Namn vid födseln | tysk Wilhelm Friedrich Ackermann |
| Födelsedatum | 29 mars 1896 [1] [2] [3] […] |
| Födelseort | Herscheid , tyska riket |
| Dödsdatum | 24 december 1962 [1] [3] [4] (66 år) |
| En plats för döden | |
| Land | Tyska riket, Weimarrepubliken, Tredje riket, Tyskland |
| Vetenskaplig sfär | matematik , logik |
| Arbetsplats | |
| Alma mater | |
| vetenskaplig rådgivare | David Gilbert |
 Citat på Wikiquote | |
| Mediafiler på Wikimedia Commons | |
Wilhelm Friedrich Ackermann ( tyska Wilhelm Friedrich Ackermann ; 29 mars 1896 , Herscheid , tyska riket , - 24 december 1962 , Lüdenscheid , Tyskland ) - tysk matematiker och logiker , lärare.
Biografi
Ackermann disputerade vid universitetet i Göttingen 1925 med en avhandling med titeln Justification of "tertium non datur " av Hilberts teori om bevis på konsekvens ( tyska: Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit ), ett bevis på aritmetikens konsistens utan den uppenbara användningen av Peanos axiom för fullständig induktion (även om det fortfarande implicit användes). Från 1929 till 1948 undervisade han på Gymnasium i Steinfurt , sedan fram till 1961 i Lüdenscheid . Han var motsvarande ledamot av Vetenskapsakademien i Göttingen och hedersprofessor vid universitetet i Westfalen .
1928 hjälpte Ackermann David Hilbert att förbereda föreläsningarna 1917-1922 för publicering. för en introduktion till matematisk logik - Fundamentals of Theoretical Logik ( tyska: Grundzüge der theoretischen Logik ). Boken innehåller den första beskrivningen av första ordningens logik och de frågor Gödel därefter löste i fullständighetssatsen och ofullständighetssatsen .
Trots att Ackerman föredrog att arbeta inom skolväsendet snarare än universitetsutbildning var han aktivt engagerad i naturvetenskap och hade många publikationer. Ackerman arbetade på bevis på överensstämmelsen i mängdläran (1937), fullständig aritmetik (1940), fri logik (1952) och en ny axiomatisering av mängdläran (1956). I teorin om algoritmer är Ackermann-funktionen allmänt känd .
1956 tog Ackermann för första gången upp problematiken med relevant logik uttryckligen . Även om det senare blev känt att före Ackermans system för relevant logik konstruerades av I. E. Orlov (1920-talet), och efter A. Church (1951), var Ackermanns logiska system med stark implikation det första explicita övervägandet av problemen med relevant logik.
Publikationer på ryska
- Gilbert D., Akkerman V. Fundamentals of theoretical logic. — M.: Förlagsgruppen URSS, 2010. — 304 sid. — ISBN 978-5-484-01144-5 .
Anteckningar
- ↑ 1 2 3 4 5 MacTutor History of Mathematics Archive
- ↑ ACKERMANN WILHELM // Encyclopædia Universalis (franska) - Encyclopædia Britannica .
- ↑ 1 2 Friedrich Wilhelm Ackermann // Brockhaus Encyclopedia (tyskt) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
- ↑ Databas för tjeckiska nationella myndigheter
- ↑ https://projecteuclid.org/euclid.ndjfl/1093956238 - s. 1.
Litteratur
- Gottwald, Ilgauds, Schlote: Lexikon bedeutender Mathematiker. 1990. S.12 f.
- Constance Reid: Hilbert, Springer 1970, S.173.
- Dieter Remus: Professor Wilhelm Ackermann, Lehrer am Arnoldinum und Forscher in der Mathematik. I: 400 Jahre Arnoldinum 1588-1988. Festschrift. Greven 1988, S.211-219.
 Tematiska platser | ||||
|---|---|---|---|---|
| Ordböcker och uppslagsverk | ||||
| ||||