Related Research Articles
Alfred Tarski was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy.
Dana Stewart Scott is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His work on automata theory earned him the Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has worked also on modal logic, topology, and category theory.
Solomon Feferman was an American philosopher and mathematician who worked in mathematical logic.
Leon Albert Henkin was an American logician, whose works played a strong role in the development of logic, particularly in the theory of types. He was an active scholar at the University of California, Berkeley, where he made great contributions as a researcher, teacher, as well as in administrative positions. At this university he directed, together with Alfred Tarski, the Group in Logic and the Methodology of Science, from which many important logicians and philosophers emerged. He had a strong sense of social commitment and was a passionate defensor of his pacifist and progressive ideas. He took part in many social projects aimed at teaching mathematics, as well as projects aimed at supporting women's and minority groups to pursue careers in mathematics and related fields. A lover of dance and literature, he appreciated life in all its facets: art, culture, science and, above all, the warmth of human relations. He is remembered by his students for his great kindness, as well as for his academic and teaching excellence.
Richard Merritt Montague was an American mathematician and philosopher who made contributions to mathematical logic and the philosophy of language. He is known for proposing Montague grammar to formalize the semantics of natural language. As a student of Alfred Tarski, he also contributed early developments to axiomatic set theory (ZFC). For the latter half of his life, he was a professor at the University of California, Los Angeles until his early death, believed to be a homicide, at age 40.
Julia Hall Bowman Robinson was an American mathematician noted for her contributions to the fields of computability theory and computational complexity theory—most notably in decision problems. Her work on Hilbert's tenth problem played a crucial role in its ultimate resolution. Robinson was a 1983 MacArthur Fellow.
The Lwów–Warsaw School was an interdisciplinary school founded by Kazimierz Twardowski in 1895 in Lemberg, Austro-Hungary.
Jean Louis Maxime van Heijenoort was a historian of mathematical logic. He was also a personal secretary to Leon Trotsky from 1932 to 1939, and an American Trotskyist until 1947.
Robert Lawson Vaught was a mathematical logician and one of the founders of model theory.
Mojżesz Presburger, or Prezburger, was a Polish Jewish mathematician, logician, and philosopher. He was a student of Alfred Tarski, Jan Łukasiewicz, Kazimierz Ajdukiewicz, and Kazimierz Kuratowski. He is known for, among other things, having invented Presburger arithmetic as a student in 1929 – a form of arithmetic in which one allows induction but removes multiplication, to obtain a decidable theory.
Andrzej Ehrenfeucht is a Polish-American mathematician and computer scientist.
Verena Esther Huber-Dyson was a Swiss-American mathematician, known for her work on group theory and formal logic. She has been described as a "brilliant mathematician", who did research on the interface between algebra and logic, focusing on undecidability in group theory. At the time of her death, she was emeritus faculty in the philosophy department of the University of Calgary, Alberta.
John Corcoran was an American logician, philosopher, mathematician, and historian of logic. He is best known for his philosophical work on concepts such as the nature of inference, relations between conditions, argument-deduction-proof distinctions, the relationship between logic and epistemology, and the place of proof theory and model theory in logic. Nine of Corcoran's papers have been translated into Spanish, Portuguese, Persian, and Arabic; his 1989 "signature" essay was translated into three languages. Fourteen of his papers have been reprinted; one was reprinted twice.
John Charles Chenoweth McKinsey, usually cited as J. C. C. McKinsey, was an American mathematician known for his work on mathematical logic and game theory. He also made significant contributions to modal logic.
Boris Zilber is a Soviet-British mathematician who works in mathematical logic, specifically model theory. He is a professor of mathematical logic at the University of Oxford.
Wanda Szmielew née Montlak was a Polish mathematical logician who first proved the decidability of the first-order theory of abelian groups.
Laurentius Petrus Dignus "Lou" van den Dries is a Dutch mathematician working in model theory. He is a professor emeritus of mathematics at the University of Illinois at Urbana–Champaign.
Anita Burdman Feferman was an American historian of mathematics and biographer, known for her biographies of Jean van Heijenoort and of Alfred Tarski.
Anne C. Morel was an American mathematician known for her work in logic, order theory, and algebra. She was the first female full professor of mathematics at the University of Washington.
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.
References
- ↑ Feferman, Anita Burdman; Feferman, Solomon (2004-10-04). Alfred Tarski: Life and Logic. Cambridge University Press. p. 266. ISBN 978-0-521-80240-6.
- ↑ Tarski Committee (December 1988). "Announcement". Synthese. 77 (3): Back matter. JSTOR 20116602 – via JSTOR.
On the occasion of the fifth anniversary of the death of Alfred Tarski we announce the inauguration of an annual series of Alfred Tarski Lectures to be delivered at the University of California, Berkeley.
- 1 2 3 "The Tarski Lectures | Department of Mathematics at University of California Berkeley". math.berkeley.edu. Retrieved 2021-11-02.
- ↑ "Group in Logic and the Methodology of Science - Past Tarski Lectures". logic.berkeley.edu. Retrieved 2021-11-02.
Located in: Berkeley, California | |||||||||
| Academics |
|  | |||||||
| Athletics |
| ||||||||
| Campus |
| ||||||||
| Research | |||||||||
| Organizations | |||||||||
| Related articles | |||||||||
| |||||||||