Insights in how computer science can be a science

Robert W.P. Luk


Recently, information retrieval is shown to be a science by mapping information retrieval scientific study to scientific study abstracted from physics. The exercise was rather tedious and lengthy. Instead of dealing with the nitty gritty, this paper looks at the insights into how computer science can be made into a science by using that methodology. That is by mapping computer science scientific study to the scientific study abstracted from physics. To show the mapping between computer science and physics, we need to define what is engineering science which computer science belongs to. Some principles and assumptions of engineering science theory are presented. To show computer science is a science, we presented two approaches. Approach 1 considers computer science as simulation of human behaviour similar to the goal of artificial intelligence. Approach 2 is closely related to the actual (scientific) activities in computer science, and this approach considers computer science based on the theory of computation. Finally, we answer some of the common outstanding issues about computer science to convince our reader that computer science is a science.


Computer Science; Artificial Intelligence; Theory of Computation; Science

Full Text:



Anguera, A., Lara, J.A., Lizcano, D., Martinez, M-A., Pazos, J. and David de la Pena, F. (2019) Turing: the great unknown. Foundations of Science. Doi: 10.1007/s10699-019-09596-6.

Balsamo, B.H., Francois, C., Kauffman, L., Klir, G., Mandel, T., Rhee, P.Y., Sabelli, H. and Salthe, S. (2000) What are the principles of system science? In Roundtable of the World Congress of the System Sciences, Toronto.

Boon, M. (2008) Diagrammatic models in the engineering sciences. Foundations of Science 13(2): 127-142.

Denning, P.J. (2003) Great principles of computing. Communications of the ACM 46(11): 15-20.

Denning, P.J. (2005) Is computer science? Communications of the ACM 48(4): 27-31.

Denning, P.J. (2007) Computing is a natural science. Communications of the ACM 50(7): 13-18.

Dershowitz, N. and Gurevich, Y. (2008) A natural axiomatization of computability and proof of Church’s thesis. The Bulletin of Symbolic Logic 14(3): 299-350.

Dlouhy, J. (2011) Richard Feynman on computer science – talk at Bell labs (1985). (access 2/7/2020).

Eden, A.H. (2007) Three paradigms of computer science. Minds & Machines 17(2): 135-167.

Fuhr, N. 2012. Salton award lecture information retrieval as an engineering science. ACM SIGIR Forum 46(2): 19.

Gurevich, Y. (2000) Sequential abstract state machines capture sequential algorithms. ACM Transactions on Computational Logic 1(1): 77-111.

Klir, G. and Wierman, M. (1999) Uncertainty-based information: elements of generalized information theory. Heidelberg, Germany: Physica-Verlag.

Knuth, D.E. (1974) Computer science and its relation to mathematics. The American Mathematical Monthly 81(4): 323-343.

Knuth, D.E. (1968) The art of computer programming, Vol I: fundamental algorithms. Addison-Wesley.

Krebsbach, K.D. (2015) Computer science: not about computers, not science. In Proceedings of the 2015 International Conference on Frontiers in Education: Computer Science and Computer Engineering, CSREA Press, Las Vegas, Nevada.

Krueger, T., Panknin, D., and Braun, M. (2015) Fast cross-validation via sequential testing. Journal of Machine Learning Research 16(33): 1103-1155.

Luk, R.W.P. (2010) Understanding scientific study via process modelling. Foundations of Science 15(1): 49-78.

Luk, R.W.P. (2017) A theory of scientific study. Foundations of Science 22(1): 11-38.

Luk, R.W.P (2018) On the implications and extensions of Luk’s theory and model of scientific study. Foundations of Science 23(1): 103-118.

Luk, R.W.P. (2020) Why is information retrieval a scientific discipline? Foundations of Science. Doi: 10.1007/s10699-020-09685-x.

Margolis, J., Estrella, R., Goode, J., Holme, J.J. and Nao, K. (2008) Stuck in the shallow end: education, race and computing. Cambridge, Massachusetts: MIT press.

McCarthy, J. (1962) Towards a mathematical science of computation. Proceedings of IFIP, Congress 62.

Miller, B. and Ranum, D. (2013) Problem solving with algorithms and data structures. (accessed 23/7/2020).

MIT OpenCourseWare (2009) Lecture 1A | MIT 6.001 structure and interpretation, 1986. (access 2/7/2020).

Moore, J.S. (2014) Proof pearl: proving a simple Von Neumann machine is Turing complete. In Proceedings of the International Conference on Interactive Theorem Proving (pp. 406-420).

Newell, A., Perlis, A.J. and Simon, H.A. (1967) Computer science. Science 157(3795): 1373-1374.

Newell, A. and Simon, H.A. 1976. Computer science as empirical inquiry: symbols and search. Communications of the ACM 19(3): 113-126.

Nuseibeh, B. (1996) To be and not to be: on managing inconsistencies in software development. In Proceedings of the 8th IEEE International Workshop on Software Specification & Design (pp. 164-169).

Polak, P. (2016) Computing as empirical science – evolution of a concept. Studies in Logic, Grammar and Rhetoric 48(61): 49-69.

Rapaport, W.J. (2017) What is computer science? APA Newsletter on Philosophy and Computers 16(2): 1-22.

Rapaport, W.J. (2018) What is a computer? A survey. Minds & Machines 28(3): 385-426.

Rapaport, W.J. (2020) Philosophy of computer science. (access 3/7/2020).

Shapiro, S.S. (2001) Computer science: the study of procedures. (access 3/7/2020).

Shannon, C. (1948) A mathematical theory of communication. Bell System Technical Journal 27(3): 379-423.

Simon, H.A. (1969) The sciences of the artificial. Boston: MIT Press.

Wegner, P. (1968) Programming languages, information structures and machine organization. McGraw-Hill.

Wegner, P. (1976) Research paradigms in computer science. In Proceedings of the 2nd International Conference on Software Engineering, San Francisco, C.A. (pp. 322-330)

Weinburg, G.M. (2001) An introduction to general systems thinking. New York: Dorset House.



  • There are currently no refbacks.

Copyright (c) 2020 Robert W.P. Luk

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.

Science & Philosophy - Journal of Epistemology, Science and Philosophy. ISSN 2282-7757; eISSN  2282-7765.