Günter Asser

Günter Asser (født februar 26, 1926 i Berlin , † 23 mars, 2015 i Greifswald ) var en tysk matematiker , senest professor emeritus for matematikk og logikk på det universitetet i Greifswald .

Liv

Asser studerte matematikk og fysikk ved Humboldt-universitetet i Berlin fra 1946 til 1951 , hvor han tok doktorgraden i 1954 . I 1958 fullførte han habiliteringen der, og i 1960 ble han professor i Greifswald.

Han har redigert mange bind om filosofer og matematikere. Hans egen forskning var innen logikk og teorien om beregbarhet . I 1954 grunnla han "Journal for Mathematical Logic and Fundamentals of Mathematics" med Karl Schröter (siden 1993 Mathematical Logic Quarterly ), var administrerende redaktør for dette tidsskriftet til 2004 og æresredaktør fra 2011 til han døde. I 1975 ble han tildelt Patriotic Merit Order i bronse. Siden 1977 var han et tilsvarende medlem av Vitenskapsakademiet til DDR .

Skrifttyper

  • Turing-maskiner og Markovs algoritmer. I: Journal for Mathematical Logic and Fundamentals of Mathematics. Volum 5, nr. 14/24, 1959, s. 346-365, doi : 10.1002 / malq.19590051412 .
  • Introduksjon til matematisk logikk. 3 bind. Teubner, Leipzig 1959–1981;
    • Volum 1: Lovfestet beregning. 1959;
    • Volum 2: Predikatregning for første nivå. 1972;
    • Volum 3: Predikatlogikk på høyere nivå. 1981.
redaktør
  • med Erhard Albrecht : NI Kondakow : Dictionary of logic . Bibliografisk institutt, Leipzig 1978.
  • Georg Cantor : Om uendelige, lineære punktfordelere. Arbeid med mengdeori fra årene 1872–1884 (= Teubner Archive for Mathematics. 2, ISSN  0233-0962 ). Teubner, Leipzig 1984, (Blant annet inneholder den: Georg Cantor: Ueber uendelige, lineære punktforgreninger (i seks deler). I tillegg til bilder / upubliserte arkiver / bibliografi og emneindeks, inneholder bindet nyskrevne kommentarer og notater av redaktøren. (Delutgave samme år på Springer)).
  • Giuseppe Peano : Arbeid med analyse og matematisk logikk (= Teubner-arkiv om matematikk. 113). Teubner, Leipzig 1990, ISBN 3-322-00477-5 (arbeider fra årene 1887–1893; delvis utgave samme år av Springer).
Magasiner
  • Mathematical Logic Quarterly , grunnlagt av G. Asser og K. Schröter i 1954 som "Journal for Mathematical Logic and Fundamentals of Mathematics"

litteratur

weblenker

Individuelle bevis

  1. Neues Deutschland , 1. oktober 1975, s. 5.
  2. Medlemmer av forgjengerakademiene. Günter Asser. Berlin-Brandenburg Academy of Sciences and Humanities , åpnet 17. februar 2015 .