In short, Godel showed that provability is a weaker notion than truth, no matter what axiomatic system is involved. - Douglas Hofstadter

" "

In short, Godel showed that provability is a weaker notion than truth, no matter what axiomatic system is involved.

English
Collect this quote

About Douglas Hofstadter

Douglas Hofstadter (born February 15, 1945) is a mathematician, cognitive scientist, and Pulitzer Prize winning author.

Biography information from Wikiquote

Also Known As

Native Name: Douglas Richard Hofstadter
Alternative Names: Douglas R. Hofstadter
Limited Time Offer

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.

Shorter versions of this quote

Additional quotes by Douglas Hofstadter

"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."

Limited Time Offer

Premium members can get their quote collection automatically imported into their Quotewise collections.

"There can be conceptual skeletons on several different levels of abstraction. For instance, the "isomorphism" between Bongard problems 70 and 71, already pointed out, involves higher-level conceptual skeleton than that needed to solve either problem in isolation."

Loading...