Advertisement

What is Computation: An Epistemic Approach

  • Jiří Wiedermann
  • Jan van Leeuwen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, 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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 2.
    Aho, A.V.: Computation and computational thinking. Ubiquity  2011, Article No. 1 (2011)Google Scholar
  3. 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. 4.
    Bajcsy, R.: Computation and information. Comput. J. 55(7), 825 (2012)CrossRefGoogle Scholar
  5. 5.
    Blass, A., Gurevich, Y.: Algorithms: a quest for absolute definitions. Bull. EATCS (81), 195–225 (2003)Google Scholar
  6. 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)CrossRefzbMATHMathSciNetGoogle Scholar
  7. 7.
    Chalmers, D.J.: Does a rock implement every finite-state automaton? Synthese 108, 309–333 (1996)CrossRefzbMATHMathSciNetGoogle Scholar
  8. 8.
    Conery, J.S.: Computation is symbol manipulation. Comput. J. 55(7), 814–816 (2012)CrossRefGoogle Scholar
  9. 9.
    Denning, P. J.: What is computation? (opening statement). Ubiquity 2010, Article No. 1 ( October 2010)Google Scholar
  10. 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. 11.
    Fortnow, L.: The enduring legacy of the Turing Machine. Comput. J. 55(7), 830–831 (2012)CrossRefGoogle Scholar
  12. 12.
    Frailey, D.J.: Computation is process. Ubiquity 2010, Article No. 5 (November 2010)Google Scholar
  13. 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. 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)CrossRefGoogle Scholar
  15. 15.
    Peach, F.: Interview with David Deutsch. Philosophy Now (30), (December 2000/January 2001)Google Scholar
  16. 16.
    Rosenbloom, P.S.: Computing and computation. Comput. J. 55(7), 820–824 (2012)CrossRefGoogle Scholar
  17. 17.
    Searle, J.: Minds, Brains and Programs. Behavioral and Brain Sciences 3, 417–457 (1980)CrossRefGoogle Scholar
  18. 18.
    Searle, J.: Is the brain a digital computer? Proceedings and Addresses of the American Philosophical Association 64, 21–37 (1990)CrossRefGoogle Scholar
  19. 19.
    Searle, J.: The explanation of cognition. Royal Institute of Philosophy Supplement 42, 103 (1997)CrossRefGoogle Scholar
  20. 20.
    Searle, J.: The Rediscovery of the Mind. MIT Press, Cambridge (1992)Google Scholar
  21. 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. 22.
    Turing, A.M.: Systems of logic based on ordinals. Proc. London Math. Soc. Series 2 45, 161–228 (1939)CrossRefGoogle Scholar
  23. 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. 24.
    van Gelder, T.: What might cognition be, if not computation? The Journal of Philosophy 92(7), 345–381 (1995)CrossRefGoogle Scholar
  25. 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. 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)CrossRefGoogle Scholar
  27. 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. 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)CrossRefGoogle Scholar
  29. 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. 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. 31.
  32. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2015

Authors and Affiliations

  • Jiří Wiedermann
    • 1
  • Jan van Leeuwen
    • 2
  1. 1.Institute of Computer Science of AS CRPragueCzech Republic
  2. 2.Dept. of Information and Computing SciencesUtrecht UniversityThe Netherlands

Personalised recommendations