Gödel logic is named after a mathematician with what nationality?
Kurt Gödel Kurt Friedrich Gödel ( , ; ] ; April 28, 1906 – January 14, 1978) was an Austrian, and later American, logician, mathematician, and philosopher. Considered along with Aristotle, Alfred Tarski and Gottlob Frege to be one of the most significant logicians in history, Gödel made an immense impact upon scientific and philosophical thinking in the 20th century, a time when others such as Bertrand Russell, Alfred North Whitehead, and David Hilbert were analyzing the use of logic and set theory to understand the foundations of mathematics pioneered by Georg Cantor.
William Kneale William Calvert Kneale (22 June 1906 – 24 June 1990) was an English logician best known for his 1962 book "The Development of Logic", a history of logic from its beginnings in Ancient Greece written with his wife Martha. Kneale was also known as a philosopher of science and the author of a book on probability and induction. Educated at the Liverpool Institute High School for boys, he later became a Fellow of Exeter College, Oxford, and in 1960 succeeded to the White's Professor of Moral Philosophy previously occupied by the linguistic philosopher J. L. Austin. He retired in 1966.