From: Leevi Marttila (lm+extropians@sip.fi)
Date: Fri Nov 21 1997 - 00:17:07 MST
Hal Finney <hal@rain.org> writes:
> > Why not program computer in a similar way? I think program that uses
> > guesses could many times finds proof faster than program that thinks
> > formally. Conjectures would be zero order uncertain proofs.
>
> I believe there have been various AI programs which worked on heuristic
> reasoning (smart guesses). Doug Lenat's Eurisko was a well known example
> from the early 1980's.
Is there any 'mathematical' theory? How about using uncertain methods
to uncover possible new 'things' in mathematics?
-- LM lm+signature@sip.fi
This archive was generated by hypermail 2.1.5 : Fri Nov 01 2002 - 14:45:09 MST