Skip to main content
SpringerLink
Log in

What is Computation: An Epistemic Approach

  • Conference paper
Book cover SOFSEM 2015: Theory and Practice of Computer Science (SOFSEM 2015)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8939))

Abstract

Traditionally, computations are seen as processes that transform information. Definitions of computation subsequently concentrate on a description of the mechanisms that lead to such processes. The bottleneck of this approach is twofold. First, it leads to a definition of computation that is too broad and that precludes a separation of entities that, according to prevailing opinions, do perform computation from those which don’t. Secondly, it also leads to a ‘machine-dependent’ notion of computation, complicating the identification of computational processes. We present an alternative view of computation, viz. that of a knowledge generating process. From this viewpoint, computations create knowledge within the framework of ‘more or less’ formalized epistemic theories. This new perception of computation allows to concentrate upon the meaning of computations – what they do for their designers or users. It also enables one to see the existing development of computers and information technologies in a completely new perspective. It permits the extrapolation of the future of computing towards knowledge generation and accumulation, and the creative exploitation thereof in all areas of life and science. The flux of our ideas on computation bring challenging new problems to the respective research, with wide connotations in the field of artificial intelligence, in cognitive sciences, and in philosophy, epistemology and methodology of science.

This work was partially supported by RVO 67985807 and the GA ČR grant No. P202/10/1333.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abramsky, S.: Two puzzles about computation. In: Barry Cooper, S., van Leeuwen, J. (eds.) Alan Turing: His Work and Impact, pp. 53–56. Elsevier (2013)

    Google Scholar 

  2. Aho, A.V.: Computation and computational thinking. Ubiquity  2011, Article No. 1 (2011)

    Google Scholar 

  3. Almond, P.: Machines like us, an interview by Paul Almond with John Searle. Machines Like Us (March 2009), http://machineslikeus.com/interviews/machines-us-interviews-john-searle-0

  4. Bajcsy, R.: Computation and information. Comput. J. 55(7), 825 (2012)

    Article  Google Scholar 

  5. Blass, A., Gurevich, Y.: Algorithms: a quest for absolute definitions. Bull. EATCS (81), 195–225 (2003)

    Google Scholar 

  6. Blum, L., Shub, M., Smale, S.: On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines. Bulletin of the American Mathematical Society 21(1), 1–46 (1989)

    Article  MATH  MathSciNet  Google Scholar 

  7. Chalmers, D.J.: Does a rock implement every finite-state automaton? Synthese 108, 309–333 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  8. Conery, J.S.: Computation is symbol manipulation. Comput. J. 55(7), 814–816 (2012)

    Article  Google Scholar 

  9. Denning, P. J.: What is computation? (opening statement). Ubiquity 2010, Article No. 1 ( October 2010)

    Google Scholar 

  10. Deutsch, D.: What is computation (How) does nature compute? In: Zenil, H. (ed.) A Computable Universe: Understanding and Exploring Nature as Computation, pp. 551–566. World Scientific Publishing Company (2012)

    Google Scholar 

  11. Fortnow, L.: The enduring legacy of the Turing Machine. Comput. J. 55(7), 830–831 (2012)

    Article  Google Scholar 

  12. Frailey, D.J.: Computation is process. Ubiquity 2010, Article No. 5 (November 2010)

    Google Scholar 

  13. Fredkin, E.: What is Computation? (How) Does Nature Compute (Transcription of a live panel discussion, with participants Calude, C.S., Chaitin, G.J., Fredkin, E., Leggett, T.J., de Ruyter, R., Toffoli, T., Wolfram, S.). In: Zenil, H. (ed.) A Computable Universe: Understanding and Exploring Nature as Computation, pp. 673–726. World Scientific Publishing Company (2012)

    Google Scholar 

  14. Gurevich, Y.: Foundational analyses of computation. In: Cooper, S.B., Dawar, A., Löwe, B. (eds.) CiE 2012. LNCS, vol. 7318, pp. 264–275. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  15. Peach, F.: Interview with David Deutsch. Philosophy Now (30), (December 2000/January 2001)

    Google Scholar 

  16. Rosenbloom, P.S.: Computing and computation. Comput. J. 55(7), 820–824 (2012)

    Article  Google Scholar 

  17. Searle, J.: Minds, Brains and Programs. Behavioral and Brain Sciences 3, 417–457 (1980)

    Article  Google Scholar 

  18. Searle, J.: Is the brain a digital computer? Proceedings and Addresses of the American Philosophical Association 64, 21–37 (1990)

    Article  Google Scholar 

  19. Searle, J.: The explanation of cognition. Royal Institute of Philosophy Supplement 42, 103 (1997)

    Article  Google Scholar 

  20. Searle, J.: The Rediscovery of the Mind. MIT Press, Cambridge (1992)

    Google Scholar 

  21. Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. Proc. London Math. Soc. Series 2 42, 230–265 (1936)

    Google Scholar 

  22. Turing, A.M.: Systems of logic based on ordinals. Proc. London Math. Soc. Series 2 45, 161–228 (1939)

    Article  Google Scholar 

  23. Valiant, L.: Probably Approximately Correct: Nature’s Algorithms for Learning and Prospering in a Complex World. Basic Books, New York (2013)

    Google Scholar 

  24. van Gelder, T.: What might cognition be, if not computation? The Journal of Philosophy 92(7), 345–381 (1995)

    Article  Google Scholar 

  25. van Leeuwen, J., Wiedermann, J.: Knowledge, representation and the dynamics of computation. In: Dodig-Crnkovic, G., Giovagnoli, R. (eds.) Representation and Reality: Humans, Animals and Machines. Springer (to appear, 2015)

    Google Scholar 

  26. Wiedermann, J.: On the road to thinking machines: Insights and ideas. In: Cooper, S.B., Dawar, A., Löwe, B. (eds.) CiE 2012. LNCS, vol. 7318, pp. 733–744. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  27. Wiedermann, J.: The creativity mechanisms in embodied agents: An explanatory model. In: 2013 IEEE Symposium Series on Computational Intelligence(SSCI), pp. 41–45. IEEE (2013)

    Google Scholar 

  28. Wiedermann, J., van Leeuwen, J.: How we think of computing today. In: Beckmann, A., Dimitracopoulos, C., Löwe, B. (eds.) CiE 2008. LNCS, vol. 5028, pp. 579–593. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  29. Wiedermann, J., van Leeuwen, J.: Rethinking computation. In: Proc. 6th AISB Symp. on Computing and Philosophy: The Scandal of Computation - What is Computation?, AISB Convention 2013 (Exeter, UK), AISB, pp. 6–10 (2013)

    Google Scholar 

  30. Wiedermann, J., van Leeuwen, J.: Computation as knowledge generation, with application to the observer-relativity problem. In: Proc. 7th AISB Symposium on Computing and Philosophy: Is Computation Observer-Relative?, AISB Convention 2014 (Goldsmiths, University of London), AISB (2014)

    Google Scholar 

  31. Wikipedia (2013), http://en.wikipedia.org/wiki/Knowledge

  32. Zenil, H.: What is nature-like computation? A behavioural approach and a notion of programmability. In: Philosophy & Technology (Special Issue on History and Philosophy of Computing). Springer (2013)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science of AS CR, Prague, Czech Republic

    Jiří Wiedermann

  2. Dept. of Information and Computing Sciences, Utrecht University, The Netherlands

    Jan van Leeuwen

Authors
  1. Jiří Wiedermann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jan van Leeuwen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Rome Tor Vergata, 00133, Rome, Italy

    Giuseppe F. Italiano

  2. University of Limerick, Ireland

    Tiziana Margaria-Steffen

  3. Charles University, Prague, Czech Republic

    Jaroslav Pokorný

  4. Université catholique de Louvain, Louvain, Belgium

    Jean-Jacques Quisquater

  5. ETH Zurich, Zurich, Switzerland

    Roger Wattenhofer

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wiedermann, J., van Leeuwen, J. (2015). What is Computation: An Epistemic Approach. In: Italiano, G.F., Margaria-Steffen, T., Pokorný, J., Quisquater, JJ., Wattenhofer, R. (eds) SOFSEM 2015: Theory and Practice of Computer Science. SOFSEM 2015. Lecture Notes in Computer Science, vol 8939. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-46078-8_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-46078-8_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-46077-1

  • Online ISBN: 978-3-662-46078-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation