Anne S. Troelstra
Anne Sjerp Troelstra (10 August 1939 – 7 March 2019) was a professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. He was a constructivist logician, who was influential in the development of intuitionistic logic With Georg Kreisel, he was a developer of the theory of choice sequences. He wrote one of the first texts on linear logic, and, with Helmut Schwichtenberg, he co-wrote an important book on proof theory. He became a member of the Royal Netherlands Academy of Arts and Sciences The Royal Netherlands Academy of Arts and Sciences ( nl, Koninklijke Nederlandse Akademie van Wetenschappen, abbreviated: KNAW) is an organization dedicated to the advancement of science and literature in the Netherlands. The academy is housed ... in 1976. Troelstra died on 7 March 2019. Notes External linksHomepage of A. S. Troelstra: Dead Link - Archived : Retrieved on 27 June 2018 * 193 ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Maartensdijk
Maartensdijk is a village in the Netherlands, Dutch province of Utrecht (province), Utrecht. It is a part of the municipality of De Bilt, and lies about 4 km north of Bilthoven. History Maartensdijk was a separate municipality until 2001, when it merged with De Bilt. Until 1812 Maartensdijk was called Oostveen which is pronounced as 'oastfain'. Oostveen means "east fen". A fen is a wetland characterized by sphagnum moss, peat and an alkaline or neutral pH. Rendering this wetland into agricultural land was initiated by Bishop Godebald van Utrecht (1114–1127) when the Kromme Rijn ("Crooked Rhine") was dammed in 1122 at Wijk bij Duurstede. The same Bishop Godebald gave land development contracts to those who would completely drain this land and make it arable; Oostveen was a large section of this area. The oldest settlement in the area is the village of Voordorp, which gradually became known as Blauwkapel because the chapel's interior was entirely blue. The name Voordorp has ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Georg Kreisel
Georg Kreisel FRS (September 15, 1923 – March 1, 2015) was an Austrian-born mathematical logician who studied and worked in the United Kingdom and America. Biography Kreisel was born in Graz and came from a Jewish background; his family sent him to the United Kingdom before the Anschluss in 1938. He studied mathematics at Trinity College, Cambridge, and then, during World War II, worked on military subjects. Kreisel never took a Ph.D., though much later, in 1962, he was awarded the Cambridge degree of Sc.D., a `higher doctorate' given on the basis of published research. He taught at the University of Reading from 1949 until 1954 and then worked at the Institute for Advanced Study from 1955 to 1957. He returned to Reading in 1957, but then taught at Stanford University from 1958-1959. Then back at Reading for the year 1959-1960, and then the University of Paris 1960-1962. Kreisel was appointed a professor at Stanford University in 1962 and remained on the faculty t ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
University Of Amsterdam Alumni
A university () is an institution of higher (or tertiary) education and research which awards academic degrees in several academic disciplines. Universities typically offer both undergraduate and postgraduate programs. In the United States, the designation is reserved for colleges that have a graduate school. The word ''university'' is derived from the Latin ''universitas magistrorum et scholarium'', which roughly means "community of teachers and scholars". The first universities were created in Europe by Catholic Church monks. The University of Bologna (''Università di Bologna''), founded in 1088, is the first university in the sense of: *Being a high degree-awarding institute. *Having independence from the ecclesiastic schools, although conducted by both clergy and non-clergy. *Using the word ''universitas'' (which was coined at its foundation). *Issuing secular and non-secular degrees: grammar, rhetoric, logic, theology, canon law, notarial law.Hunt Janin: "The university ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
People From De Bilt
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 ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Members Of The Royal Netherlands Academy Of Arts And Sciences
The Royal Netherlands Academy of Arts and Sciences (Dutch: ''Koninklijke Nederlandse Akademie van Wetenschappen'', abbreviated: KNAW) is an organization dedicated to the advancement of science and literature in the Netherlands. The academy is housed in the Trippenhuis in Amsterdam. Founded in 1808, members are appointed for life by co-optation. Lists of members sorted alphabetically * Members of the Royal Netherlands Academy of Arts and Sciences (A) * Members of the Royal Netherlands Academy of Arts and Sciences (B) * Members of the Royal Netherlands Academy of Arts and Sciences (C) * Members of the Royal Netherlands Academy of Arts and Sciences (D) * Members of the Royal Netherlands Academy of Arts and Sciences (E) * Members of the Royal Netherlands Academy of Arts and Sciences (F) * Members of the Royal Netherlands Academy of Arts and Sciences (G) * Members of the Royal Netherlands Academy of Arts and Sciences (H) * Members of the Royal Netherlands Academy of Arts and Scie ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Dutch Mathematicians
Dutch commonly refers to: * Something of, from, or related to the Netherlands * Dutch people () * Dutch language () Dutch may also refer to: Places * Dutch, West Virginia, a community in the United States * Pennsylvania Dutch Country People Ethnic groups * Germanic peoples, the original meaning of the term ''Dutch'' in English ** Pennsylvania Dutch, a group of early Germanic immigrants to Pennsylvania *Dutch people, the Germanic group native to the Netherlands Specific people * Dutch (nickname), a list of people * Johnny Dutch (born 1989), American hurdler * Dutch Schultz (1902–1935), American mobster born Arthur Simon Flegenheimer * Dutch Mantel, ring name of American retired professional wrestler Wayne Maurice Keown (born 1949) * Dutch Savage, ring name of professional wrestler and promoter Frank Stewart (1935–2013) Arts, entertainment, and media Fictional characters * Dutch (''Black Lagoon''), an African-American character from the Japanese manga and anime ''Black ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
2019 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]   |
|
1939 Births
This year also marks the start of the Second World War, the largest and deadliest conflict in human history. Events Below, the events of World War II have the "WWII" prefix. January * January 1 ** Third Reich *** Jews are forbidden to work with Germans. *** The Youth Protection Act was passed on April 30, 1938 and the Working Hours Regulations came into effect. *** The Jews name change decree has gone into effect. ** The rest of the world *** In Spain, it becomes a duty of all young women under 25 to complete compulsory work service for one year. *** First edition of the Vienna New Year's Concert. *** The company of technology and manufacturing scientific instruments Hewlett-Packard, was founded in a garage in Palo Alto, California, by William (Bill) Hewlett and David Packard. This garage is now considered the birthplace of Silicon Valley. *** Sydney, in Australia, records temperature of 45 ˚C, the highest record for the city. *** Philipp Etter took over as Swi ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Royal Netherlands Academy Of Arts And Sciences
The Royal Netherlands Academy of Arts and Sciences ( nl, Koninklijke Nederlandse Akademie van Wetenschappen, abbreviated: KNAW) is an organization dedicated to the advancement of science and literature in the Netherlands. The academy is housed in the Trippenhuis in Amsterdam. In addition to various advisory and administrative functions it operates a number of research institutes and awards many prizes, including the Lorentz Medal in theoretical physics, the Dr Hendrik Muller Prize for Behavioural and Social Science and the Heineken Prizes. Main functions The academy advises the Dutch government on scientific matters. While its advice often pertains to genuine scientific concerns, it also counsels the government on such topics as policy on careers for researchers or the Netherlands' contribution to major international projects. The academy offers solicited and unsolicited advice to parliament, ministries, universities and research institutes, funding agencies and internationa ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Proof Theory
Proof theory is a major branchAccording to Wang (1981), pp. 3–4, proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. Jon Barwise, Barwise (1978) consists of four corresponding parts, with part D being about "Proof Theory and Constructive Mathematics". of mathematical logic that represents Mathematical proof, proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as Recursive data type, inductively-defined data structures such as list (computer science), lists, boxed lists, or Tree (data structure), trees, which are constructed according to the axioms and rule of inference, rules of inference of the logical system. Consequently, proof theory is syntax (logic), syntactic in nature, in contrast to model theory, which is Formal semantics (logic), semantic in nature. Some of the major areas of proof theory include structural proof theory, ... [...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]   |
|
Linear Logic
Linear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties of the latter. Although the logic has also been studied for its own sake, more broadly, ideas from linear logic have been influential in fields such as programming languages, game semantics, and quantum physics (because linear logic can be seen as the logic of quantum information theory), as well as linguistics, particularly because of its emphasis on resource-boundedness, duality, and interaction. Linear logic lends itself to many different presentations, explanations, and intuitions. Proof-theoretically, it derives from an analysis of classical sequent calculus in which uses of (the structural rules) contraction and weakening are carefully controlled. Operationally, this means that logical deduction is no longer merely about an ever-expanding collection of persistent "truths", ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |