{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:50:01Z","timestamp":1742914201336,"version":"3.40.3"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319472850"},{"type":"electronic","value":"9783319472867"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47286-7_4","type":"book-chapter","created":{"date-parts":[[2016,10,5]],"date-time":"2016-10-05T17:51:10Z","timestamp":1475689870000},"page":"57-70","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Theory of Knowing Machines: Revisiting G\u00f6del and the Mechanistic Thesis"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Aldini","sequence":"first","affiliation":[]},{"given":"Vincenzo","family":"Fano","sequence":"additional","affiliation":[]},{"given":"Pierluigi","family":"Graziani","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,6]]},"reference":[{"key":"4_CR1","unstructured":"Aldini, A., Fano, V., Graziani, P.: A note on knowing machines. In: Gadducci, F., Tavosanis, M. (eds.) Preliminary Proceedings of the 3rd International Conferene on the History and Philosophy of Computing (HaPoC 2105), pp. 15\u201317. Pisa University Press (2015)"},{"key":"4_CR2","unstructured":"Alexander, S.: The theory of several knowing machines. Ph.D. thesis, Ohio State University (2013)"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1007\/s11225-013-9491-6","volume":"102","author":"S Alexander","year":"2014","unstructured":"Alexander, S.: A machine that knows its own code. Stud. Logica. 102, 567\u2013576 (2014)","journal-title":"Stud. Logica."},{"key":"4_CR4","first-page":"189","volume-title":"Handbook of Philosophical Logic","author":"SN Artemov","year":"2004","unstructured":"Artemov, S.N., Beklemishev, L.D.: Provability logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 13, 2nd edn, pp. 189\u2013360. Springer, Dordrecht (2004)","edition":"2"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"9","DOI":"10.5840\/monist196751112","volume":"51","author":"P Benacerraf","year":"1967","unstructured":"Benacerraf, P.: God, the devil and G\u00f6del. Monist 51, 9\u201332 (1967)","journal-title":"Monist"},{"key":"4_CR6","volume-title":"The Structure of Empirical Knowledge","author":"L BonJour","year":"1985","unstructured":"BonJour, L.: The Structure of Empirical Knowledge. Harvard University Press, Cambridge (1985)"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/S0168-0072(99)00048-2","volume":"105","author":"TJ Carlson","year":"2000","unstructured":"Carlson, T.J.: Knowledge, machines, and the consistency of Reinhardt\u2019s strong mechanistic thesis. Ann. Pure Appl. Logic 105, 51\u201382 (2000)","journal-title":"Ann. Pure Appl. Logic"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"507","DOI":"10.2307\/2025144","volume":"69","author":"CS Chihara","year":"1971","unstructured":"Chihara, C.S.: On alleged refutations of mechanism using G\u00f6del\u2019s incompleteness results. J. Philos. 69, 507\u2013526 (1971)","journal-title":"J. Philos."},{"key":"4_CR9","first-page":"48","volume-title":"The Legacy of A.M. Turing","author":"V Fano","year":"2013","unstructured":"Fano, V., Graziani, P.: Mechanical intelligence and G\u00f6delian arguments. In: Agazzi, E. (ed.) The Legacy of A.M. Turing, pp. 48\u201371. Franco Angeli, Milano (2013)"},{"volume-title":"Kurt G\u00f6del Collected Works","year":"1986","key":"4_CR10","unstructured":"Feferman, S., et al. (eds.): Kurt G\u00f6del Collected Works, vol. 1. Oxford University Press, New York (1986)"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0049-237X(08)70142-3","volume-title":"Intensional Mathematics","author":"R Flagg","year":"1985","unstructured":"Flagg, R.: Church\u2019s Thesis is consistent with epistemic arithmetic. In: Shapiro, S. (ed.) Intensional Mathematics, pp. 121\u2013172. North-Holland, Amsterdam (1985)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"G\u00f6del, K.: \u00dcber formal unentscheidbare S\u00e4tze der Principia mathematica und verwandter Systeme. Monatshefte f\u00fcr Mathematik und Physik 38, 173\u2013198 (1931). En. Tr. in [10], pp. 144\u2013195","DOI":"10.1007\/BF01700692"},{"key":"4_CR13","unstructured":"G\u00f6del, K.: Zum intuitionistischen Aussagenkalk\u00fcl. Akademie der Wissenschaften in Wien, Mathematisch-naturwissenschaftliche Klasse, Anzeiger 69, 65\u201366 (1932). En. Tr. in [10], pp. 222\u2013225"},{"key":"4_CR14","unstructured":"G\u00f6del, K.: Eine Interpretation des intuitionistischen Aussagenkalk\u00fcls. Ergebnisse eines mathematischen Kolloquiums 4, 39\u201340 (1933). En. Tr. in [10], pp. 300\u2013303"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-94-009-9493-5_1","volume-title":"Justification and Knowledge: New Studies in Epistemology","author":"A Goldman","year":"1979","unstructured":"Goldman, A.: What is justified belief? In: Pappas, G. (ed.) Justification and Knowledge: New Studies in Epistemology, pp. 1\u201323. D. Reidel Publishing, Dordrecht (1979)"},{"issue":"2","key":"4_CR16","doi-asserted-by":"publisher","first-page":"387","DOI":"10.2307\/2274062","volume":"51","author":"ND Goodman","year":"1986","unstructured":"Goodman, N.D.: Flagg realizability in arithmetic. J. Symb. Logic 51(2), 387\u2013392 (1986)","journal-title":"J. Symb. Logic"},{"key":"4_CR17","volume-title":"Knowledge and Lotteries","author":"J Hawthorne","year":"2004","unstructured":"Hawthorne, J.: Knowledge and Lotteries. Oxford University Press, Oxford (2004)"},{"key":"4_CR18","volume-title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press, Ithaca (1962)"},{"key":"4_CR19","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BF00413543","volume":"21","author":"J Hintikka","year":"1970","unstructured":"Hintikka, J.: Knowing that one knows. Synthese 21, 141\u2013162 (1970)","journal-title":"Synthese"},{"issue":"1","key":"4_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/A:1005016405987","volume":"116","author":"L Horsten","year":"1998","unstructured":"Horsten, L.: In defense of epistemic arithmetic. Synthese 116(1), 1\u201325 (1998)","journal-title":"Synthese"},{"key":"4_CR21","volume-title":"Mathematical Logic","author":"SC Kleene","year":"1967","unstructured":"Kleene, S.C.: Mathematical Logic. Wiley, New York (1967)"},{"key":"4_CR22","volume-title":"Symbolic Logic","author":"CI Lewis","year":"1932","unstructured":"Lewis, C.I., Langford, C.H.: Symbolic Logic. Dover, New York (1932)"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"115","DOI":"10.2307\/2266895","volume":"20","author":"MH L\u00f6b","year":"1955","unstructured":"L\u00f6b, M.H.: Solution of a problem of Henkin. J. Symb. Logic 20, 115\u2013118 (1955)","journal-title":"J. Symb. Logic"},{"key":"4_CR24","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1017\/S0031819100057983","volume":"36","author":"JR Lucas","year":"1961","unstructured":"Lucas, J.R.: Minds, machine and G\u00f6del. Philosophy 36, 112\u2013127 (1961)","journal-title":"Philosophy"},{"key":"4_CR25","doi-asserted-by":"publisher","first-page":"145","DOI":"10.5840\/monist196852111","volume":"52","author":"JR Lucas","year":"1968","unstructured":"Lucas, J.R.: Satan stultified: a rejoinder to Paul Benacerraf. Monist 52, 145\u2013158 (1968)","journal-title":"Monist"},{"key":"4_CR26","first-page":"153","volume":"16","author":"R Montague","year":"1963","unstructured":"Montague, R.: Syntactical treatments of modality. Acta Philosophica Fennica 16, 153\u2013167 (1963)","journal-title":"Acta Philosophica Fennica"},{"key":"4_CR27","doi-asserted-by":"publisher","first-page":"463","DOI":"10.2307\/2023664","volume":"57","author":"J Myhill","year":"1960","unstructured":"Myhill, J.: Some remarks on the notion of proof. J. Philos. 57, 463\u2013471 (1960)","journal-title":"J. Philos."},{"key":"4_CR28","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0049-237X(08)70139-3","volume-title":"Intensional Mathematics","author":"J Myhill","year":"1985","unstructured":"Myhill, J.: Intensional set theory. In: Shapiro, S. (ed.) Intensional Mathematics, pp. 47\u201362. North-Holland, Amsterdam (1985)"},{"key":"4_CR29","first-page":"89","volume":"2\u20131","author":"R Penrose","year":"1996","unstructured":"Penrose, R.: Beyond the doubting shadow. Psyche 2\u20131, 89\u2013129 (1996)","journal-title":"Psyche"},{"key":"4_CR30","unstructured":"Reinhardt, W.: The consistency of a variant of Church\u2019s Thesis with an axiomatic theory of an epistemic notation. In: Proceedings of the 5th Latin American Symposium on Mathematical Logic, Revista Colombiana de Matematicas, vol. XIX, pp. 177\u2013200 (1981)"},{"issue":"3","key":"4_CR31","doi-asserted-by":"publisher","first-page":"317","DOI":"10.2307\/2214945","volume":"19","author":"W Reinhardt","year":"1985","unstructured":"Reinhardt, W.: Absolute versions of incompleteness theorems. No\u00fbs 19(3), 317\u2013346 (1985)","journal-title":"No\u00fbs"},{"key":"4_CR32","first-page":"427","volume":"15","author":"W Reinhardt","year":"1986","unstructured":"Reinhardt, W.: Epistemic theories and the interpretation of G\u00f6del\u2019s incompleteness theorems. J. Philos. Logic 15, 427\u2013474 (1986)","journal-title":"J. Philos. Logic"},{"key":"4_CR33","unstructured":"San Mauro, L.: The informal side of computability: Church-Turing Thesis, in practice. In: Gadducci, F., Tavosanis, M. (eds.) Preliminary Proceedings of the 3rd International Conference on the History and Philosophy of Computing (HaPoC 2105), pp. 83\u201384. Pisa University Press (2015)"},{"key":"4_CR34","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/S0049-237X(08)70138-1","volume-title":"Intentional Mathematics","author":"S Shapiro","year":"1985","unstructured":"Shapiro, S.: Epistemic and intuitionistic arithmetic. In: Shapiro, S. (ed.) Intentional Mathematics, pp. 11\u201346. North-Holland, Amsterdam (1985)"},{"key":"4_CR35","doi-asserted-by":"publisher","first-page":"273","DOI":"10.2307\/421032","volume":"4","author":"S Shapiro","year":"1998","unstructured":"Shapiro, S.: Incompleteness, mechanism, and optimism. Bull. Symb. Logic 4, 273\u2013302 (1998)","journal-title":"Bull. Symb. Logic"},{"key":"4_CR36","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics, vols. 1 and 2. North-Holland, Amsterdam (1988)"},{"key":"4_CR37","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1093\/mind\/LIX.236.433","volume":"59","author":"A Turing","year":"1950","unstructured":"Turing, A.: Computing machinery and intelligence. Mind 59, 433\u2013460 (1950)","journal-title":"Mind"},{"key":"4_CR38","volume-title":"From Mathematics to Philosophy","author":"H Wang","year":"1974","unstructured":"Wang, H.: From Mathematics to Philosophy. Humanities Press, New York (1974)"}],"container-title":["IFIP Advances in Information and Communication Technology","History and Philosophy of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47286-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,5]],"date-time":"2020-10-05T00:12:10Z","timestamp":1601856730000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47286-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319472850","9783319472867"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47286-7_4","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"6 October 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"HaPoC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on the History and Philosophy of Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pisa","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2015","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 October 2015","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2015","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"hapoc2015","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}