Publication | Closed Access
Towards a Mathematical Science of Computation.
451
Citations
0
References
1962
Year
Unknown Venue
Theory Of ComputingBasic AssumptionsEngineeringAutomated ReasoningAstrodynamicsComputational Model TheoryComputer AlgebraMathematical FoundationsComputational ComplexityComputational ParadigmFormal Mathematical ReasoningComputer ScienceOrbital DynamicsModel Of ComputationGeometric MechanicsSymbolic ComputationPlanetary Orbits
In this paper I shall discuss the prospects for a mathematical science of computation. In a mathematical science, it is possible to deduce from the basic assumptions, the important properties of the entities treated by the science. Thus, from Newton’s law of gravitation and his laws of motion, one can deduce that the planetary orbits obey Kepler’s laws.