Limits of technology
- intrinsic limits
- extrinsic limits
- research ideas
What computers cannot do
Mathematics themselves are limited through Gödel's incompleteness theorem.
The original computer paper is about a limit of the computer: the halting problem.
Computers are also limited by the hardware.
In limits.h , the C header file establishes what is the concrete reality that a program must be working with.
Limits change over time, but they are static at t = 0
Technique vs. the mind
Can machines ever be intelligent?
Dreyfus, Hubert (1965). Alchemy and Artificial Intelligence , RAND corporation.
In the 1960s, it was expected that computers would be humans at chess, prove mathematical theorems, and represent theories of psychology as computer programs.
AI assumes the mind is a technical object:
- neurons are like on/off switches
- the brain processes information signals through formal rules
- all knowledge can be formalized
- the world consists of facts represented by symbols
Human minds work differently:
- fringe consciousness vs. heuristically-guided search
- essence/accident discrimination vs. trial and error
- ambiguity tolerance vs. exhaustive enumeration
Limitations to AI:
- infinity of facts
- indeterminacy of needs
- reciprocity of context
After the shift from symbolic to probabilistic, are there new limits to machines thinking?
Computer power and human reason
Weizenbaum, J. (1976). Computer Power and Human Reason: From Judgment to Calculation (1st edition). W H Freeman & Co.