Skip to main content

What is Computation: An Epistemic Approach

  • Conference paper

Part of the Lecture Notes in Computer Science book series (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.

Keywords

  • Natural Language
  • Knowledge Domain
  • Knowledge Generation
  • Turing Machine
  • Computational Process

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

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

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-662-46078-8_1
  • Chapter length: 13 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   79.99
Price excludes VAT (USA)
  • ISBN: 978-3-662-46078-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   99.99
Price excludes VAT (USA)

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)

    CrossRef  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)

    CrossRef  MATH  MathSciNet  Google Scholar 

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

    CrossRef  MATH  MathSciNet  Google Scholar 

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

    CrossRef  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)

    CrossRef  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)

    CrossRef  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)

    CrossRef  Google Scholar 

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

    CrossRef  Google Scholar 

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

    CrossRef  Google Scholar 

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

    CrossRef  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)

    CrossRef  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)

    CrossRef  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)

    CrossRef  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)

    CrossRef  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

Authors

Editor information

Editors and Affiliations

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)