Philosophy, mathematics, science and computation
 Enrique V. Kortright
 … show all 1 hide
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.
 Bates, J. and Constable, R.: 1985, ‘Proofs as Programs’,ACM Transactions on Programming Languages 7, 113–136. CrossRef
 Beeson, M.: 1985,Foundations of Constructive Mathematics, SpringerVerlag, New York.
 Bernays, P. and Fraenkel, A.: 1958,Axiomatic Set Theory, NorthHolland, Amsterdam.
 Bishop, E.: 1967,Foundations of Constructive Analysis, McGrawHill, New York.
 Bishop, E.: 1970, ‘Mathematics as a Numerical Language’, inIntuitionism and Proof Theory, NorthHolland, Amsterdam.
 Churchman, C.: 1968,The System Approach, Dell, New York.
 Code, M.: 1985,Order and Organism, State University of New York Press, Albany, NY.
 Constable, R.: 1986,Implementing Mathematics with the Nuprl Proof Development Systems, Prentice Hall, Englewood Cliffs, NJ.
 Dahl, O.: 1966, ‘SIMULA — An ALGOLbased Simulation Language’,Communications of the ACM 9, 671–678. CrossRef
 Dijkstra, E.: 1976,A Discipline of Programming, Prentice Hall, Englewood Cliffs, NJ.
 Forrester, J.: 1968,Principles of Systems, MIT Press, Cambridge, MA.
 Garey, M. and Johnson, D.: 1978,Computers and Intractability: A Guide to the Theory of NPCompleteness, H. Freeman, San Francisco.
 Greenspan, D. and Casulli, V.: 1985, ‘Particle Modelling of an Elastic Arch’,Applied Mathematical Modelling 9, 215–219. CrossRef
 Greenspan, D.: 1989, “Particle Simulation of Biological Sorting on a Supercomputer’,Computers Math. Applic. 18, 823–834. CrossRef
 Heyting, A.: 1956,Intuitionism, an Introduction, NorthHolland, Amsterdam.
 Johnson, A.: 1962,Whitehead's Theory of Reality, Dover, New York.
 Kortright, E.: 1991, λσ:A Forma. Method for Simulation Based on the Typed λCalculus, Ph.D. dissertation, Center for Advanced Computer Studies, Lafayette, LA.
 Kortright, E.: 1990, ‘λσ: A Simulation Language Based on the Typed λCalculus’,Advances in Modelling and Simulation 25, 13–23.
 Kortright, E.: 1991, ‘Particle Simulation in λσ’, inProceedings of the 1991 Summer Computer simulation Conference, Society for Computer Simulation, Baltimore, MD, pp. 110–114.
 Kortright, E.: 1991, ‘Parallel Simulation in λσ’, inProceedings of the 1991 Simulation Technology Conference, Society for Computer Simulation, Orlando, FL, pp. 356–361.
 Kreutzer, W.: 1986,System Simulation, Programming Styles and Languages, AddisonWesley, New York.
 Lakatos, I.: 1976,Proofs and Refutations, Cambridge University Press, Cambridge, MA.
 Lango, J.: 1972,Whitehead's Ontology, State University of New York Press, Albany, NY.
 Lebel, J.: 1985, ‘System Dynamics’, in Cellier, F. (Ed.),Progress in Modelling and Simulation, John Wiley, New York, pp. 119–158.
 Levin, L.: 1989,Elements of the Theory of Computation, unpublished manuscript, Boston University, Boston, MA.
 MartinLöf, P.: 1975, “An Intuitionistic Theory of Types: Predicative Part’, in Rose, H. and Shepherdson, J. (Eds.),Logic Colloquium, pp. 73–118, Elsevier NorthHolland, New York.
 MartinLöf, P.: 1985, “Constructive Mathematics and Computer Programming’, in Hoare, C. and Shepherdson, J. (Eds.),Mathematical Logic and Programming Languages, PrenticeHall, Englewood Cliffs, NJ.
 Moore, G.: 1982, ‘Zermelo's Axiom of Choice: Its Origins, Development, and Influence’, inStudies in the History of Mathematics and Physical Sciences, Vol. 8, Springer, New York.
 Negoita, C.: 1985,Expert Systems and Fuzzy Systems, Benjamin Cummings, Menlo Park, CA.
 Nilsson, N.: 1971,ProblemSolving Methods in Artificial Intelligence, McGrawHill, New York.
 Pritsker, A.: 1984,Introduction to Simulation and SLAMII, Halstead Press, New York, 2nd edition.
 Pugh III, A.: 1973,DYNAMO II User's Manual, MIT Press, Cambridge, MA.
 Randers, J.: 1980,Elements of the System Dynamics Method, MIT Press.
 Robbin, J.: 1969,Mathematical Logic, W. A. Benjamin, Inc., New York.
 Schriber, T.: 1974,Simulation Using GPSS, John Wiley, New York.
 Sherburne, D. E.: 1966,A Key to Whitehead's Process and Reality, University of Chicago Press, Chicago.
 Thom, R.: 1986, ‘„Modern” Mathematics: An Educational and Philosophic Error?’ in Tymoczco, T. (Ed.),New Directions in the Philosophy of Mathematics, Birkhäuser, Boston, MA.
 Ullam, S.: 1986,Science, Computers and People, Birkhäuser, Boston, MA.
 Whitehead, A.: 1958,Modes of Thought, Capricorn Books, New York, 1958.
 Whitehead, A.: 1960,Process and Reality, MacMillan, New York.
 Whitehead, A.: 1965,A Philosopher Looks at Science, Philosophical Library, New York.
 Title
 Philosophy, mathematics, science and computation
 Journal

Topoi
Volume 13, Issue 1 , pp 5160
 Cover Date
 19940301
 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.