Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!security!genrad!grkermit!masscomp!clyde!floyd!harpo!ihnp4!inuxc!pur-ee!uiucdcs!parsec!ctvax!uokvax!andree
From: andree@uokvax.UUCP
Newsgroups: net.ai
Subject: Re: intelligence and genius - (nf)
Message-ID: <5101@uiucdcs.UUCP>
Date: Mon, 23-Jan-84 22:54:25 EST
Article-I.D.: uiucdcs.5101
Posted: Mon Jan 23 22:54:25 1984
Date-Received: Fri, 27-Jan-84 09:34:01 EST
Lines: 15

#R:sri-arpa:-1568100:uokvax:900008:000:548
uokvax!andree    Jan 22 00:59:00 1984

This sounds very similar to the "Truth Recognizers" in Hofstadter's and
Rucker's writing - machines that will tell if an arbitrary statement
(or theorem) is true. Hook them up to a statement/theorem generator,
and you can find out if any statement/theorom is true by waiting long
enough.

The problem is, defining "true" is a hard problem - rucker claims you
can't do it in any finite amount of space/time. [I tend to believe him.]
Something tells me "genious" will suffer from the same problem. Something
to do with context-sensitivity...

	<mike