Rózsa Péter
Rózsa Péter, born Rózsa Politzer, (17 February 1905 – 16 February 1977) was a Hungarian mathematician and logician. She is best known as the "founding mother of recursion theory".
Alfred Tarski
Alfred Tarski (/ˈtɑːrski/, born Alfred Teitelbaum; January 14, 1901 – October 26, 1983) was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, met
Emil Leon Post
Emil Leon Post (/poʊst/; February 11, 1897 – April 21, 1954) was an American mathematician and logician. He is best known for his work in the field that eventually became known as computability theory
Alan Turing
Alan Mathison Turing OBE FRS (/ˈtjʊərɪŋ/; 23 June 1912 – 7 June 1954) was an English mathematician, computer scientist, logician, cryptanalyst, philosopher, and theoretical biologist. Turing was highl
Wilhelm Ackermann
Wilhelm Friedrich Ackermann (/ˈækərmən/; German: [ˈakɐˌman]; 29 March 1896 – 24 December 1962) was a German mathematician and logician best known for his work in mathematical logic and the Ackermann f
Louise Hay (mathematician)
Louise Hay (June 14, 1935 – October 28, 1989) was a French-born American mathematician. Her work focused on recursively enumerable sets and computational complexity theory, which was influential with
Stephen Cole Kleene
Stephen Cole Kleene (/ˈkleɪni/ KLAY-nee; January 5, 1909 – January 25, 1994) was an American mathematician. One of the students of Alonzo Church, Kleene, along with Rózsa Péter, Alan Turing, Emil Post
Alonzo Church
Alonzo Church (June 14, 1903 – August 11, 1995) was a renowned American mathematician, computer scientist, logician, philosopher, professor and editor who made major contributions to mathematical logi
Saul Kripke
Saul Aaron Kripke (/ˈkrɪpki/; November 13, 1940 – September 15, 2022) was an American philosopher and logician in the analytic tradition. He was a Distinguished Professor of Philosophy at the Graduate
Andrzej Grzegorczyk
Andrzej Grzegorczyk ([ˈandʐɛj ɡʐɛˈɡɔrt͡ʂɨk]; 22 August 1922 – 20 March 2014) was a Polish logician, mathematician, philosopher, and ethicist noted for his work in computability, mathematical logic, an
William Craig (philosopher)
William Craig (November 13, 1918 – January 13, 2016) was an American academic and philosopher, who taught at the University of California, Berkeley, in Berkeley, California. His research interests inc