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 ...
Read More
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.
Read Less
Add this copy of Essays on SIGMA: Simulation and Implementation of to cart. $22.07, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2014 by Createspace Independent Publishing Platform.
