|
Kurt Schütte
Kurt Schütte (14 October 1909, Salzwedel – 18 August 1998, Munich) was a Germans, German mathematician who worked on proof theory and ordinal analysis. The Feferman–Schütte ordinal, which he showed to be the precise ordinal bound for predicativity, is named after him. He was the doctoral advisor of 16 students, including Wolfgang Bibel, Wolfgang Maaß, Wolfram Pohlers, and Martin Wirsing. Publications * ** ''Beweistheorie'', Springer, Grundlehren der mathematischen Wissenschaften, 1960; new edition trans. into English as ''Proof Theory'', Springer-Verlag 1977 * ''Vollständige Systeme modaler und intuitionistischer Logik'', Springer 1968 * with Wilfried Buchholz: ''Proof Theory of Impredicative Subsystems of Analysis'', Bibliopolis, Naples 1988 * with Helmut Schwichtenberg''Mathematische Logik'' in Fischer, Hirzebruch et al. (eds.) ''Ein Jahrhundert Mathematik 1890-1990'', Vieweg 1990 References * * External links Kurt Schütte at the Mathematics Genealogy Project ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Salzwedel
Salzwedel (, officially known as Hansestadt Salzwedel; Low German: ''Soltwedel'') is a town in Saxony-Anhalt, Germany. It is the capital of the district (''Kreis'') of Altmarkkreis Salzwedel, and has a population of approximately 21,500. Salzwedel is located on the German Timber-Frame Road. Geography Salzwedel is situated at the river Jeetze in the northwestern part of the Altmark. It is located between Hamburg and Magdeburg. Distances from Uelzen are E, S of Lüchow, N of Gardelegen and W of Arendsee. In 1968 test drillings revealed a significant reservoir of natural gas near the city. Divisions The town Salzwedel consists of Salzwedel proper and the following ''Ortschaften'' or municipal divisions:Hauptsatzung der Hansestadt Salzwedel § 12, 24 October ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Martin Wirsing
Martin Wirsing (born 24 December 1948 in Bayreuth) is a German computer scientist, and Professor at the Ludwig-Maximilians-Universität München, Germany. Biography Wirsing studied Mathematics at Ludwig-Maximilians-Universität München (LMU) and at Université Paris VII, Université Paris 7, obtaining the Diplom in Mathematics from LMU and the Mâitrise-ès-Sciences Mathématiques at the Université Paris VIII, Université Paris 7. Supervised by Kurt Schütte, he received his PhD from LMU in 1976, with a thesis on a topic in mathematical logic (Das Entscheidungsproblem der Prädikatenlogik mit Identität und Funktionszeichen). In 1975-1983 he was a research assistant at the chair of F.L. Bauer at Technical University of Munich where in 1984 he completed his Habilitation in Informatics; in 1985 Wirsing became full professor and Chair of Informatics at the University of Passau and in 1992 he returned to LMU as the Chair of Programming and Software Engineering. Several years he se ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
People From The Province Of Saxony
A person ( : people) is a being that has certain capacities or attributes such as reason, morality, consciousness or self-consciousness, and being a part of a culturally established form of social relations such as kinship, ownership of property, or legal responsibility. The defining features of personhood and, consequently, what makes a person count as a person, differ widely among cultures and contexts. In addition to the question of personhood, of what makes a being count as a person to begin with, there are further questions about personal identity and self: both about what makes any particular person that particular person instead of another, and about what makes a person at one time the same person as they were or will be at another time despite any intervening changes. The plural form "people" is often used to refer to an entire nation or ethnic group (as in "a people"), and this was the original meaning of the word; it subsequently acquired its use as a plural form of per ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
People From Salzwedel
A person (plural, : people) is a being that has certain capacities or attributes such as reason, morality, consciousness or self-consciousness, and being a part of a culturally established form of social relations such as kinship, ownership of property, or legal obligation, legal responsibility. The defining features of personhood and, consequently, what makes a person count as a person, differ widely among cultures and contexts. In addition to the question of personhood, of what makes a being count as a person to begin with, there are further questions about personal identity and self: both about what makes any particular person that particular person instead of another, and about what makes a person at one time the same person as they were or will be at another time despite any intervening changes. The plural form "people" is often used to refer to an entire nation or ethnic group (as in "a people"), and this was the original meaning of the word; it subsequently acquired its us ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1998 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 The following pages, corresponding to the Gregorian calendar, list the historical events, births, deaths, and holidays and observances of the specified day of the year: Footnotes See also * Leap year * List of calendars * List of non-standard ... * Deaths by year {{DEFAULTSORT:deaths by year ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1909 Births
Nineteen or 19 may refer to: * 19 (number), the natural number following 18 and preceding 20 * one of the years 19 BC, AD 19, 1919, 2019 Films * ''19'' (film), a 2001 Japanese film * ''Nineteen'' (film), a 1987 science fiction film Music * 19 (band), a Japanese pop music duo Albums * ''19'' (Adele album), 2008 * ''19'', a 2003 album by Alsou * ''19'', a 2006 album by Evan Yo * ''19'', a 2018 album by MHD * ''19'', one half of the double album ''63/19'' by Kool A.D. * ''Number Nineteen'', a 1971 album by American jazz pianist Mal Waldron * ''XIX'' (EP), a 2019 EP by 1the9 Songs * "19" (song), a 1985 song by British musician Paul Hardcastle. * "Nineteen", a song by Bad4Good from the 1992 album '' Refugee'' * "Nineteen", a song by Karma to Burn from the 2001 album ''Almost Heathen''. * "Nineteen" (song), a 2007 song by American singer Billy Ray Cyrus. * "Nineteen", a song by Tegan and Sara from the 2007 album '' The Con''. * "XIX" (song), a 2014 song by Slipk ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics Genealogy Project
The Mathematics Genealogy Project (MGP) is a web-based database for the academic genealogy of mathematicians.. By 31 December 2021, it contained information on 274,575 mathematical scientists who contributed to research-level mathematics. For a typical mathematician, the project entry includes graduation year, thesis title (in its Mathematics Subject Classification), '' alma mater'', doctoral advisor, and doctoral students.. Origin of the database The project grew out of founder Harry Coonce's desire to know the name of his advisor's advisor.. Coonce was Professor of Mathematics at Minnesota State University, Mankato, at the time of the project's founding, and the project went online there in fall 1997.Mulcahy, Colm;The Mathematics Genealogy Project Comes of Age at Twenty-one(PDF) AMS Notices (May 2017) Coonce retired from Mankato in 1999, and in fall 2002 the university decided that it would no longer support the project. The project relocated at that time to North Dakota State U ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Helmut Schwichtenberg
Helmut Schwichtenberg (born 5 April 1942 in Żagań) is a German mathematical logician. Schwichtenberg studied mathematics from 1961 at the FU Berlin and from 1964 at the University of Münster, where he received his doctorate in 1968 from Dieter Rödding. He then worked as an assistant and then as a professor in Münster, and since 1978 has been professor of mathematical logic at the Ludwig-Maximilians-Universität Munich (successor of Kurt Schütte). Schwichtenberg deals with, among other things, proof theory, theory of computability, lambda calculus and applications of logic in computer science. He is a member of the Bavarian Academy of Sciences The Bavarian Academy of Sciences and Humanities (german: Bayerische Akademie der Wissenschaften) is an independent public institution, located in Munich. It appoints scholars whose research has contributed considerably to the increase of knowledg .... Selected publications * * (2nd edition 2000: ) * * References ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wolfgang Bibel
Leonhard Wolfgang Bibel (born on 28 October 1938 in Nuremberg) is a German computer scientist, mathematician and Professor emeritus at the Department of Computer Science of the Technische Universität Darmstadt. He was one of the founders of the research area of artificial intelligence in Germany and Europe and has been named as one of the ten most important researchers in the German artificial intelligence history by the Gesellschaft für Informatik. Bibel established the necessary institutions, conferences and scientific journals and promoted the necessary research programs to establish the field of artificial intelligence. Bibel has worked in the fields of automated deduction, knowledge representation, architecture of deductive systems and inference, planning, learning, program synthesis, as well as on topics concerning the implications of AI technology for society. His most outstanding scientific contribution was his connection method, which allows logical conclusions to be draw ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Munich
Munich ( ; german: München ; bar, Minga ) is the capital and most populous city of the States of Germany, German state of Bavaria. With a population of 1,558,395 inhabitants as of 31 July 2020, it is the List of cities in Germany by population, third-largest city in Germany, after Berlin and Hamburg, and thus the largest which does not constitute its own state, as well as the List of cities in the European Union by population within city limits, 11th-largest city in the European Union. The Munich Metropolitan Region, city's metropolitan region is home to 6 million people. Straddling the banks of the River Isar (a tributary of the Danube) north of the Northern Limestone Alps, Bavarian Alps, Munich is the seat of the Bavarian Regierungsbezirk, administrative region of Upper Bavaria, while being the population density, most densely populated municipality in Germany (4,500 people per km2). Munich is the second-largest city in the Bavarian dialects, Bavarian dialect area, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Doctoral Advisor
A doctoral advisor (also dissertation director, dissertation advisor; or doctoral supervisor) is a member of a university faculty whose role is to guide graduate students who are candidates for a doctorate, helping them select coursework, as well as shaping, refining and directing the students' choice of sub-discipline in which they will be examined or on which they will write a dissertation. Students generally choose advisors based on their areas of interest within their discipline, their desire to work closely with particular graduate faculty, and the willingness and availability of those faculty to work with them. In some countries, the student's advisor serves as the chair of the dissertation committee or the examination committee. In some cases, though, the person who serves those roles may be different from the faculty member who has most closely advised the student. For instance, in the Dutch academic system, only full professors (''hoogleraren'') and associate professo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ordinal Analysis
In proof theory, ordinal analysis assigns ordinals (often large countable ordinals) to mathematical theories as a measure of their strength. If theories have the same proof-theoretic ordinal they are often equiconsistent, and if one theory has a larger proof-theoretic ordinal than another it can often prove the consistency of the second theory. History The field of ordinal analysis was formed when Gerhard Gentzen in 1934 used cut elimination to prove, in modern terms, that the proof-theoretic ordinal of Peano arithmetic is ε0. See Gentzen's consistency proof. Definition Ordinal analysis concerns true, effective (recursive) theories that can interpret a sufficient portion of arithmetic to make statements about ordinal notations. The proof-theoretic ordinal of such a theory T is the supremum of the order types of all ordinal notations (necessarily recursive, see next section) that the theory can prove are well founded—the supremum of all ordinals \alpha for which the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
_1938.jpg "Click for more on -> People From The Province Of Saxony")
.svg "Click for more on -> Munich")