Uncertain mathematics

Leevi Marttila (lm+extropians@sip.fi)
21 Nov 1997 09:17:07 +0200

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