In 1930 this man recieved a doctorate for the University of Vienna for his "Comleteness" Proof, which demonstrated the valodity of logical rules. His next major achievement was his "Incompleteness" Proof, which stated that any procedure for proving the truths of any number theory will be incomplete, though he is best known for his contribution to the theory of axioms. for 
In 1930 this man recieved a doctorate for the University of Vienna for his "Comleteness" Proof, which demonstrated the valodity of logical rules. His next major achievement was his "Incompleteness" Proof, which stated that any procedure for proving the truths of any number theory will be incomplete, though he is best known for his contribution to the theory of axioms. for 10 points name this scientist, written about by Douglas Hofsteder along with Escher and Bach.
In 1930 this man recieved a doctorate for the University of Vienna for his "Comleteness" Proof, which demonstrated the valodity of logical rules.
Kurt {Goedel}