Tuesday, October 14, 2008

Halting problem

The halting problem. It describes the ability for a program to exist that can determine if another computer program will halt or not. This is highly similar to the incompleteness theorem of Godel.

The question is: Is human behavior inscrutable? Similar to the two above problems, human behavior contains self-reference; the concept of free will. Does such self-reference lead to paradoxes and unpredictability? 'Randomness' in human behavior then appears to come from not irrational behavior but rational thinking.

No comments: