- Fields of mathematics
- >
- Mathematical logic
- >
- Computability theory
- >
- Computability theorists

- Philosophy of mathematics
- >
- Mathematical logic
- >
- Computability theory
- >
- Computability theorists

- Theoretical computer science
- >
- Theory of computation
- >
- Computability theory
- >
- Computability theorists

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

© 2023 Useful Links.