Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.08 10/3/83; site psuvax.UUCP
Path: utzoo!linus!philabs!cmcl2!floyd!clyde!akgua!psuvax!simon
From: simon@psuvax.UUCP (Janos Simon)
Newsgroups: net.ai
Subject: Re: intelligence and genius - (nf)
Message-ID: <430@psuvax.UUCP>
Date: Fri, 27-Jan-84 15:11:33 EST
Article-I.D.: psuvax.430
Posted: Fri Jan 27 15:11:33 1984
Date-Received: Tue, 31-Jan-84 02:19:33 EST
References: <5101@uiucdcs.UUCP>
Organization: Pennsylvania State Univ.
Lines: 12

It would be useful if people thought or learned something about subjects
they write about. Theorem-proving (as in proving any theorem of a sufficiently
string theory) is impossible - it is not recursive for theories as weak as
Peano Arithmetic, it cannot be done in less than exponential time for almost
trivial decidable theories (like 1st order theory of real addition), and it is
co-NP complete (and therefore probably not doable in polynomial time) even
for the propositional calculus. Obviously this has nothing to do with context
sensitivity.
What is "genious"?

*Down with intellectual pollution!*
js