Re: Symbolic Math as Computer Science

In article <F9ydnSmck_X1cATenZ2dnUVZ_vudnZ2d@xxxxxxxxxxxxx>,
Hatto von Aquitanien <abbot@xxxxxxxxxxxxxx> wrote:

> I'm interested in modeling the process of mathematical reasoning. I'm not
> sure there has really been an effort to implement what I'm envisioning. I
> would not implement every feature strictly in terms of absolutely
> fundamental concepts, but I would implement everything in such a way that
> the implementation would, in the users view, be indistinguishable from a
> system built on such primitive principles (allowing for the finite nature
> of computer hardware, of course.)

Perhaps Bruno Buchberger's Theorema project

http://www.risc.uni-linz.ac.at/people/buchberg/theorema_project.html

is of interest?

Cheers,
Paul

_______________________________________________________________________
Paul Abbott Phone: 61 8 6488 2734
School of Physics, M013 Fax: +61 8 6488 1014
The University of Western Australia (CRICOS Provider No 00126G)
AUSTRALIA http://physics.uwa.edu.au/~paul
.