Limited Time Offer
Premium members can get their quote collection automatically imported into their Quotewise collections.
" "In short, Godel showed that provability is a weaker notion than truth, no matter what axiomatic system is involved.
Douglas Hofstadter (born February 15, 1945) is a mathematician, cognitive scientist, and Pulitzer Prize winning author.
Biography information from Wikiquote
Premium members can get their quote collection automatically imported into their Quotewise collections.
Related quotes. More quotes will automatically load as you scroll down, or you can use the load more buttons.
"The "space" of all possible programs is so huge that no one can have a sense of what is possible. Each higher-level language is naturally suited for exploring certain regions of "program space"; thus the programmer, by using that language, is channeled into those areas of program space. He is not forced by the language into writing programs of any particular type, but the language makes it easy for him to do certain kinds of things. Proximity to a concept, and a gentle shove, are often all that is needed for a major discovery-and that is the reason for the drive towards languages of ever higher levels."
Premium members can get their quote collection automatically imported into their Quotewise collections.