{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:05:07Z","timestamp":1743109507226,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030672195"},{"type":"electronic","value":"9783030672201"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"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":[[2021]]},"DOI":"10.1007\/978-3-030-67220-1_16","type":"book-chapter","created":{"date-parts":[[2021,1,16]],"date-time":"2021-01-16T08:03:07Z","timestamp":1610784187000},"page":"201-213","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Short-Circuiting the Definition of Mathematical Knowledge for an Artificial General Intelligence"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7930-110X","authenticated-orcid":false,"given":"Samuel Allen","family":"Alexander","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,1,17]]},"reference":[{"key":"16_CR1","unstructured":"Aldini, A., Fano, V., Graziani, P.: Do the self-knowing machines dream of knowing their factivity? In: AIC, pp. 125\u2013132 (2015)"},{"key":"16_CR2","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-319-47286-7_4","volume-title":"History and Philosophy of Computing","author":"A Aldini","year":"2016","unstructured":"Aldini, A., Fano, V., Graziani, P.: Theory of knowing machines: revisiting G\u00f6del and the mechanistic thesis. In: Gadducci, F., Tavosanis, M. (eds.) HaPoC 2015. IAICT, vol. 487, pp. 57\u201370. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47286-7_4"},{"issue":"3","key":"16_CR3","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1007\/s11225-013-9491-6","volume":"102","author":"SA Alexander","year":"2014","unstructured":"Alexander, S.A.: A machine that knows its own code. Stud. Logica. 102(3), 567\u2013576 (2014)","journal-title":"Stud. Logica."},{"issue":"1","key":"16_CR4","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/s11225-013-9537-9","volume":"103","author":"SA Alexander","year":"2015","unstructured":"Alexander, S.A.: Fast-collapsing theories. Stud. Logica. 103(1), 53\u201373 (2015)","journal-title":"Stud. Logica."},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Alexander, S.A.: Measuring the intelligence of an idealized mechanical knowing agent. In: CIFMA (2019)","DOI":"10.1007\/978-3-030-57506-9_13"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-030-52152-3_1","volume-title":"Artificial General Intelligence","author":"SA Alexander","year":"2020","unstructured":"Alexander, S.A.: AGI and the Knight-Darwin law: why idealized AGI reproduction requires collaboration. In: Goertzel, B., Panov, A.I., Potapov, A., Yampolskiy, R. (eds.) AGI 2020. LNCS (LNAI), vol. 12177, pp. 1\u201311. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-52152-3_1"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-030-52152-3_2","volume-title":"Artificial General Intelligence","author":"N-M Aliman","year":"2020","unstructured":"Aliman, N.-M., et al.: Error-correction for AI safety. In: Goertzel, B., Panov, A.I., Potapov, A., Yampolskiy, R. (eds.) AGI 2020. LNCS (LNAI), vol. 12177, pp. 12\u201322. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-52152-3_2"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Aristotle: Posterior analytics. In: Barnes, J., et al. (eds.) The Complete Works of Aristotle. Princeton University Press (1984)","DOI":"10.1515\/9781400835843"},{"issue":"7","key":"16_CR9","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/s001530050150","volume":"38","author":"TJ Carlson","year":"1999","unstructured":"Carlson, T.J.: Ordinal arithmetic and $$\\Sigma _1$$-elementarity. Arch. Math. Logic 38(7), 449\u2013460 (1999)","journal-title":"Arch. Math. Logic"},{"issue":"1\u20133","key":"16_CR10","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(1\u20133), 51\u201382 (2000)","journal-title":"Ann. Pure Appl. Logic"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Cerone, A., Fazli, S., Malone, K., Pietarinen, A.V.: Interdisciplinary aspects of cognition. In: CIFMA (2019)","DOI":"10.1007\/978-3-030-57506-9_9"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Elton, D.: Self-explaining AI as an alternative to interpretable AI. In: International Conference on Artificial General Intelligence (2020)","DOI":"10.1007\/978-3-030-52152-3_10"},{"key":"16_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2478\/jagi-2014-0001","volume":"5","author":"B Goertzel","year":"2014","unstructured":"Goertzel, B.: Artificial general intelligence: concept, state of the art, and future prospects. J. Artif. General Intell. 5, 1\u201348 (2014)","journal-title":"J. Artif. General Intell."},{"key":"16_CR14","unstructured":"Hodges, W.: Tarski\u2019s truth definitions. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, fall 2018 edn. (2018)"},{"key":"16_CR15","unstructured":"Ichikawa, J.J., Steup, M.: The analysis of knowledge. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, summer 2018 edn. (2018)"},{"issue":"5","key":"16_CR16","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1080\/00029890.1992.11995869","volume":"99","author":"DE Knuth","year":"1992","unstructured":"Knuth, D.E.: Two notes on notation. Am. Math. Monthly 99(5), 403\u2013422 (1992)","journal-title":"Am. Math. Monthly"},{"issue":"1","key":"16_CR17","first-page":"103","volume":"20","author":"P Maguire","year":"2020","unstructured":"Maguire, P., Moser, P., Maguire, R.: Are people smarter than machines? Croatian J. Philosop. 20(1), 103\u2013123 (2020)","journal-title":"Croatian J. Philosop."},{"key":"16_CR18","unstructured":"Plato: Theaetetus. In: Cooper, J.M., Hutchinson, D.S., et al. (eds.) Plato: complete works. Hackett Publishing (1997)"},{"key":"16_CR19","doi-asserted-by":"publisher","first-page":"317","DOI":"10.2307\/2214945","volume":"19","author":"WN Reinhardt","year":"1985","unstructured":"Reinhardt, W.N.: Absolute versions of incompleteness theorems. Nous 19, 317\u2013346 (1985)","journal-title":"Nous"},{"issue":"4","key":"16_CR20","first-page":"427","volume":"15","author":"WN Reinhardt","year":"1986","unstructured":"Reinhardt, W.N.: Epistemic theories and the interpretation of G\u00f6del\u2019s incompleteness theorems. J. Philosoph. Logic 15(4), 427\u2013474 (1986)","journal-title":"J. Philosoph. Logic"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Shapiro, S.: Epistemic and intuitionistic arithmetic. In: Studies in Logic and the Foundations of Mathematics, vol. 113, pp. 11\u201346. Elsevier (1985)","DOI":"10.1016\/S0049-237X(08)70138-1"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Wellmer, A.: Skepticism in interpretation. In: Conant, J.F., Kern, A. (eds.) Varieties of Skepticism: Essays after Kant, Wittgenstein, and Cavell. Walter de Gruyter (2014)","DOI":"10.1515\/9783110336795.183"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Williamson, T.: Knowledge, context, and the agent\u2019s point of view. In: Preyer, G., Peter, G. (eds.) Contextualism in Philosophy: Knowledge, Meaning, and Truth, pp. 91\u2013114. Oxford University Press (2005)","DOI":"10.1093\/oso\/9780199267408.003.0004"},{"key":"16_CR24","unstructured":"Yampolskiy, R.: On controllability of artificial intelligence. Technical report (2020)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-67220-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,22]],"date-time":"2024-08-22T14:17:32Z","timestamp":1724336252000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-67220-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030672195","9783030672201"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-67220-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"17 January 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Amsterdam","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/event.cwi.nl\/sefm2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}