A new generation of "mathematical assistants"?

[anhinga_anhinga]

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.

Comments

[solomon2.livejournal.com]

Sooner or later all mathematicians will become programmers!

[anhinga-anhinga.livejournal.com]

:-) 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?" :-)