|
Gödel Lecture
The Gödel Lecture is an honor in mathematical logic given by the Association for Symbolic Logic, associated with an annual lecture at the association's general meeting. The award is named after Kurt Gödel and has been given annually since 1990. Award winners The list of award winners and lecture titles is maintained online by the Association for Symbolic Logic. * 1990 Ronald Jensen, ''Inner Models and Large Cardinals.'' * 1991 Dana Scott, ''Will Logicians be Replaced by Machines?'' * 1992 Joseph R. Shoenfield, ''The Priority Method.'' * 1993 Angus Macintyre, ''Logic of Real and p-adic Analysis: Achievements and Challenges.'' * 1994 Donald A. Martin, ''L(R): A Survey.'' * 1995 Leo Harrington, ''Gödel, Heidegger, and Direct Perception (or, Why I am a Recursion Theorist).'' * 1996 Saharon Shelah, ''Categoricity without compactness.'' * 1997 Solomon Feferman, ''Occupations and Preoccupations with Gödel: His *Works* and the Work.'' * 1998 Alexander S. Kechris, ''Current T ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Logic
Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics. Since its inception, mathematical logic has both contributed to and been motivated by the study of foundations of mathematics. This study began in the late 19th century with the development of axiomatic frameworks for geometry, arithmetic, and Mathematical analysis, analysis. In the early 20th century it was shaped by David Hilbert's Hilbert's program, program to prove the consistency of foundational theories. Results of Kurt Gödel, Gerhard Gentzen, and others provided partial resolution to the program, and clarified the issues involved in pr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Michael O
Michael may refer to: People * Michael (given name), a given name * Michael (surname), including a list of people with the surname Michael Given name "Michael" * Michael (archangel), ''first'' of God's archangels in the Jewish, Christian and Islamic religions * Michael (bishop elect), English 13th-century Bishop of Hereford elect * Michael (Khoroshy) (1885–1977), cleric of the Ukrainian Orthodox Church of Canada * Michael Donnellan (1915–1985), Irish-born London fashion designer, often referred to simply as "Michael" * Michael (footballer, born 1982), Brazilian footballer * Michael (footballer, born 1983), Brazilian footballer * Michael (footballer, born 1993), Brazilian footballer * Michael (footballer, born February 1996), Brazilian footballer * Michael (footballer, born March 1996), Brazilian footballer * Michael (footballer, born 1999), Brazilian footballer Rulers =Byzantine emperors= *Michael I Rangabe (d. 844), married the daughter of Emperor Nikephoros I * Mi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rod Downey
Rodney Graham Downey (born 20 September 1957) is a New Zealand and Australian mathematician and computer scientist,. a professor in the School of Mathematics and Statistics at Victoria University of Wellington in New Zealand.Faculty profile Victoria University of Wellington, retrieved 19 February 2012. He is known for his work in and , and in particular for founding the field of parame ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Charles Parsons (philosopher)
Charles Dacre Parsons (born April 13, 1933) is an American philosopher best known for his work in the philosophy of mathematics and the study of the philosophy of Immanuel Kant. He is professor emeritus at Harvard University. Life and career Parsons is a son of the famous Harvard sociologist Talcott Parsons. He earned his Ph.D. in philosophy at Harvard University in 1961, under the direction of Burton Dreben and Willard Van Orman Quine.Charles D. Parsons, Edgar Pierce Professor of Philosophy, Emeritus Department of Philosophy. He taught for many years at |
Stevo Todorčević
Stevo Todorčević ( sr-Cyrl, Стево Тодорчевић; born February 9, 1955), is a Yugoslavian mathematician specializing in mathematical logic and set theory. He holds a Canada Research Chair in mathematics at the University of Toronto, and a director of research position at the Centre national de la recherche scientifique in Paris. Early life and education Todorčević was born in Ubovića Brdo. As a child he moved to Banatsko Novo Selo, and went to school in Pančevo. At Belgrade University, he studied pure mathematics, attending lectures by Đuro Kurepa. He began graduate studies in 1978, and wrote his doctoral thesis in 1979 with Kurepa as his advisor. Research Todorčević's work involves mathematical logic, set theory, and their applications to pure mathematics. In Todorčević's 1978 master’s thesis, he constructed a model of MA + ¬wKH in a way to allow him to make the continuum any regular cardinal, and so derived a variety of topological consequences. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alex Wilkie
Alex James Wilkie FRS (born 1948 in Northampton) is a British mathematician known for his contributions to model theory and logic. Previously Reader in Mathematical Logic at the University of Oxford, he was appointed to the Fielden Chair of Pure Mathematics at the University of Manchester in 2007. Education Alex Wilkie attended Aylesbury Grammar School and went on to gain his BSc in mathematics with first class honours from University College London in 1969, his MSc (in mathematical logic) from the University of London in 1970, and his PhD from the Bedford College, University of London in 1973 under the supervision of Wilfrid Hodges with a dissertation titled ''Models of Number Theory''. Career and research After his PhD he went on to an appointment as a lecturer in mathematics at Leicester University from 1972 to 1973, then a research fellow at the Open University from 1973 until 1978. He spent two periods as a junior lecturer in mathematics at Oxford University (1978–80 a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Julia F
Julia is usually a feminine given name. It is a Latinate feminine form of the name Julio and Julius. (For further details on etymology, see the Wiktionary entry "Julius".) The given name ''Julia'' had been in use throughout Late Antiquity (e.g. Julia of Corsica) but became rare during the Middle Ages, and was revived only with the Italian Renaissance. It became common in the English-speaking world only in the 18th century. Today, it is frequently used throughout the world. Statistics Julia was the 10th most popular name for girls born in the United States in 2007 and the 88th most popular name for women in the 1990 census there. It has been among the top 150 names given to girls in the United States for the past 100 years. It was the 89th most popular name for girls born in England and Wales in 2007; the 94th most popular name for girls born in Scotland in 2007; the 13th most popular name for girls born in Spain in 2006; the 5th most popular name for girls born in Sweden ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kit Fine
Kit Fine (born 26 March 1946) is a British philosopher, currently university professor and Silver Professor of Philosophy and Mathematics at New York University. Prior to joining the philosophy department of NYU in 1997, he taught at the University of Edinburgh, University of California, Irvine, University of Michigan and UCLA. The author of several books and dozens of articles in international academic journals, he has made notable contributions to the fields of philosophical logic, metaphysics, and the philosophy of language and also has written on ancient philosophy, in particular on Aristotle's account of logic and modality. He is also a distinguished research professor in the Department of Philosophy, University of Birmingham, UK. Since 2018, Fine is visiting professor at the University of Italian Switzerland. Education, family and career After graduating from Balliol College, Oxford (B.A., 1967), Fine received his Ph.D. from the University of Warwick in 1969, under t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John R
John R. (born John Richbourg, August 20, 1910 - February 15, 1986) was an American radio disc jockey who attained fame in the 1950s and 1960s for playing rhythm and blues music on Nashville radio station WLAC. He was also a notable record producer and artist manager. Richbourg was arguably the most popular and charismatic of the four announcers at WLAC who showcased popular African-American music in nightly programs from the late 1940s to the early 1970s. (The other three were Gene Nobles, Herman Grizzard, and Bill "Hoss" Allen.) Later rock music disc jockeys, such as Alan Freed and Wolfman Jack, mimicked Richbourg's practice of using speech that simulated African-American street language of the mid-twentieth century. Richbourg's highly stylized approach to on-air presentation of both music and advertising earned him popularity, but it also created identity confusion. Because Richbourg and fellow disc jockey Allen used African-American speech patterns, many listeners thought that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Anand Pillay
Anand Pillay (born 7 May 1951) is a British mathematician and logician working in model theory and its applications in algebra and number theory. Biography Pillay studied as an undergraduate at the University of Oxford, obtaining a Bachelor in Mathematics and Philosophy in 1973 at Balliol College. At the University of London, he received his master's degree in mathematics in 1974 and his PhD in 1978 with Wilfrid Hodges at Bedford College, titled ''Gaifman Operations, Minimal Models, and the Number of Countable Models''. In 1978, he was a Royal Society Fellow and visiting scientist at CNRS at Paris Diderot University. After teaching at the University of Manchester starting in 1981 and at McGill University in Canada, he joined the University of Notre Dame as an assistant professor in 1983, where he became an associate professor in 1986 and a full professor in 1988. From 1996 to 2006, he was Swanlund Professor at the University of Illinois Urbana-Champaign, where he is now P ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alexander Razborov
Aleksandr Aleksandrovich Razborov (russian: Алекса́ндр Алекса́ндрович Разбо́ров; born February 16, 1963), sometimes known as Sasha Razborov, is a Soviet and Russian mathematician and computational theorist. He is Andrew McLeish Distinguished Service Professor at the University of Chicago. Research In his best known work, joint with Steven Rudich, he introduced the notion of ''natural proofs'', a class of strategies used to prove fundamental lower bounds in computational complexity. In particular, Razborov and Rudich showed that, under the assumption that certain kinds of one-way functions exist, such proofs cannot give a resolution of the P = NP problem, so new techniques will be required in order to solve this question. Awards * Nevanlinna Prize (1990) for introducing the "approximation method" in proving Boolean circuit lower bounds of some essential algorithmic problems, * Erdős Lecturer, Hebrew University of Jerusalem, 1998. * Corres ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Richard Shore
Richard Arnold Shore (born August 18, 1946) is a professor of mathematics at Cornell University who works in recursion theory. He is particularly known for his work on \mathcal, the partial order of the Turing degrees. * Shore settled the Hartley Rogers Jr., Rogers homogeneity conjecture by showing that there are Turing degrees a and b such that \mathcal_a and \mathcal_b, the structures of the degrees above a and b respectively, are not isomorphic. * In joint work with Theodore Slaman, Shore showed that the Turing jump is definable in \mathcal. Career He was in 1983 an invited speaker at the International Congress of Mathematicians in Warsaw and gave a talk ''The Degrees of Unsolvability: the Ordering of Functions by Relative Computability''. In 2009 he was the Gödel Lecture, Gödel Lecturer (''Reverse mathematics: the playground of logic''). He was an editor from 1984 to 1993 of the Journal of Symbolic Logic and from 1993 to 2000 of the Bulletin of Symbolic Logic. In 2012 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
