[PAR] [TLE] Gödel logic [SEP] 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. [PAR] [TLE] Kurt Gödel [SEP] 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.
[PAR] [TLE] Gödel logic [ SEP ] 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 . [PAR] [TLE] Kurt Gödel [ SEP ] 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 .
What is the original nationality of the namesake of Gödel logic?
What is the original nationality of the namesake of Gödel logic ?
Austrian
Austrian