Gödel logic is named after a mathematician with what nationality?
Gödel logic In mathematical logic, a first-order Gödel logic is a member of a family of finite- or infinite-valued logics in which the sets of truth values "V" are closed subsets of the interval [0,1] containing both 0 and 1. Different such sets "V" in general determine different Gödel logics. The concept is named after Kurt Gödel.
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.