There exist formal systems whose negative space (set of non-theorems) is not the positive space (set of theorems) of any formal system. - Douglas Hofstadter

" "

There exist formal systems whose negative space (set of non-theorems) is not the positive space (set of theorems) of any formal system.

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
Works in ChatGPT, Claude, or Any AI

Add semantic quote search to your AI assistant via MCP. One command setup.

Related quotes. More quotes will automatically load as you scroll down, or you can use the load more buttons.

Additional quotes by Douglas Hofstadter

My feeling is that the concept of superrationality is one whose truth will come to dominate among intelligent beings in the universe simply because its adherents will survive certain kinds of situations where its opponents will perish. Let’s wait a few spins of the galaxy and see. After all, healthy logic is whatever remains after evolution’s merciless pruning.

PREMIUM FEATURE
Advanced Search Filters

Filter search results by source, date, and more with our premium search tools.

Computers are ridiculous. So is science in general. CHURCH_TURING Thesis, Theodore Rosak Version
This view is prevalent among certain people who see in anything smacking of numbers or exactitude a threat to human values. It is too bad that they do not appreciate the depth and complexity and beauty involved in exploring abstract structures sch as the human mind, where, indeed, one comes in intimate contact with the ultimate questions of what to be human is.

Loading...