{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T18:45:54Z","timestamp":1776105954526,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662460771","type":"print"},{"value":"9783662460788","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46078-8_1","type":"book-chapter","created":{"date-parts":[[2015,1,14]],"date-time":"2015-01-14T14:54:29Z","timestamp":1421247269000},"page":"1-13","source":"Crossref","is-referenced-by-count":2,"title":["What is Computation: An Epistemic Approach"],"prefix":"10.1007","author":[{"given":"Ji\u0159\u00ed","family":"Wiedermann","sequence":"first","affiliation":[]},{"given":"Jan","family":"van Leeuwen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Abramsky, S.: Two puzzles about computation. In: Barry Cooper, S., van Leeuwen, J. (eds.) Alan Turing: His Work and Impact, pp. 53\u201356. Elsevier (2013)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Aho, A.V.: Computation and computational thinking. Ubiquity\u00a0 2011, Article No. 1 (2011)","DOI":"10.1145\/1922681.1922682"},{"key":"1_CR3","unstructured":"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"},{"issue":"7","key":"1_CR4","doi-asserted-by":"publisher","first-page":"825","DOI":"10.1093\/comjnl\/bxs071","volume":"55","author":"R. Bajcsy","year":"2012","unstructured":"Bajcsy, R.: Computation and information. Comput. J.\u00a055(7), 825 (2012)","journal-title":"Comput. J."},{"key":"1_CR5","unstructured":"Blass, A., Gurevich, Y.: Algorithms: a quest for absolute definitions. Bull. EATCS\u00a0(81), 195\u2013225 (2003)"},{"issue":"1","key":"1_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1090\/S0273-0979-1989-15750-9","volume":"21","author":"L. Blum","year":"1989","unstructured":"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\u00a021(1), 1\u201346 (1989)","journal-title":"Bulletin of the American Mathematical Society"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/BF00413692","volume":"108","author":"D.J. Chalmers","year":"1996","unstructured":"Chalmers, D.J.: Does a rock implement every finite-state automaton? Synthese\u00a0108, 309\u2013333 (1996)","journal-title":"Synthese"},{"issue":"7","key":"1_CR8","doi-asserted-by":"publisher","first-page":"814","DOI":"10.1093\/comjnl\/bxs068","volume":"55","author":"J.S. Conery","year":"2012","unstructured":"Conery, J.S.: Computation is symbol manipulation. Comput. J.\u00a055(7), 814\u2013816 (2012)","journal-title":"Comput. J."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Denning, P. J.: What is computation? (opening statement). Ubiquity 2010, Article No. 1 ( October 2010)","DOI":"10.1145\/1880066.1880067"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Deutsch, D.: What is computation (How) does nature compute? In: Zenil, H. (ed.) A Computable Universe: Understanding and Exploring Nature as Computation, pp. 551\u2013566. World Scientific Publishing Company (2012)","DOI":"10.1142\/9789814374309_0028"},{"issue":"7","key":"1_CR11","doi-asserted-by":"publisher","first-page":"830","DOI":"10.1093\/comjnl\/bxs073","volume":"55","author":"L. Fortnow","year":"2012","unstructured":"Fortnow, L.: The enduring legacy of the Turing Machine. Comput. J.\u00a055(7), 830\u2013831 (2012)","journal-title":"Comput. J."},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Frailey, D.J.: Computation is process. Ubiquity 2010, Article No. 5 (November 2010)","DOI":"10.1145\/1880066.1891341"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"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\u2013726. World Scientific Publishing Company (2012)","DOI":"10.1142\/9789814374309_0035"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/978-3-642-30870-3_27","volume-title":"How the World Computes","author":"Y. Gurevich","year":"2012","unstructured":"Gurevich, Y.: Foundational analyses of computation. In: Cooper, S.B., Dawar, A., L\u00f6we, B. (eds.) CiE 2012. LNCS, vol.\u00a07318, pp. 264\u2013275. Springer, Heidelberg (2012)"},{"key":"1_CR15","unstructured":"Peach, F.: Interview with David Deutsch. Philosophy Now (30), (December 2000\/January 2001)"},{"issue":"7","key":"1_CR16","doi-asserted-by":"publisher","first-page":"820","DOI":"10.1093\/comjnl\/bxs070","volume":"55","author":"P.S. Rosenbloom","year":"2012","unstructured":"Rosenbloom, P.S.: Computing and computation. Comput. J.\u00a055(7), 820\u2013824 (2012)","journal-title":"Comput. J."},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1017\/S0140525X00005756","volume":"3","author":"J. Searle","year":"1980","unstructured":"Searle, J.: Minds, Brains and Programs. Behavioral and Brain Sciences\u00a03, 417\u2013457 (1980)","journal-title":"Behavioral and Brain Sciences"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"21","DOI":"10.2307\/3130074","volume":"64","author":"J. Searle","year":"1990","unstructured":"Searle, J.: Is the brain a digital computer? Proceedings and Addresses of the American Philosophical Association\u00a064, 21\u201337 (1990)","journal-title":"Proceedings and Addresses of the American Philosophical Association"},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1017\/S1358246100010201","volume":"42","author":"J. Searle","year":"1997","unstructured":"Searle, J.: The explanation of cognition. Royal Institute of Philosophy Supplement\u00a042, 103 (1997)","journal-title":"Royal Institute of Philosophy Supplement"},{"key":"1_CR20","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5834.001.0001","volume-title":"The Rediscovery of the Mind","author":"J. Searle","year":"1992","unstructured":"Searle, J.: The Rediscovery of the Mind. MIT Press, Cambridge (1992)"},{"key":"1_CR21","first-page":"230","volume":"42","author":"A.M. Turing","year":"1936","unstructured":"Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. Proc. London Math. Soc. Series 2\u00a042, 230\u2013265 (1936)","journal-title":"Proc. London Math. Soc. Series 2"},{"key":"1_CR22","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1112\/plms\/s2-45.1.161","volume":"45","author":"A.M. Turing","year":"1939","unstructured":"Turing, A.M.: Systems of logic based on ordinals. Proc. London Math. Soc. Series 2\u00a045, 161\u2013228 (1939)","journal-title":"Proc. London Math. Soc. Series 2"},{"key":"1_CR23","volume-title":"Probably Approximately Correct: Nature\u2019s Algorithms for Learning and Prospering in a Complex World","author":"L. Valiant","year":"2013","unstructured":"Valiant, L.: Probably Approximately Correct: Nature\u2019s Algorithms for Learning and Prospering in a Complex World. Basic Books, New York (2013)"},{"issue":"7","key":"1_CR24","doi-asserted-by":"publisher","first-page":"345","DOI":"10.2307\/2941061","volume":"92","author":"T. Gelder van","year":"1995","unstructured":"van Gelder, T.: What might cognition be, if not computation? The Journal of Philosophy\u00a092(7), 345\u2013381 (1995)","journal-title":"The Journal of Philosophy"},{"key":"1_CR25","unstructured":"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)"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1007\/978-3-642-30870-3_74","volume-title":"How the World Computes","author":"J. Wiedermann","year":"2012","unstructured":"Wiedermann, J.: On the road to thinking machines: Insights and ideas. In: Cooper, S.B., Dawar, A., L\u00f6we, B. (eds.) CiE 2012. LNCS, vol.\u00a07318, pp. 733\u2013744. Springer, Heidelberg (2012)"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Wiedermann, J.: The creativity mechanisms in embodied agents: An explanatory model. In: 2013 IEEE Symposium Series on Computational Intelligence(SSCI), pp. 41\u201345. IEEE (2013)","DOI":"10.1109\/CIHLI.2013.6613263"},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1007\/978-3-540-69407-6_61","volume-title":"Logic and Theory of Algorithms","author":"J. Wiedermann","year":"2008","unstructured":"Wiedermann, J., van Leeuwen, J.: How we think of computing today. In: Beckmann, A., Dimitracopoulos, C., L\u00f6we, B. (eds.) CiE 2008. LNCS, vol.\u00a05028, pp. 579\u2013593. Springer, Heidelberg (2008)"},{"key":"1_CR29","unstructured":"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\u201310 (2013)"},{"key":"1_CR30","unstructured":"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)"},{"key":"1_CR31","unstructured":"Wikipedia (2013), http:\/\/en.wikipedia.org\/wiki\/Knowledge"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/s13347-012-0095-2"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2015: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46078-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,29]],"date-time":"2020-08-29T00:34:23Z","timestamp":1598661263000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46078-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662460771","9783662460788"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46078-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}