Gödel logic is named after a mathematician with what nationality?
Kurt Gödel 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.
Augustin-Louis Cauchy Baron Augustin-Louis Cauchy FRS FRSE (] ; 21 August 1789 – 23 May 1857) was a French mathematician and physicist who made pioneering contributions to analysis. He was one of the first to state and prove theorems of calculus rigorously, rejecting the heuristic principle of the generality of algebra of earlier authors. He almost singlehandedly founded complex analysis and the study of permutation groups in abstract algebra. A profound mathematician, Cauchy had a great influence over his contemporaries and successors. His writings range widely in mathematics and mathematical physics.