Science, computational science, and computer science: at a crossroads

ABSTRACT

We describe computational science as an interdisciplinary approach to doing science on computers. Our purpose is to introduce computational science as a legitimate interest of computer scientists. We present a possible foundation for computational science. These foundations show that there is a need to consider computational aspects of science at the scientific level. We next present some obstacles to computer scientists' participation in computational science. We see a cultural bias in computer science that inhibits participation. Finally, we indicate areas of mutual interests between computational science and computer science.

REFERENCES

• 1: O. Aberth. Construdible Analysis. McGraw-Hill, 1980.
• 2: ACM. A CM Guide to Computing Literature. ACM, 1990.
• 3: H. P. Barendregt. Lambda Calculus: Syntaz and Semeniics, volume 103 of Stud:us in Logic end the Foundations of Mathematics. North Holland, 1981.
• 4: E. W. Beth. Semantic construction of intuitionistic logic,. Kon. Ned. At. Wet., 19:257-388, 1956.
• 5: Errett A. Bishop. Foundations of Constructive Analysis. McGraw-Hill, 1967.
• 6: L. E. J. Brouwer. The unreliability of the logical principles (original in Dutch). Tijdsch. Wijsbaguette, 2:152-158, 1907.
• 7: Gregory J. Chaitin, Algorithmic information theory, Cambridge University Press, New York, NY, 1987
• 8: R. L. Goodstein. Recersiee Analysis. North Holland, 1961.
• 9: A. G rzegorczyk. Some approaches to constructive analysis. In A. Heyting, editor, Constrectieity in Math., Stud. Logic Found. Math., pages 43-61. North Holland, 1959.
• 10: R. W Hamming, Numerical methods for scientists and engineers, Dover Publications, Inc., New York, NY, 1986
• 11: Kom HarrY. The Principles of Scientific Thinking. The University of Chicago Press, 1970.
• 12: Morris Kline. Mathematics: The Loss of Certainty. Oxford University Press, 1980.
• 13: C. Kreitz and K. Weihrauch. A unified approach to constructive and recursive analysis. In E. Bbrger, W. Oberschelp, M. M. Richter, B. Schinzel, and W. Thomas, editors, Computation and Proof Theor~, Logic Colloq. Aachen ~, 1983., LNM 1104. Springer-Verlag, 1983.
• 14: John Krommes. FWEB User's Guide. Princetor University, 1991.
• 15: S. Mazur. Computable Analysis. PWN, 1963.
• 16: P. D. Mosses. Abstract semantic algebras. In D. Bjorner, editor, Formal Descriptions of Program. ruing Concepts II. North-Holland, 1983.
• 17: Cherri M. Pancake, Where are we headed?, Communications of the ACM, v.34 n.11, p.52-64, Nov. 1991 [doi>10.1145/125490.125493]
• 18: Marian B. Pour-El and J. Ian Richards. Com. putability in Analysis and Physic& f~ Perspectives in Mathematical Logic. Springer-Verlag, 1989.
• 19: A. Robinson. Non-Standard Analysis. North- Holland, 1965.
• 20: D. A. Schmidt. Denotational Semantics. Allyn and Bacon, 1986.
• 21: Dana S. Scott, Domains for Denotational Semantics, Proceedings of the 9th Colloquium on Automata, Languages and Programming, p.577-613, July 12-16, 1982
• 22: Lisa M. C. Smith , Mansur H. Samadzadeh, An annotated bibliography of literate programming, ACM SIGPLAN Notices, v.26 n.1, p.14-20, Jan. 1991 [doi>10.1145/122203.122204]
• 23: D. E. Stevenson, Frontiers for computer science in computational science, Proceedings of the 30th annual Southeast regional conference, April 08-10, 1992, Raleigh, North Carolina [doi>10.1145/503720.503799]
• 24: D. E. Stevenson , R. M. Panoff, Experiences in building the Clemson computational sciences program, Proceedings of the 1990 conference on Supercomputing, p.366-375, October 1990, New York, New York, United States
• 25: J. F. Traub , G. W. Wasilkowski , H. Woźniakowski, Information-based complexity, Academic Press Professional, Inc., San Diego, CA, 1988
• 26: J. H. Wilkinson. Error analysis of floating-point computation. Namer. Math, 2:219-340, 1960.
• 27: James H. Wilkinson, Rounding Errors in Algebraic Processes, Dover Publications, Incorporated, 1994

INDEX TERMS

Primary Classification:
  K. Computing Milieux
  K.4 COMPUTERS AND SOCIETY

Additional Classification:
  K. Computing Milieux
  K.3 COMPUTERS AND EDUCATION
      K.3.2 Computer and Information Science Education
          Subjects: Curriculum; Computer science education

General Terms:
Human Factors, Languages, Theory