, Volume 13, Issue 1, pp 5160
First online:
Philosophy, mathematics, science and computation
 Enrique V. KortrightAffiliated withDepartment of Computer Science, Nicholls State University
Rent the article at a discount
Rent now* Final gross prices may vary according to local VAT.
Get AccessAbstract
Attempts to lay a foundation for the sciences based on modern mathematics are questioned. In particular, it is not clear that computer science should be based on settheoretic mathematics. Settheoretic mathematics has difficulties with its own foundations, making it reasonable to explore alternative foundations for the sciences. The role of computation within an alternative framework may prove to be of great potential in establishing a direction for the new field of computer science.
Whitehead's theory of reality is reexamined as a foundation for the sciences. His theory does not simply attempt to add formal rigor to the sciences, but instead relies on the methods of the biological and social sciences to construct his worldview. Whitehead's theory is a rich source of notions that are intended to explain every element of experience. It is a product of Whitehead's earlier attempt to provide a mathematical foundation for the physical sciences and is still consistent with modern physics.
A computer simulation language is, in fact, a theory of reality; one that is often based on extremely simplistic notions. Simulation languages have evolved from the various programming languages and not from the development of their underlying worldview. The use of an established theory of reality, such as Whitehead's, as the basis of a simulation language is proposed as a way of extending the usefulness of computer simulation as an experimental tool for the theory.
The λσ simulation language is a first step in this direction. Based on Whitehead's notion of concrescence and a formalization in the typed λcalculus, λσ provides a notation and method for the construction and simulation of realworld phenomena. Both philosophy and computer science stand to benefit from such an attempt. Whitehead's theory gains a testing tool, while computer science gains a significantly more advanced simulation language.
 Title
 Philosophy, mathematics, science and computation
 Journal

Topoi
Volume 13, Issue 1 , pp 5160
 Cover Date
 199403
 DOI
 10.1007/BF00763648
 Print ISSN
 01677411
 Online ISSN
 15728749
 Publisher
 Springer Netherlands
 Additional Links
 Authors

 Enrique V. Kortright ^{(1)}
 Author Affiliations

 1. Department of Computer Science, Nicholls State University, 70310, Thibodaux, LA, U.S.A.