Gödel[gœdˈl], Kurt 1906-1978.
The American Heritage® Dictionary of the English Language, 4th edition Copyright © 2010 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company. All rights reserved.
, Kurt 1906-1978.
Czech-born American mathematician and logician best known for his proof that the consistency of a mathematical system in which the truths of arithmetic can be expressed cannot be proven from within that system (1931).