David_TheMan
Banned
Unsound and incomplete and lacking introspection ..
Soundness and Completeness (lack of) is a conclusion of Gödel's incompleteness theorems - Wikipedia.
And so what you may ask..
This was an adjunct to the Turing Proof of the Halting problem which showed the limits of our von Neumann based computation namely that problems cannot fully understand other programs. In the case of the proof itself Turing fed a Turing Machine to another Turning Machine - i.e recursion. This is proof that Turing Equivalent languages are fundamentally not able to introspect. In practical terms this means that Turing Equivalent machines are unable to understand (and hence write) general purpose programs.
These two results both show the incompleteness of formal systems and are essential parts of any discussion about AI (weak/strong), the limits of them and the scope, rate of advancement.
The fact that this did (as predicted) go above your head (once again) demonstrates that you lack the foundation for a discussion like this. Your posts make sense to you because of your limitations not because they are correct.
You give me 'you showed your a$$' and I give you 'your inability to recognize a cornerstone result of the topic that we are discussing'.
Without a formal framework you lack the tools (predicate, prepositional logic, mathematical training in inductive, deductive reasoning and proof forms such as induction, contradiction) to reason about effects by way of formal argument.
It just goes over your head.
I hope I don't have to go into more detail about what this result means.
Rambling and irrelevant data dumps isn't a substitute for a logical statement and contribution to a discussion.

