|
Tarski Lectures
The Alfred Tarski Lectures are an annual distinction in mathematical logic and series of lectures held at the University of California, Berkeley. Established in tribute to Alfred Tarski on the fifth anniversary of his death, the award has been given every year since 1989. Following a 2-year hiatus after the 2020 lecture was not given due to the COVID-19 pandemic, the lectures resumed in 2023. Tarski Lecturers The list of past Tarski lecturers is maintained by UC Berkeley. See also * Berkeley Center for New Media#Programs, Center for New Media Lectures * Howison Lectures in Philosophy, Howison Lectures * Gödel Lecture * List of mathematics awards * List of philosophy awards * List of logicians External links Site of the Alfred Tarski Lectures at UC Berkeley Mathematics References {{University of California, Berkeley Mathematics awards Mathematical logic University of California, Berkeley 1989 establishments in California Recurring events established in 1989 Unive ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Logic
Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability 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 th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ronald Jensen
Ronald Björn Jensen (born April 1, 1936) is an American mathematician who lives in Germany, primarily known for his work in mathematical logic and set theory. Career Jensen completed a BA in economics at American University in 1959, and a Ph.D. in mathematics at the University of Bonn in 1964. His supervisor was Gisbert Hasenjaeger. Jensen taught at Rockefeller University, 1969–71, and the University of California, Berkeley, 1971–73. The balance of his academic career was spent in Europe at the University of Bonn, the University of Oslo, the University of Freiburg, the University of Oxford, and the Humboldt-Universität zu Berlin, from which he retired in 2001. He now resides in Berlin. Jensen was honored by the Association for Symbolic Logic as the first Gödel Lecturer in 1990. In 2015, the European Set Theory Society awarded him and John R. Steel the Hausdorff Medal for their paper "K without the measurable". Results Jensen's better-known results include the: * Axiom ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Jonathan Pila
Jonathan Solomon Pila (born 1962) FRS One or more of the preceding sentences incorporates text from the royalsociety.org website where: is an Australian mathematician at the University of Oxford University of Melbourne in 1984. He was awarded a PhD from Stanford University in 1988, for research supervised by Peter Sarnak. His dissertation was entitled "Frobenius Maps of Abelian Varieties and Finding Roots of Unity in Finite Fields". In 2010, he received an MA from Oxford. Career and research Research interests lie in number theory and model theory. A focus has been applying the theory of o-minimality to Diophantine problems. This work began with an early paper with Enrico Bombieri, and developed through collaborations with Alex Wilkie and Umberto Zannier. The techniques obtained have led to advances in Diophantine problems, including Pila's unconditional proof of the André–Oort conjecture for powers of the modular curve. Work by Pila and Jacob Tsimerman, demonstrated ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Per Martin-Löf
Per Erik Rutger Martin-Löf (; ; born 8 May 1942) is a Sweden, Swedish logician, philosopher, and mathematical statistics, mathematical statistician. He is internationally renowned for his work on the foundations of probability, statistics, mathematical logic, and computer science. Since the late 1970s, Martin-Löf's publications have been mainly in logic. In philosophical logic, Martin-Löf has wrestled with the philosophy of logical consequence and Edmund Husserl#Philosophy of logic and mathematics, judgment, partly inspired by the work of Franz Brentano, Brentano, Gottlob Frege, Frege, and Edmund Husserl, Husserl. In mathematical logic, Martin-Löf has been active in developing intuitionistic type theory as a constructive foundation of mathematics; Martin-Löf's work on type theory has influenced computer science. Until his retirement in 2009, Per Martin-Löf held a joint chair for Mathematics and Philosophy at Stockholm University. [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Johan Van Benthem (logician)
Johannes Franciscus Abraham Karel (Johan) van Benthem (born 12 June 1949 in Rijswijk) is a University Professor (') of logic at the University of Amsterdam at the Institute for Logic, Language and Computation and professor of philosophy at Stanford University (at CSLI). He was awarded the Spinozapremie in 1996 and elected a Foreign Fellow of the American Academy of Arts & Sciences in 2015. Biography Van Benthem studied physics ( B.Sc. 1969), philosophy ( M.A. 1972) and mathematics ( M.Sc. 1973) at the University of Amsterdam and received a PhD from the same university under supervision of Martin Löb in 1977. Before becoming University Professor in 2003, he held appointments at the University of Amsterdam (1973–1977), at the University of Groningen (1977–1986), and as a professor at the University of Amsterdam (1986–2003). In 1992 he was elected member of the Royal Netherlands Academy of Arts and Sciences. Van Benthem is known for his research in the area of modal log ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Greg Hjorth
Greg Hjorth (14 June 1963 – 13 January 2011) was an Australian Professor of Mathematics, chess International Master (1984) and joint (with Ian Rogers) Commonwealth Champion in 1983. He worked in the field of mathematical logic. Chess career Hjorth came second in the 1980 Australian Chess Championship, at the age of 16. He won the Doeberl Cup in Canberra in 1982, 1985 and 1987, and played for Australia in the Chess Olympiads of 1982, 1984 and 1986. According to Chessmetrics, his best single performance was at the 1984 British Chess Championship, where he scored 4/7 against 2551-rated opposition, for a performance rating of 2570. Hjorth retired from most chess in the 1980s. Mathematical career Hjorth earned his PhD in 1993, under the direction of W. Hugh Woodin, with a dissertation entitled ''On the influence of second uniform indiscernible''. He held faculty positions at the University of California, Los Angeles and the University of Melbourne. The University Of Melb ... [...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 Pr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Yiannis N
Yannis, Yiannis, or Giannis (Γιάννης) is a common Greek given name, a variant of '' John'' (Hebrew) meaning "God is gracious." In formal Greek (e.g. all government documents and birth certificates) the name exists only as Ioannis (Ιωάννης). Variants include ''Yannis'' (Also Janni), ''Iannis'', ''Yannakis'', ''Yanis'', and the rare ''Yannos'', usually found in the Peloponnese and Cyprus. Feminine forms are Γιάννα ( Yianna, Gianna) and Ιωάννα ( Ioanna) which is the formal variant used in formal/government documents. Yannis may refer to: * Abu'l-Fath Yanis, Fatimid vizier * Ioannis Amanatidis, Greek footballer * Yannis Anastasiou, Greek footballer * Yiannis Andrianopoulos, Greek footballer *Giannis Antetokounmpo, Greek-Nigerian basketball player * Giannis Apostolidis, Greek footballer * Yiannis Arabatzis, Greek goalkeeper *Yannis Bakos, economist * Ioannis Banias (1939–2012), Greek politician *Yannis Behrakis, Greek photojournalist * Giannis Bezos, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Harvey Friedman (mathematician)
Harvey Friedman (born 23 September 1948)Handbook of Philosophical Logic, , p. 38 is an American mathematical logician at Ohio State University in Columbus, Ohio. He has worked on reverse mathematics, a project intended to derive the axioms of mathematics from the theorems considered to be necessary. In recent years, this has advanced to a study of Boolean relation theory, which attempts to justify large cardinal axioms by demonstrating their necessity for deriving certain propositions considered "concrete". Biography Friedman is the brother of mathematician Sy Friedman. Friedman earned his Ph.D. from the Massachusetts Institute of Technology in 1967, at age 19, with a dissertation on ''Subsystems of Analysis''. His advisor was Gerald Sacks. Friedman received the Alan T. Waterman Award in 1984. He also assumed the title of Visiting Scientist at IBM. He delivered the Tarski Lectures in 2007. In 1967, Friedman was listed in the ''Guinness Book of World Records'' for being ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Solomon Feferman
Solomon Feferman (December 13, 1928July 26, 2016) was an American philosopher and mathematician who worked in mathematical logic. In addition to his prolific technical work in proof theory, computability theory, and set theory, he was known for his contributions to the history of logic (for instance, via biographical writings on figures such as Kurt Gödel, Alfred Tarski, and Jean van Heijenoort) and as a vocal proponent of the philosophy of mathematics known as predicativism, notably from an anti- platonist stance. Life Solomon Feferman was born in The Bronx in New York City to working-class parents who had immigrated to the United States after World War I and had met and married in New York. Neither parent had any advanced education. The family moved to Los Angeles, where Feferman graduated from high school at age 16. He received his B.S. from the California Institute of Technology in 1948, and in 1957 his Ph.D. in mathematics from the University of California, Berkeley, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Zlil Sela
Zlil Sela () is an Israeli mathematician working in the area of geometric group theory. He is a Professor of Mathematics at the Hebrew University of Jerusalem. Sela is known for the solution of the isomorphism problem for torsion-free word-hyperbolic groups and for the solution of the Tarski conjecture about equivalence of first-order theories of finitely generated non-abelian free groups. Biographical data Sela received his Ph.D. in 1991 from the Hebrew University of Jerusalem, where his doctoral advisor was Eliyahu Rips. Prior to his current appointment at the Hebrew University, he held an Associate Professor position at Columbia University in New York.Faculty Members Win Fellowships Columbia University Record, May 15, 1996, Vol. 21, No. 27. While at Columbia, Sela won the [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
