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