Question: Gödel logic is named after a mathematician with what nationality?
Sentence (from "Gödel numbering"): In mathematical logic, a Gödel numbering is a function that assigns to each symbol and well-formed formula of some formal language a unique natural number, called its Gödel number.
Relevant evidence: No