Mark Wrede's Comments
I wonder how they plan to deal with Gödel's Incompleteness Theorem? Humans deal with it by permitting inconsistency, since incompleteness is a given in the human condition, however, a computer that permitted inconsistency might not be relied upon as "intelligent."
It all boils down to this: Any man and woman can create a Turing machine. A device that was a Turing machine would be as fallible, unknowable, and inscrutable as another human being.
See my book at:
http://home.roadrunner.com/~markwrede/Math/RelationalDialectic.pdf
It all boils down to this: Any man and woman can create a Turing machine. A device that was a Turing machine would be as fallible, unknowable, and inscrutable as another human being.
See my book at:
http://home.roadrunner.com/~markwrede/Math/RelationalDialectic.pdf
Abusive comment hidden.
(Show it anyway.)
I wonder how they plan to circumvent Gödel's Incompleteness Theorem? Humans do so by permitting inconsistency, since incompleteness is a given in the human condition, however, a computer that permits inconsistency might not be so reliable as to become "intelligent."
It all boils down to this: any man and woman can create a Turing machine and a mechanical device that was a Turing machine would be as fallible, unknowable, and inscrutable as any other human.
It all boils down to this: any man and woman can create a Turing machine and a mechanical device that was a Turing machine would be as fallible, unknowable, and inscrutable as any other human.
Abusive comment hidden.
(Show it anyway.)
http://home.roadrunner.com/~markwrede/NonFic/ThermoEcon.html