Towards a SymbolicComputational Philosophy (and Methodology!) for Mathematics

By Doron Zeilberger

.pdf   .ps   .tex

Written: Dec, 12, 2002

Exclusively published (at least for now) in the Personal Journal of Shalosh B. Ekhad and Doron Zeilberger

Bruno Buchberger is one of my greatest heroes. That is why I was very honored and very pleased to be one of the invited speakers in the Bruno Buchberger Symposium , held exactly on his 60th birthday, Oct. 22, 2002. In this talk I try to initiate a new foundation for mathematics based on the practice of computer algebra.

Added Dec. 31, 2006: This article was accepted in "Logic, Mathematics, Computer Science- in honor of Bruno Buchberger", Springer, (ed. by Peter Paule), but so far, it does not look that this volume is likely to be published, at least not for some years to come. After it was listed in the "To appear" section of my "public" papers, for four years, I decided to move it to the "personal" journal. If and when the above volume will materialize, then this paper will be co-published there, but it will at any rate stay here for ever.

Personal Journal of Shalosh B. Ekhad and Doron Zeilberger

Doron Zeilberger's Home Page