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.
Gerhard Ringel Gerhard Ringel (October 28, 1919, in Kollnbrunn, Austria – June 24, 2008, in Santa Cruz, California) was a German mathematician who earned his Ph.D. from the University of Bonn in 1951. He was one of the pioneers in graph theory and contributed significantly to the proof of the Heawood conjecture (now the Ringel-Youngs theorem), a mathematical problem closely linked with the Four Color Theorem.