Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Essays on SIGMA: Simulation and Implementation of General Mathematical Activity

Essays on SIGMA: Simulation and Implementation of General Mathematical Activity

D'Inverno, Ray
Elvey, John S. N.

Paperback

General Mathematics

ISBN10: 1502869535
ISBN13: 9781502869531
Publisher: Createspace
Published: Oct 29 2014
Pages: 470
Weight: 1.78
Height: 0.95 Width: 7.00 Depth: 10.00
Language: English
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.

Also in

General Mathematics

View All