Essays on SIGMA: Simulation and Implementation of General Mathematical Activity (Paperback) (ISBN-13: 9781502869531)

These Essays embody a comprehensive scheme for the development of a database for research in all areas of Mathematics. The underlying mathematical computer processor proposed, called SIGMA, is seen as providing an interactive research environment. The application of arbitrary theorems to well-formed expressions constitutes the basic activity within this environment and the goal is to produce theorems which are formulated in maximally operational and constructive modes. This presents a huge challenge to mathematical ingenuity and technique and it is proposed that it is pursued internationally through a dedicated Institute. The Essays on SIGMA furnish a substantial foundation for this crucially important enterprise.

Author: Ray D'Inverno,John S. N. Elvey
ISBN-10: 1502869535
ISBN-13: 9781502869531
Publisher: Createspace Independent Publishing Platform
Language: English
Published: 10/29/2014
Pages: 470
Format: Paperback
Weight: 1.78lbs
Size: 10.00h x 7.00w x 0.95d