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.
Errett Bishop Errett Albert Bishop (July 14, 1928 – April 14, 1983) was an American mathematician known for his work on analysis. He expanded constructive analysis in his 1967 "Foundations of Constructive Analysis", where he proved most of the important theorems in real analysis by constructive methods.