> > 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