Article

Free access

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

Author:

D. E. StevensonAuthors Info & Claims

CSC '93: Proceedings of the 1993 ACM conference on Computer science

Pages 7 - 14

https://doi.org/10.1145/170791.170795

Published: 01 March 1993 Publication History

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]

G. J. Chsitin. Algorithmic Information Theory. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1987.

Digital Library

[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]

Richard H. Hamming. Numerical Methods for Scientists and Engineers. McGraw-Hill, 1962.

Digital Library

[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]

C. M. Pancake. Software support for parallel computing: Where are we headed? C.A.C.M., 34(11):53-64, 1991.

Digital Library

[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]

D. S. Scott. Domains for denotational semantics. Proc. 9th ICALP, 140:577-013, 1982.

Digital Library

[22]

Lisa M. C. Smith and Mansur H. Samadzadeh. An annotated bibliography of literate programming. A CM SIGPLAN Notices, 26(1), January 1991.

Digital Library

[23]

D. E. Stevenson. Frontiers for computer science in computational science. In Proceedings of the $Oth Annual A GM Southeast Conference, Raleigh NC, April 8-11, lgg$. ACM, 1992.

Digital Library

[24]

D. E. Stevenson and R. M. Panoff. Experiences in building the clemson computational science program. In Proceedings of Sepercompeting 'gO. ACM, 1990.

Digital Library

[25]

J. F. Traub, G. W. Wasilkowski, and H. Wo~niakowski. Information Based Complezity. Academic Press, 1988. LC QA267 .T73 1988.

Digital Library

[26]

J. H. Wilkinson. Error analysis of floating-point computation. Namer. Math, 2:219-340, 1960.

[27]

J. H. Wilkinson. Rounding Errors in Algebraic Processes. Wiley, 1963.

Digital Library

Cited By

Tedre MSimon Malmi L(2018)Changing aims of computing education: a historical surveyComputer Science Education10.1080/08993408.2018.148662428:2(158-186)Online publication date: 27-Jun-2018
https://doi.org/10.1080/08993408.2018.1486624
Hsu W(2015)Creating Open Source Lecture MaterialsSTEM Education10.4018/978-1-4666-7363-2.ch004(68-94)Online publication date: 2015
https://doi.org/10.4018/978-1-4666-7363-2.ch004
Hsu W(2015)Creating Open Source Lecture MaterialsOpen Source Technology10.4018/978-1-4666-7230-7.ch020(336-363)Online publication date: 2015
https://doi.org/10.4018/978-1-4666-7230-7.ch020
Show More Cited By

Index Terms

Science, computational science, and computer science: at a crossroads
1. Social and professional topics
  1. Computing / technology policy
  2. Professional topics
    1. Computing education
      1. Computing education programs
        Computer science education
      2. Model curricula

Recommendations

Advances in Electrical Engineering and Computational Science
Science, computational science, and computer science?

This talk will explore some aspects of and relationships between science, computational science, and computer science. Broadly speaking, scientific research is the systematic development of information about a subject and the formation of explanations ...
Computational Methods in Modern Science and Engineering: Advances in Computational Science Lectures presented at the International Conference on Computational

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

CSC '93: Proceedings of the 1993 ACM conference on Computer science

March 1993

543 pages

ISBN:0897915585

DOI:10.1145/170791

Chairmen:
Stan C. Kwasny
Washington Univ., St. Louis, MO
,
John F. Buck
Indiana Univ., Indianapolis

Copyright © 1993 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

ACM: Association for Computing Machinery

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 1993

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

CSC93

Sponsor:

ACM

CSC93: 21st Annual ACM Computer Science Conference

February 16 - 18, 1993

Indiana, Indianapolis, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

22
Total Citations
View Citations
645
Total Downloads

Downloads (Last 12 months)68
Downloads (Last 6 weeks)17

Reflects downloads up to 12 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Tedre MSimon Malmi L(2018)Changing aims of computing education: a historical surveyComputer Science Education10.1080/08993408.2018.148662428:2(158-186)Online publication date: 27-Jun-2018
https://doi.org/10.1080/08993408.2018.1486624
Hsu W(2015)Creating Open Source Lecture MaterialsSTEM Education10.4018/978-1-4666-7363-2.ch004(68-94)Online publication date: 2015
https://doi.org/10.4018/978-1-4666-7363-2.ch004
Hsu W(2015)Creating Open Source Lecture MaterialsOpen Source Technology10.4018/978-1-4666-7230-7.ch020(336-363)Online publication date: 2015
https://doi.org/10.4018/978-1-4666-7230-7.ch020
Hsu W(2013)Creating Open Source Lecture MaterialsOpen-Source Technologies for Maximizing the Creation, Deployment, and Use of Digital Resources and Information10.4018/978-1-4666-2205-0.ch015(253-280)Online publication date: 2013
https://doi.org/10.4018/978-1-4666-2205-0.ch015
Prabhu PJablin TRaman AZhang YHuang JKim HJohnson NLiu FGhosh SBeard SOh TZoufaly MWalker DAugust DLathrop SCosta JKramer W(2011)A survey of the practice of computational scienceState of the Practice Reports10.1145/2063348.2063374(1-12)Online publication date: 12-Nov-2011
https://dl.acm.org/doi/10.1145/2063348.2063374
Vamanan BVoskuilen GVijaykumar T(2010)EffiCutsACM SIGCOMM Computer Communication Review10.1145/1851275.185120840:4(207-218)Online publication date: 30-Aug-2010
https://dl.acm.org/doi/10.1145/1851275.1851208
Han SJang KPark KMoon S(2010)PacketShaderACM SIGCOMM Computer Communication Review10.1145/1851275.185120740:4(195-206)Online publication date: 30-Aug-2010
https://dl.acm.org/doi/10.1145/1851275.1851207
Halperin DHu WSheth AWetherall D(2010)Predictable 802.11 packet delivery from wireless channel measurementsACM SIGCOMM Computer Communication Review10.1145/1851275.185120340:4(159-170)Online publication date: 30-Aug-2010
https://dl.acm.org/doi/10.1145/1851275.1851203
Tan KFang JZhang YChen SShi LZhang JZhang Y(2010)Fine-grained channel access in wireless LANACM SIGCOMM Computer Communication Review10.1145/1851275.185120240:4(147-158)Online publication date: 30-Aug-2010
https://dl.acm.org/doi/10.1145/1851275.1851202
Ragonis N(2009)Computing Pre‐University: Secondary Level Computing CurriculaWiley Encyclopedia of Computer Science and Engineering10.1002/9780470050118.ecse974(632-648)Online publication date: 16-Mar-2009
https://doi.org/10.1002/9780470050118.ecse974
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents