Three Paradigms of Computer Science

  title={Three Paradigms of Computer Science},
  author={Amnon H. Eden},
  journal={Minds and Machines},
AbstractWe examine the philosophical disputes among computer scientists concerning methodological, ontological, and epistemological questions: Is computer science a branch of mathematics, an engineering discipline, or a natural science? Should knowledge about the behaviour of programs proceed deductively or empirically? Are computer programs on a par with mathematical objects, with mere data, or with mental processes? We conclude that distinct positions taken in regard to these questions… Expand
Epistemic Lessons from Computer Science : Interactive Proofs and Zero Knowledge
This paper is situated at the junction of two youthful academic currents. The first current is a philosophical one, with a pioneering group of philosophers of science recently turning their attentionExpand
Kalmár's Argument for the Independence of Computer Science
  • M. Szabó
  • Computer Science, Mathematics
  • CiE
  • 2019
Laszlo Kalmar’s view is reconstructed based on recently found, formerly unpublished archival materials from 1970–1971: a conference abstract and his correspondence about Hungarian computer science education. Expand
Insights in how computer science can be a science
The insights into how computer science can be made into a science are looked at by mapping computer science scientific study to the scientific study abstracted from physics. Expand
Machine code and metaphysics : a perspective on software engineering
This work compares unpredictable development of computing technology against the cyclic legacy of technological advance and scientific discovery, and suggests that SE indicates an enabling cycle, discernible in previous scientific revolution(s), is stalled or possibly hidden. Expand
Problems for a Philosophy of Software Engineering
  • S. Gruner
  • Computer Science
  • Minds and Machines
  • 2011
The essay concludes that software engineering can neither be fully subsumed by computer science, nor vice versa, and also the philosophies of computer science and software engineering—though related to each other—are not identical branches of a general philosophy of science. Expand
Explaining simulated phenomena : a defense of the epistemic power of computer simulations
This work proposes to defend their epistemic power by showing how computer simulations explain simulated phenomena by elaborating on two central questions, the first regarding the process of explaining a simulated phenomenon by using a computer simulation, and the second concerning the understanding that such an explanation yields. Expand
Computing as Empirical Science – Evolution of a Concept
The evolution of philosophical and methodological considerations concerning empiricism in computer/computing science is presented and the most important current events in the history of reflection on computing are traced. Expand
The Philosophy of Computer Science: Introduction to the Special Issue
The authors argue, with the use of a rich variety of examples, that abstraction in computer science is quite different: whereas abstraction in mathematics abstracts away from details ( information neglect or suppression), computer science only hides the underlying details (information hiding)—presumably so as they can be handled by different programs. Expand
Philosophy of Computing and Information Technology
The purpose of this section is to give an overview of the philosophical issues raised by the notion of creating intelligent machines, and to address the issue in computing that has received the most attention from philosophers, artificial intelligence (AI). Expand
Abstraction and Idealization in the Formal Verification of Software Systems
Questions concerning the epistemological status of computer science are answered from the point of view of the formal verification framework and the need to maximize incompatible properties is at the basis of both Abstraction Refinement, the process of generating a cascade of computational models to achieve a balance between simplicity and informativeness, and the Multiple Model Idealization approach in biology. Expand


Research paradigms in computer science
This paper explores the ramifications of four influential definitions of computer science and argues that the diversity of research paradigms in computer science may be responsible both for the authors' difficulties in deciding how computer scientists should be trained and for divergences of opinion concerning the nature ofComputer science research. Expand
Software as science: science as software
Software is no older than the modern electronic computer and the activity of writing programs for it, yet, over the past fifty years, it has become the subject of its own thriving science and a ubiquitous medium for pursuing other sciences. Expand
A debate on teaching computing science
Professor Dijkstra's talk provoked a lot of discussion and brought into the foreground some of the background of controversy that surrounds the issue of what belongs in the core of a computer science curriculum. Expand
Computer sciences and commercial forces: can computer science be considered science?
  • S. Ophir
  • Computer Science, Sociology
  • CSOC
  • 2006
The CS is not an open science, in terms of Popper definition, and is heavily controlled by commercial forces, which dictate its progress, goals and future directions. Expand
The Ontological Basis of Strong Artificial Life
  • E. Olson
  • Computer Science, Medicine
  • Artificial Life
  • 1997
Virtual strong alife amounts to the claim that, by programming a computer, one can literally bring bits of its hardware to life. Expand
Philosophy and Computer Science
In the September 1988 issue of Communcations of the ACM, the primary publication of the Association for Computing Machinery, an article appeared in which I advanced an appraisal of the scope andExpand
Minds and machines
The emergence of electronic computers in the last thirty years has given rise to many interesting questions. Many of these questions are technical, relating to a machine’s ability to perform complexExpand
Computing as a discipline
A summary is given of a report that had the following goals: to describe computer science in a way that emphasizes fundamental questions and significant accomplishments; to propose a teachingExpand
Computationalism, Connectionism, and the Philosophy of Mind
and (2) to explain how those abilities are exercised via operations of the system. The tasks are related. The explanation of how operations of the system constitute exercises of our mental abilitiesExpand
Philosophy of Computer Science: An Introductory Course
There are many branches of philosophy called "the philosophy of X," where X = disciplines ranging from history to physics. The philosophy of artificial intelligence has a long history, and there areExpand