Are thinking computers mathematically possible? [7]
Is it mathematically possible for a computer to think as well as a human can? Does the mathematics of computation contain anything to prohibit machines from thinking?

Robert Horn Map 7: Are Thinking Computers Mathematically Possible?
A full-sized version of the original can be ordered here.

The questions explored in Map 7 – Are thinking computers mathematically possible? are:
  • Is mechanistic philosophy valid?
  • Does Gödel's theorem show that machines can't think?
  • Does Gödel's theorem show that machines can't be conscious?
  • Do mathematical theorems like Gödel's show that computers are intrinsically limited?
  • Does Gödel's theorem show that mathematical insight is non-algorithmic?
  • Can automata think?
  • Is the Lucas argument dialectical?
  • Can improved machines beat the Lucas argument?
  • Is the use of consistency in the Lucas argument problematic?
  • Other Lucas arguments

 

Immediately related elementsHow this works
-
Artificial Intelligence »Artificial Intelligence
Are thinking computers mathematically possible? [7]
A computer can apply this formula: Thought = Question * Goals. »A computer can apply this formula: Thought = Question * Goals.
Can computers be programmed to daydream? If so, then how? »Can computers be programmed to daydream? If so, then how?
What is common sense? Is it based on questions? Is that science? »What is common sense? Is it based on questions? Is that science?
No: computers are limited by Gödel's theorems »No: computers are limited by Gödel's theorems
Yes: Automata can think »Yes: Automata can think
Computers conduct the action and come to automatic conclusions »Computers conduct the action and come to automatic conclusions
Without overlap, nothing would make any sense. »Without overlap, nothing would make any sense.
+Komentarai (1)
+Citavimą (0)
+About