Quote:
|
Originally Posted by David Bailey This is a relationship that is true however many times you run it - it is a theorem that you presumably proved for yourself without needing to execute it (and anyway, I wrote it in a simplified form for clarity).
The above example could be elaborated so that the program contained loops, recursion, whatever, and you would still have a theorem. |
I'm sorry David, but I just don't understand. Certain classes of programs can be proven correct, but there is no automatic way to prove an arbitrary program.
But more important, what does this have to do with simulating the brain? No one claims that proving an input/program/output results in consciousness. The claim is that running the simulation in the same way the brain actually works might result in consciousness. It's a process, not a result.
~~ Paul