Günter Asser (26 February 1926,
Berlin
Berlin ( , ) is the capital and List of cities in Germany by population, largest city of Germany by both area and population. Its 3.7 million inhabitants make it the European Union's List of cities in the European Union by population within ci ...
– 23 March 2015) was a professor emeritus of
logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premise ...
and
mathematics at the
University of Greifswald
The University of Greifswald (; german: Universität Greifswald), formerly also known as “Ernst-Moritz-Arndt University of Greifswald“, is a public research university located in Greifswald, Germany, in the state of Mecklenburg-Western Pom ...
. He published numerous volumes on
philosophers and
mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems.
Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change.
History
On ...
s. His own research was in
computability theory.
In 1954, with his doctoral advisor Karl Schröter, he co-founded the journal ''Zeitschrift für Mathematische Logik und Grundlagen der Mathematik'', which later became ''Mathematical Logic Quarterly''.
MLQ website
/ref> In 1977, Günter Asser became member of the German Academy of Sciences at Berlin
The German Academy of Sciences at Berlin, german: Deutsche Akademie der Wissenschaften zu Berlin (DAW), in 1972 renamed the Academy of Sciences of the GDR (''Akademie der Wissenschaften der DDR (AdW)''), was the most eminent research institution ...
.
See also
*Spectrum of a sentence In mathematical logic, the spectrum of a sentence is the set of natural numbers occurring as the size of a finite model in which a given sentence is true.
Definition
Let ''ψ'' be a sentence in first-order logic. The ''spectrum'' of ''ψ'' is t ...
References
External links
* ''Ostsee-Zeitung'' (German newspaper
article
of 30 Mar 2015 — includes a group photograph from Greifswald University
Publication list
at DBLP
DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since Novem ...
{{DEFAULTSORT:Asser, Gunter
1926 births
German logicians
20th-century German mathematicians
2015 deaths
German philosophers
German male writers
Members of the German Academy of Sciences at Berlin
21st-century German mathematicians