Gregory John Chaitin is an Argentine-American mathematician and computer scientist. Beginning in the late 1960s, Chaitin made contributions to algorithmic information theory and metamathematics, in particular a computer-theoretic result equivalent to Gödel's incompleteness theorem. He is considered to be one of the founders of what is today known as algorithmic complexity together with Andrei Kolmogorov and Ray Solomonoff. Along with the works of e.g. Solomonoff, Kolmogorov, Martin-Löf, and Leonid Levin, algorithmic information theory became a foundational part of theoretical computer science, information theory, and mathematical logic. It is a common subject in several computer science curricula. Besides computer scientists, Chaitin's work draws attention of many philosophers and mathematicians to fundamental problems in mathematical creativity and digital philosophy.
George Boole was a largely self-taught English mathematician, philosopher and logician, most of whose short career was spent as the first professor of mathematics at Queen's College, Cork in Ireland. He worked in the fields of differential equations and algebraic logic, and is best known as the author of The Laws of Thought (1854) which contains Boolean algebra. Boolean logic is credited with laying the foundations for the information age. Boole maintained that:
No general method for the solution of questions in the theory of probabilities can be established which does not explicitly recognise, not only the special numerical bases of the science, but also those universal laws of thought which are the basis of all reasoning, and which, whatever they may be as to their essence, are at least mathematical as to their form.
Michael Oser Rabin is an Israeli mathematician and computer scientist and a recipient of the Turing Award.
Ian MacDougall Hacking is a Canadian philosopher specializing in the philosophy of science. Throughout his career, he has won numerous awards, such as the Killam Prize for the Humanities and the Balzan Prize, and been a member of many prestigious groups, including the Order of Canada, the Royal Society of Canada and the British Academy.
Andrew William Roscoe is a Scottish computer scientist. He was Head of the Department of Computer Science, University of Oxford from 2003 to 2014, and is a Professor of Computer Science. He is also a Fellow of University College, Oxford.
Carl Gustav "Peter" Hempel was a German writer and philosopher. He was a major figure in logical empiricism, a 20th-century movement in the philosophy of science. He is especially well known for his articulation of the deductive-nomological model of scientific explanation, which was considered the "standard model" of scientific explanation during the 1950s and 1960s. He is also known for the raven paradox.
Alexander Bogomolny was a Soviet-born Israeli American mathematician. He was Professor Emeritus of Mathematics at the University of Iowa, and formerly research fellow at the Moscow Institute of Electronics and Mathematics, senior instructor at Hebrew University and software consultant at Ben Gurion University. He wrote extensively about arithmetic, probability, algebra, geometry, trigonometry and mathematical games.
Formal epistemology uses formal methods from decision theory, logic, probability theory and computability theory to model and reason about issues of epistemological interest. Work in this area spans several academic fields, including philosophy, computer science, economics, and statistics. The focus of formal epistemology has tended to differ somewhat from that of traditional epistemology, with topics like uncertainty, induction, and belief revision garnering more attention than the analysis of knowledge, skepticism, and issues with justification.
Dov M. Gabbay is an Israeli logician. He is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London.
Patrick Colonel Suppes was an American philosopher who made significant contributions to philosophy of science, the theory of measurement, the foundations of quantum mechanics, decision theory, psychology and educational technology. He was the Lucie Stern Professor of Philosophy Emeritus at Stanford University and until January 2010 was the Director of the Education Program for Gifted Youth also at Stanford.
Hillel (Harry) Furstenberg is an American-Israeli mathematician and professor emeritus at the Hebrew University of Jerusalem. He is a member of the Israel Academy of Sciences and Humanities and U.S. National Academy of Sciences and a laureate of the Abel Prize and the Wolf Prize in Mathematics. He is known for his application of probability theory and ergodic theory methods to other areas of mathematics, including number theory and Lie groups.
Haim Shapira is an Israeli mathematician, pianist, speaker, philosopher and game theorist. He writes in Hebrew, and his books have been translated into English, Spanish, German, Portuguese, Italian, Russian and Korean. He is one of the most sought-after lecturers in Israel, and was also a keynote speaker at TEDxJaffa on game theory and strategy. His first two books in English are Happiness and Other Small Things of Absolute Importance and Gladiators, Pirates and Games of Trust. He also arranged and performed music on the soundtrack for John Wick: Chapter 2.
Tomek Bartoszyński is a Polish-American mathematician who works in set theory.
Gil Kalai is the Henry and Manya Noskwith Professor Emeritus of Mathematics at the Hebrew University of Jerusalem, Professor of Computer Science at the Interdisciplinary Center, Herzliya, and adjunct professor of mathematics and of computer science at Yale University.
Ran Raz is a computer scientist who works in the area of computational complexity theory. He was a professor in the faculty of mathematics and computer science at the Weizmann Institute. He is now a professor of computer science at Princeton University.
Eli Upfal is a computer science researcher, currently the Rush C. Hawkins Professor of Computer Science at Brown University. He completed his undergraduate studies in mathematics and statistics at the Hebrew University, Israel in 1978, received an M.Sc. in computer science from the Feinberg Graduate School of the Weizmann Institute of Science, Israel in 1980, and completed his PhD in computer science at the Hebrew University in 1983 under Eli Shamir. He has made contributions in a variety of areas. Most of his work involves randomized and/or online algorithms, stochastic processes, or the probabilistic analysis of deterministic algorithms. Particular applications include routing and communications networks, computational biology, and computational finance.
Ze'ev Wolf Goldman, later known as Ze'ev Ben-Haim, was a leading Israeli linguist and a former president of the Academy of the Hebrew Language.
Michael Lin is an Israeli mathematician, who has published scientific articles in the field of probability concentrating on Markov chains and ergodic theory. He serves as professor emeritus at the Department of Mathematics in Ben-Gurion University of the Negev (BGU). Additionally, he is a member of the academic board and serves as the academic coordinator at Achva Academic College. Professor Lin is considered a Zionist, as he gave up a position at Ohio State University in order to promote the field of mathematics in Israel.
Hannes Leitgeb is an Austrian philosopher and mathematician. He is Professor of Philosophy at the Ludwig Maximilian University of Munich and has received a Humboldt Professorship in 2010. His areas of research include logic, epistemology, philosophy of mathematics, philosophy of language, cognitive science, philosophy of science, and history of philosophy.
Nissim Francez is an Israeli professor emeritus in the Computer Science Faculty at the Technion and former head of Computational Linguistics Laboratory in the faculty.
