anhinga_anhinga: (Default)
anhinga_anhinga ([personal profile] anhinga_anhinga) wrote2006-11-30 03:55 pm
Entry tags:

A new generation of "mathematical assistants"?

Some interesting paper titles on the page of Calculemus'06 (13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning 2006).

One of the authors, Simon Colton, wrote a thesis "Automated Theory Formation in Pure Mathematics", and one can read its table of contents on the Amazon site.

[identity profile] solomon2.livejournal.com 2006-11-30 08:00 pm (UTC)(link)
Sooner or later all mathematicians will become programmers!

[identity profile] anhinga-anhinga.livejournal.com 2006-11-30 08:40 pm (UTC)(link)
:-) Perhaps, it will be the other way around: a program would ask, "Dear sir, what's your human intuition about such and such area of discourse?" :-)