{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,3]],"date-time":"2025-07-03T04:05:52Z","timestamp":1751515552328,"version":"3.41.0"},"publisher-location":"Singapore","reference-count":10,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819646555"},{"type":"electronic","value":"9789819646562"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-981-96-4656-2_1","type":"book-chapter","created":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T02:44:17Z","timestamp":1743821057000},"page":"3-6","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["What Came First, Mathematics or\u00a0Computing?"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0661-5773","authenticated-orcid":false,"given":"Moshe Y.","family":"Vardi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,4,5]]},"reference":[{"issue":"4","key":"1_CR1","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/2591012","volume":"57","author":"J Avigad","year":"2014","unstructured":"Avigad, J., Harrison, J.: Formally verified mathematics. Commun. ACM 57(4), 66\u201375 (2014). https:\/\/doi.org\/10.1145\/2591012","journal-title":"Commun. ACM"},{"key":"1_CR2","volume-title":"Mathematical Proof Between Generations","author":"J Bayer","year":"2022","unstructured":"Bayer, J., Benzm\u00fcller, C., Buzzard, K., David, M., Lamport, L., Matiyasevich, Y., Paulson, L., Schleicher, D., Stock, B., Zelmanov, E.: Mathematical Proof Between Generations. Friedrich-Universit\u00e4t Bamberg, Bamberg (2022)"},{"key":"1_CR3","doi-asserted-by":"publisher","unstructured":"Cook, S.A.: The complexity of theorem-proving procedures. In: Proceedings of 3rd Annual ACM Symposium on Theory of Computing, pp. 151\u2013158 (1971). https:\/\/doi.org\/10.1145\/800157.805047","DOI":"10.1145\/800157.805047"},{"key":"1_CR4","doi-asserted-by":"publisher","unstructured":", Cook, S., Reckhow, R.: On the lengths of proofs in the propositional calculus (Preliminary Version). In: STOC \u201974: Proceedings of 6th Annual ACM Symposium on Theory of Computing, pp. 135\u2013148 (1974). https:\/\/doi.org\/10.1145\/800119.803893","DOI":"10.1145\/800119.803893"},{"key":"1_CR5","volume-title":"The Math Gene: How mathematical thinking evolved and why numbers are like gossip","author":"KJ Devlin","year":"2000","unstructured":"Devlin, K.J.: The Math Gene: How mathematical thinking evolved and why numbers are like gossip, vol. 329. Basic Books, New York (2000)"},{"issue":"32","key":"1_CR6","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1017\/S1477175612000188","volume":"11","author":"K Fine","year":"2012","unstructured":"Fine, K.: Mathematics: discovery or invention? Think 11(32), 11\u201327 (2012). https:\/\/doi.org\/10.1017\/S1477175612000188","journal-title":"Think"},{"key":"1_CR7","unstructured":"Houston, K.: Empire of the Sum: The Rise and Reign of the Pocket Calculator. W.\u00a0W. Norton & Company (2023)"},{"issue":"3","key":"1_CR8","first-page":"115","volume":"9","author":"LA Levin","year":"1973","unstructured":"Levin, L.A.: Universal sequential search problems. Problemy peredachi informatsii 9(3), 115\u2013116 (1973)","journal-title":"Problemy peredachi informatsii"},{"issue":"11","key":"1_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/3625734","volume":"66","author":"MY Vardi","year":"2023","unstructured":"Vardi, M.Y.: What came first, math or computing? Commun. ACM 66(11), 5 (2023). https:\/\/doi.org\/10.1145\/3625734","journal-title":"Commun. ACM"},{"key":"1_CR10","unstructured":"Vardi, M.Y.: What Came First, Math or Computing? RiceCompSci, YouTube (2024). https:\/\/www.youtube.com\/watch?v=CiD2Hm4GmpQ"}],"container-title":["Lecture Notes in Computer Science","Engineering Trustworthy Software Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-96-4656-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T11:00:55Z","timestamp":1751454055000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-96-4656-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9789819646555","9789819646562"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-981-96-4656-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"5 April 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}