|
Günter Asser
Günter Asser (26 February 1926, Berlin – 23 March 2015) was a professor emeritus of logic and mathematics at the University of Greifswald. He published numerous volumes on philosophers and mathematicians. 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''. In 1977, Günter Asser became member of the German Academy of Sciences at Berlin. See also *Spectrum of a sentence References External links * ''Ostsee-Zeitung'' (German newspaperarticleof 30 Mar 2015 — includes a group photograph from Greifswald University Publication listat 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 N ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 city limits, most populous city, according to population within city limits. One of Germany's States of Germany, sixteen constituent states, Berlin is surrounded by the Brandenburg, State of Brandenburg and contiguous with Potsdam, Brandenburg's capital. Berlin's urban area, which has a population of around 4.5 million, is the second most populous urban area in Germany after the Ruhr. The Berlin/Brandenburg Metropolitan Region, Berlin-Brandenburg capital region has around 6.2 million inhabitants and is Metropolitan regions in Germany, Germany's third-largest metropolitan region after the Rhine-Ruhr and Frankfurt Rhine-Main, Rhine-Main regions. Berlin straddles the banks of the Spree (river), Spree, which flows into the Havel (a tributary of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 of East Germany (German Democratic Republic, GDR). The academy was established in 1946 in an attempt to continue the tradition of the Prussian Academy of Sciences and the Brandenburg Society of Sciences, founded in 1700 by Gottfried Wilhelm Leibniz. The academy was a learned society (scholarship society), in which awarded membership via election constituted scientific recognition. Unlike other academies of science, the DAW was also the host organization of a scientific community of non-academic research institutes. Upon German reunification, the Academy's learned society was dissociated from its research institutes and any other affiliates and eventually dissolved in 1992. Since 1993, activities of the AdW's members and college have bee ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
German Male Writers
German(s) may refer to: * Germany (of or related to) **Germania (historical use) * Germans, citizens of Germany, people of German ancestry, or native speakers of the German language ** For citizens of Germany, see also German nationality law **Germanic peoples (Roman times) * German language **any of the Germanic languages * German cuisine, traditional foods of Germany People * German (given name) * German (surname) * Germán, a Spanish name Places * German (parish), Isle of Man * German, Albania, or Gërmej * German, Bulgaria * German, Iran * German, North Macedonia * German, New York, U.S. * Agios Germanos, Greece Other uses * German (mythology), a South Slavic mythological being * Germans (band), a Canadian rock band * "German" (song), a 2019 song by No Money Enterprise * ''The German'', a 2008 short film * "The Germans", an episode of ''Fawlty Towers'' * ''The German'', a nickname for Congolese rebel André Kisase Ngandu See also * Germanic (other) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
German Philosophers
German(s) may refer to: * Germany (of or related to) ** Germania (historical use) * Germans, citizens of Germany, people of German ancestry, or native speakers of the German language ** For citizens of Germany, see also German nationality law ** Germanic peoples (Roman times) * German language **any of the Germanic languages * German cuisine, traditional foods of Germany People * German (given name) * German (surname) * Germán, a Spanish name Places * German (parish), Isle of Man * German, Albania, or Gërmej * German, Bulgaria * German, Iran * German, North Macedonia * German, New York, U.S. * Agios Germanos, Greece Other uses * German (mythology), a South Slavic mythological being * Germans (band), a Canadian rock band * "German" (song), a 2019 song by No Money Enterprise * '' The German'', a 2008 short film * " The Germans", an episode of ''Fawlty Towers'' * ''The German'', a nickname for Congolese rebel André Kisase Ngandu See also * Germanic (disambiguatio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
2015 Deaths
This is a list of deaths of notable people, organised by year. New deaths articles are added to their respective month (e.g., Deaths in ) and then linked here. 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 See also * Lists of deaths by day * Deaths by year {{DEFAULTSORT:deaths by year ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
German Logicians
German(s) may refer to: * Germany (of or related to) **Germania (historical use) * Germans, citizens of Germany, people of German ancestry, or native speakers of the German language ** For citizens of Germany, see also German nationality law **Germanic peoples (Roman times) * German language **any of the Germanic languages * German cuisine, traditional foods of Germany People * German (given name) * German (surname) * Germán, a Spanish name Places * German (parish), Isle of Man * German, Albania, or Gërmej * German, Bulgaria * German, Iran * German, North Macedonia * German, New York, U.S. * Agios Germanos, Greece Other uses * German (mythology), a South Slavic mythological being * Germans (band), a Canadian rock band * "German" (song), a 2019 song by No Money Enterprise * ''The German'', a 2008 short film * "The Germans", an episode of ''Fawlty Towers'' * ''The German'', a nickname for Congolese rebel André Kisase Ngandu See also * Germanic (other) * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1926 Births
Events January * January 3 – Theodoros Pangalos (general), Theodoros Pangalos declares himself dictator in Greece. * January 8 **Abdul-Aziz ibn Saud is crowned King of Kingdom of Hejaz, Hejaz. ** Bảo Đại, Crown Prince Nguyễn Phúc Vĩnh Thuy ascends the throne, the last monarch of Vietnam. * January 12 – Freeman Gosden and Charles Correll premiere their radio program ''Sam 'n' Henry'', in which the two white performers portray two black characters from Harlem looking to strike it rich in the big city (it is a precursor to Gosden and Correll's more popular later program, ''Amos 'n' Andy''). * January 16 – A BBC comic radio play broadcast by Ronald Knox, about a workers' revolution, causes a panic in London. * January 21 – The Belgian Parliament accepts the Locarno Treaties. * January 26 – Scottish inventor John Logie Baird demonstrates a mechanical television system at his London laboratory for members of the Royal Institution and a report ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 November 2018, DBLP is a branch of Schloss Dagstuhl – Leibniz-Zentrum für Informatik (LZI). DBLP listed more than 5.4 million journal articles, conference papers, and other publications on computer science in December 2020, up from about 14,000 in 1995 and 3.66 million in July 2016. All important journals on computer science are tracked. Proceedings papers of many conferences are also tracked. It is mirrored at three sites across the Internet. For his work on maintaining DBLP, Michael Ley received an award from the Association for Computing Machinery (ACM) and the VLDB Endowment Special Recognition Award in 1997. Furthermore, he was awarded the ACM Distinguished Service Award for "creating, developing, and curating DBLP" in 2019. ''DBLP'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 the set of natural numbers ''n'' such that there is a finite model for ''ψ'' with ''n'' elements. If the vocabulary for ''ψ'' consists only of relational symbols, then ''ψ'' can be regarded as a sentence in existential second-order logic (ESOL) quantified over the relations, over the empty vocabulary. A ''generalised spectrum'' is the set of models of a general ESOL sentence. Examples * The spectrum of the first-order formula \exists z,o ~ \forall a,b,c ~ \exists d,e :a+z=a=z+a ~ \land~ a\cdot z=z=z\cdot a ~ \land~ a+d = z :\land~ a+b = b+a ~ \land~ a\cdot(b+c) = a\cdot b+a\cdot c ~ \land~(a+b)+c=a+(b+c) :\land~ a \cdot o=a=o \cdot a ~ \land~ a\cdot e=o ~\land~ (a\cdot b)\cdot c=a\cdot (b\cdot c) is \, the set of powers of a prime nu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computability Theory
Computability theory, also known as recursion theory, is a branch of mathematical logic, computer science, and the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees. The field has since expanded to include the study of generalized computability and definability. In these areas, computability theory overlaps with proof theory and effective descriptive set theory. Basic questions addressed by computability theory include: * What does it mean for a function on the natural numbers to be computable? * How can noncomputable functions be classified into a hierarchy based on their level of noncomputability? Although there is considerable overlap in terms of knowledge and methods, mathematical computability theorists study the theory of relative computability, reducibility notions, and degree structures; those in the computer science field focus on the theory of subrecursive hierarchies, formal methods, and formal languages ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Greifswald
Greifswald (), officially the University and Hanseatic City of Greifswald (german: Universitäts- und Hansestadt Greifswald, Low German: ''Griepswoold'') is the fourth-largest city in the German state of Mecklenburg-Western Pomerania after Rostock, Schwerin and Neubrandenburg. In 2021 it surpassed Stralsund for the first time, and became the largest city in the Pomeranian part of the state. It sits on the River Ryck, at its mouth into the Danish Wiek (''Dänische Wiek''), a sub-bay of the Bay of Greifswald (''Greifswalder Bodden''), which is itself a sub-bay of the Bay of Pomerania (''Pommersche Bucht'') of the Baltic Sea. It is the seat of the district of Western Pomerania-Greifswald, and is located roughly in the middle between the two largest Pomeranian islands of Rugia (''Rügen'') and Usedom. The closest larger cities are Stralsund, Rostock, Szczecin and Schwerin. It lies west of the River Zarow, the historical cultural and linguistic boundary between West (west of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
