Category
page 1Computability theorists
Alan Turing
English computer scientist (1912–1954)
Alfred Tarski
Polish-American logician (1901-1983)
Alonzo Church
American mathematician and logician (1903–1995)
Stephen Cole Kleene
American mathematician and theoretical computer scientist (1909–1994)
Wilhelm Ackermann
German mathematician best known for the Ackermann function (1896–1962)
Emil Leon Post
Polish-born American logician (1897–1954)
Rózsa Péter
Hungarian mathematician (1905-1977)
Louise Hay
French-born American mathematician
William Craig
American logician (1918–2016)
Andrzej Grzegorczyk
Polish mathematician and philosopher