{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:57:38Z","timestamp":1725487058505},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540402183"},{"type":"electronic","value":"9783540448723"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44872-1_11","type":"book-chapter","created":{"date-parts":[[2007,7,4]],"date-time":"2007-07-04T10:17:34Z","timestamp":1183544254000},"page":"100-111","source":"Crossref","is-referenced-by-count":1,"title":["Implications of the View of Programs as Formal Systems"],"prefix":"10.1007","author":[{"given":"Bertil","family":"Ekdahl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,13]]},"reference":[{"key":"11_CR1","unstructured":"Chaitin, G. J. 2002. Conversations with a Mathematician, Math: Art, Science and The Limits of Reasoning, Springer-Verlag, London Ltd.."},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Ekdahl, B. 2001. Can Computers be Social? The Fifth International Conference on Computing Anticipatory Systems, (HEC-Lige, Belgium, Aug).","DOI":"10.1063\/1.1503673"},{"key":"11_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-76817-0","volume-title":"Software Development and Reality Construction","author":"C. Floyd","year":"1992","unstructured":"Floyd, C. 1992. Software Development as Reality Construction. Software Development and Reality Construction (Floyd C., Z\u00fcllighoven H., Budde R., Keil-Slawik, R., Eds.), Springer-Verlag, Berlin."},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/BF00985971","volume":"16","author":"P. G\u00e4rdenfors","year":"1993","unstructured":"G\u00e4rdenfors, P. 1993. The emergence of meaning. Linguistics and Philosophy 16, 285\u2013309.","journal-title":"Linguistics and Philosophy"},{"key":"11_CR5","volume-title":"Foundations of Mathematical Logic","author":"B. C. Haskell","year":"1963","unstructured":"Haskell, B. C. 1963. Foundations of Mathematical Logic, McGraw-Hill Book Company, Inc., Dover edition 1977, Dover Publications, Inc. NY.","edition":"Dover edition"},{"key":"11_CR6","volume-title":"Tenth impression 1991","author":"S. C. Kleene","year":"1952","unstructured":"Kleene, S. C. 1952. Introduction to Metamathematics, Tenth impression 1991, Wolters-Noordhoff Publishing-Groningen, North-Holland Publishing Company, Amsterdam."},{"key":"11_CR7","first-page":"15","volume-title":"Progress in Cybernetics and Systems Research","author":"L. L\u00f6fgren","year":"1982","unstructured":"L\u00f6fgren, L. 1982. Methodologies and the induction problem. Progress in Cybernetics and Systems Research, vol. VIII (Trappl R., Klir G., Pichler F., Eds.), Hemisphere, London, 15\u201322."},{"key":"11_CR8","volume-title":"Constructive Realism in Discussion","author":"L. L\u00f6fgren","year":"1991","unstructured":"L\u00f6fgren, L. 1991. The nondetachability of language and linguistic realism. Constructive Realism in Discussion van Dijkum, C., Wallner, F., Eds.), Amsterdam, Sokrates Science Publisher."},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/0165-6074(85)90032-8","volume":"15","author":"P. Naur","year":"1985","unstructured":"Naur, P. 1985. Program as theory building. Microprocessing and Microprogramming 15, North Holland Pub. Co., 253\u2013261.","journal-title":"Microprocessing and Microprogramming"},{"key":"11_CR10","volume-title":"The Concept of Mind","author":"G. Ryle","year":"1963","unstructured":"Ryle, G. 1963. The Concept of Mind, Penguin Books Ltd., Harmondsworth, England."},{"key":"11_CR11","unstructured":"Schoenfield, J. R. 1967. Mathematical Logic, Addison-Wesley Publishing Company."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Smorynski, C. 1991. Logical Number Theory I, Springer-Verlag.","DOI":"10.1007\/978-3-642-75462-3"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Smullyan, R. M. 1961. Theory of formal systems. Annals of Mathematical Studies 47, Princeton Univ. Press.","DOI":"10.1515\/9781400882007"},{"key":"11_CR14","volume-title":"Logic, Semantics, Metamathematics, papers from 1923 to 1938","author":"A. Tarski","year":"1983","unstructured":"Tarski, A. 1983. The establishment of scientific semantics. In Woodger, J. H., Hackett Publishing Company, Indianapolis [15].","edition":"2nd ed."},{"key":"11_CR15","unstructured":"Tarski, A. Logic, Semantics, Metamathematics, papers from 1923 to 1938 (2nd ed.) (Tarski, A., Translated by Woodger, J. H.), Hackett Publishing Company, Indianapolis."},{"key":"11_CR16","unstructured":"Tarski, A., 1994. Introduction to Logic and to the Methodology of the Deductive Sciences (4th ed.) (Tarski, J., Ed.), Oxford University Press."},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Wang, H. 1996. A Logical Journey: From G\u00f6del to Philosophy, The MIT Press.","DOI":"10.7551\/mitpress\/4321.001.0001"},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1002\/cpa.3160130102","volume":"13","author":"E. P. Wigner","year":"1960","unstructured":"Wigner, E. P. 1960. The unreasonable effectiveness of mathematics in natural sciences. Communications in Pure and Applied Mathematics 13, 1\u201314.","journal-title":"Communications in Pure and Applied Mathematics"}],"container-title":["Lecture Notes in Computer Science","Metainformatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44872-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,23]],"date-time":"2020-04-23T21:13:25Z","timestamp":1587676405000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44872-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540402183","9783540448723"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-44872-1_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}