Kurt Friedrich Gödel was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel profoundly influenced scientific and philosophical thinking in the 20th century, building on earlier work by Richard Dedekind, Georg Cantor and Gottlob Frege.
Peter Guthrie Tait was a Scottish mathematical physicist and early pioneer in thermodynamics. He is best known for the mathematical physics textbook Treatise on Natural Philosophy, which he co-wrote with Lord Kelvin, and his early investigations into knot theory.
Saharon Shelah is an Israeli mathematician. He is a professor of mathematics at the Hebrew University of Jerusalem and Rutgers University in New Jersey.
Keith James Devlin is a British mathematician and popular science writer. Since 1987 he has lived in the United States. He has dual British-American citizenship.
Hao Wang was a Chinese-American logician, philosopher, mathematician, and commentator on Kurt Gödel.
Robin Oliver Gandy was a British mathematician and logician. He was a friend, student, and associate of Alan Turing, having been supervised by Turing during his PhD at the University of Cambridge, where they worked together.
Kenneth George "Ken" Binmore, is an English mathematician, economist, and game theorist, a Professor Emeritus of Economics at University College London (UCL) and a Visiting Emeritus Professor of Economics at the University of Bristol. As a founder of modern economic theory of bargaining, he made important contributions to the foundations of game theory, experimental economics, evolutionary game theory and analytical philosophy. He took up economics after holding the Chair of Mathematics at the London School of Economics. The switch has put him at the forefront of developments in game theory. His other interests include political and moral philosophy, decision theory, and statistics. He has written over 100 scholarly papers and 14 books.
Ronald Björn Jensen is an American mathematician who lives in Germany, primarily known for his work in mathematical logic and set theory.
Matthew Hennessy is an Irish computer scientist who has contributed especially to concurrency, process calculi and programming language semantics.
Michael Paul Fourman FBCS FRSE is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the School of Informatics from 2001 to 2009.
The Mathematical Institute is the mathematics department at the University of Oxford in England. It is one of the nine departments of the university's Mathematical, Physical and Life Sciences Division. The institute includes both pure and applied mathematics and is one of the largest mathematics departments in the United Kingdom with about 200 academic staff. It was ranked as the top mathematics department in the UK in the 2021 Research Excellence Framework. Research at the Mathematical Institute covers all branches of mathematical sciences ranging from, for example, algebra, number theory, and geometry to the application of mathematics to a wide range of fields including industry, finance, networks, and the brain. It has more than 850 undergraduates and 550 doctoral or masters students. The institute inhabits a purpose-built building between Somerville College and Green Templeton College on Woodstock Road, next to the Faculty of Philosophy.
Peter Jephson Cameron FRSE is an Australian mathematician who works in group theory, combinatorics, coding theory, and model theory. He is currently half-time Professor of Mathematics at the University of St Andrews, and Emeritus Professor at Queen Mary University of London.
Alex James Wilkie FRS 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.
Sy-David Friedman is an American and Austrian mathematician and a (retired) professor of mathematics at the University of Vienna and the former director of the Kurt Gödel Research Center for Mathematical Logic. His main research interest lies in mathematical logic, in particular in set theory and recursion theory.
Gisbert F. R. Hasenjaeger was a German mathematical logician. Independently and simultaneously with Leon Henkin in 1949, he developed a new proof of the completeness theorem of Kurt Gödel for predicate logic. He worked as an assistant to Heinrich Scholz at Section IVa of Oberkommando der Wehrmacht Chiffrierabteilung, and was responsible for the security of the Enigma machine.
Joel David Hamkins is an American mathematician and philosopher who is O'Hara Professor of Philosophy and Mathematics at the University of Notre Dame. He has made contributions in mathematical and philosophical logic, set theory and philosophy of set theory, in computability theory, and in group theory.
Victor Witold Marek, formerly Wiktor Witold Marek known as Witek Marek is a Polish mathematician and computer scientist working in the fields of theoretical computer science and mathematical logic.
Prof George Stanley Rushbrooke FRS FRSE was a 20th century British theoretical physicist.
Adrian Richard David Mathias is a British mathematician working in set theory. The forcing notion Mathias forcing is named for him.
Anand Pillay is a British mathematician and logician working in model theory and its applications in algebra and number theory.
