Return to Main Page

Archive: March, 2007

HAL, shall a computer think?

Can computers be intelligent? Yes. While a computer is not made from DNA, it could be sufficiently complex to retrieve, process, store, and act on information such that it appears intelligent to people. And if the computer believes it is intelligent, then for all intents and purposes, it is.

No Comments »

intrinsi on March 7th 2007 in Artificial Intelligence

An Incomplete Thought, Perhaps

Here is something odd to consider. If no consistent system can be proved complete, then no outside system can prove this as fact. No system can prove that another cannot be proved complete or incomplete.

No system, then, is complete because it cannot be proved so, but this assertion, too, cannot be proved true. Therefore, nothing can be proved, perhaps.

Furthermore, a consistent system is one that never contradicts itself, but all systems contradict themselves if attempted to be proved complete. So, it follows that no system is ultimately consistent, either, because it must be proved complete to be so.

No Comments »

intrinsi on March 7th 2007 in Information Science