Mind Matters News and Analysis on Natural and Artificial Intelligence

Taghalting problem

An array of symbols from the National Archives, Hämeenlinna, Finland

Artificial Intelligence Must Be Possible! Really…?

Many arguments for strong artificial intelligence depend on an ideological commitment to explicit, unproven theories about the universe

Not only is it valid to ask whether artificial intelligence is impossible but the argument can be pursued on a scientific basis with quantifiable, empirical evidence.

Read More ›
Water droplet on glossy surface of freshness orange and red apple
Apples and oranges in shadows

Why I Doubt That AI Can Match the Human Mind

Computers are exclusively theorem generators, while humans appear to be axiom generators

My primary reason for doubting that AI can match human intelligence is that the difference between mind and machine is a difference of kind, not of quantity. Understanding the distinction will help us exploit the abilities of each to their maximum potential.

Read More ›

If Computers Thought Like Fruit Flies, They Could Do More

But even with more sophisticated buzz, there remain "non-computable" things that a computer cannot be programmed to think

Recently, researchers discovered that fruit flies use a filter similar to a computer algorithm to assess the odors that help them find fruit, only the flies’ tools are more sophisticated: When a fly smells an odor, the fly needs to quickly figure out if it has smelled the odor before, to determine if the odor is new and something it should pay attention to,” says Saket Navlakha, an assistant professor in Salk’s Integrative Biology Laboratory. “In computer science, this is an important task called novelty detection. Computers use a Bloom filter for that, Navlakha, an integrative biologist, explains: When a search engine such as Google crawls the Web, it needs to know whether a website it comes across has previously Read More ›


Human intelligence as a halting oracle

Jonathan Bartlett proposes to model the human mind as a halting oracle.
A common objection to Bartlett’s idea is that humans cannot be halting oracles because we embed any unsolvable math problem as the halting condition for a loop and a human cannot tell us whether the loop will halt or not. This objection misses the fact that there is a range of oracles between plain Turing machines and a complete halting oracle. Read More ›