Schneibster
Unregistered
- Joined
- Oct 4, 2005
- Messages
- 3,966
Tried to edit and hit some weird bug that wouldn't let me save. If it completes the save, this may be repetitious.
Just so everyone's clear, the fact that Turing was able to prove that we cannot construct a general algorithm that can tell whether another algorithm will halt or not means that we cannot use finite computation (that is, computation in which each step takes a finite amount of time) to determine that a program will produce infinite output; in other words, to find out in a finite period if a computer program can generate infinite Kolmogorov complexity, we would have to use the Turing halting program, which we already have proven cannot exist. It is therefore obvious that the shortest way to find out is to run the program and examine its output to see if it's infinite; which, equally obviously, being a finite computation, takes an infinite amount of time.
Just so everyone's clear, the fact that Turing was able to prove that we cannot construct a general algorithm that can tell whether another algorithm will halt or not means that we cannot use finite computation (that is, computation in which each step takes a finite amount of time) to determine that a program will produce infinite output; in other words, to find out in a finite period if a computer program can generate infinite Kolmogorov complexity, we would have to use the Turing halting program, which we already have proven cannot exist. It is therefore obvious that the shortest way to find out is to run the program and examine its output to see if it's infinite; which, equally obviously, being a finite computation, takes an infinite amount of time.