[Camel Joe]

Well then... let us bring forth the microchips and let the Borg(unization) of humanity begin. I'm just a little afraid that it will actually happen in some socialist parts of the world. Cloning and Cyborgs, ah the 21st century will be interesting indeed.

[D-fendr]

This writer and perhaps his subject need a course in logic. Deductive reasoning can prove truth statements - not only mathematics.

And much of what the articles gives as examples are inferences, inductive reasoning which are not considered proof.

His point about computers is ok, but the rest of this article..