and of course
1. Kurt Godel
https://en.wikipedia.org/wiki/Kurt_G%C3%B6del
Kurt Friedrich Gödel (/ˈɡɜːrdəl/ GUR-dəl,[2] German: [kʊʁt ˈɡøːdl̩] i; April 28, 1906 – January 14, 1978) 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 had an immense effect upon scientific and philosophical thinking in the 20th century, a time when others such as Bertrand Russell,[3] Alfred North Whitehead,[3] and David Hilbert were using logic and set theory to investigate the foundations of mathematics, building on earlier work by the likes of Richard Dedekind, Georg Cantor and Gottlob Frege.
Gödel's discoveries in the foundations of mathematics led to the proof of his completeness theorem in 1929 as part of his dissertation to earn a doctorate at the University of Vienna, and the publication of Gödel's incompleteness theorems two years later, in 1931. The first incompleteness theorem states that for any ω-consistent recursive axiomatic system powerful enough to describe the arithmetic of the natural numbers (for example, Peano arithmetic), there are true propositions about the natural numbers that can be neither proved nor disproved from the axioms.
2. Alonzo Church
https://en.wikipedia.org/wiki/Alonzo_Church
Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician, computer scientist, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science.[2] He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem ("decision problem"), the Frege–Church ontology, and the Church–Rosser theorem. He also worked on philosophy of language (see e.g. Church 1970). Alongside his doctoral student Alan Turing, Church is considered one of the founders of computer science.[3][4]
3. Hillary Putnam
https://en.wikipedia.org/wiki/Hilary_Putnam
Hilary Whitehall Putnam (/ˈpʌtnəm/; July 31, 1926 – March 13, 2016) was an American philosopher, mathematician, and computer scientist, and a major figure in analytic philosophy in the second half of the 20th century. He made significant contributions to philosophy of mind, philosophy of language, philosophy of mathematics, and philosophy of science.[5] Outside philosophy, Putnam contributed to mathematics and computer science. Together with Martin Davis he developed the Davis–Putnam algorithm for the Boolean satisfiability problem[6] and he helped demonstrate the unsolvability of Hilbert's tenth problem.[7]
Putnam was known for his willingness to apply equal scrutiny to his own philosophical positions as to those of others, subjecting each position to rigorous analysis until he exposed its flaws.[8] As a result, he acquired a reputation for frequently changing his positions.[9] In philosophy of mind, Putnam is known for his argument against the type-identity of mental and physical states based on his hypothesis of the multiple realizability of the mental, and for the concept of functionalism, an influential theory regarding the mind–body problem.[5][10] In philosophy of language, along with Saul Kripke and others, he developed the causal theory of reference, and formulated an original theory of meaning, introducing the notion of semantic externalism based on a thought experiment called Twin Earth.[11]
4. Saul Kripke (of Kripke Semantics)
https://en.wikipedia.org/wiki/Saul_Kripke
Saul Aaron Kripke (/ˈkrɪpki/; November 13, 1940 – September 15, 2022) was an American analytic philosopher and logician. He was Distinguished Professor of Philosophy at the Graduate Center of the City University of New York and emeritus professor at Princeton University. Kripke is considered one of the most important philosophers of the latter half of the 20th century.[6] Since the 1960s, he has been a central figure in a number of fields related to mathematical and modal logic, philosophy of language and mathematics, metaphysics, epistemology, and recursion theory.
Kripke made influential and original contributions to logic, especially modal logic. His principal contribution is a semantics for modal logic involving possible worlds, now called Kripke semantics.[7] He received the 2001 Schock Prize in Logic and Philosophy.
Kripke was also partly responsible for the revival of metaphysics and essentialism after the...
5.
https://en.wikipedia.org/wiki/Willard_Van_Orman_Quine
with McClosky gave Quine-McCluskey logic minimization algorithm. This has the advantage of being algebraic as opposed to Karnaugh maps equivalently Vietch maps which are more visual/graphic/geometric.
Willard Van Orman Quine (/kwaɪn/; known to his friends as "Van";[9] June 25, 1908 – December 25, 2000) was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century".[10] He served as the Edgar Pierce Chair of Philosophy at Harvard from 1956 to 1978.
Quine was a teacher of logic and set theory. Quine was famous for his position that first order logic is the only kind worthy of the name, and developed his own system of mathematics and set theory, known as New Foundations. In philosophy of mathematics, he and his Harvard colleague Hilary Putnam developed the Quine–Putnam indispensability argument, an argument for the reality of mathematical entities.[11] However, he was the main proponent of the view that philosophy is not conceptual analysis, but continuous with science; the abstract branch of the empirical sciences. This led to his famous quip that "philosophy of science is philosophy enough".[12] He led a "systematic attempt to understand science from within the resources of science itself"[13] and developed an influential naturalized epistemology that tried to provide "an improved scientific explanation of how we have developed elaborate scientific theories on the basis of meager sensory input".[13] He also advocated ontological relativity in science, known as the Duhem–Quine thesis.
Quine's book on Mathematcial Logic is a must read
6. The list cannot be complete without mentioning Betrand Russell
https://en.wikipedia.org/wiki/Bertrand_Russell
yet it is still an incomplete list.