{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T22:31:43Z","timestamp":1740177103797,"version":"3.37.3"},"reference-count":35,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-009"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-001"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Annals Hist. Comput."],"published-print":{"date-parts":[[2021,10,1]]},"DOI":"10.1109\/mahc.2021.3121590","type":"journal-article","created":{"date-parts":[[2022,2,16]],"date-time":"2022-02-16T20:28:55Z","timestamp":1645043335000},"page":"87-91","source":"Crossref","is-referenced-by-count":1,"title":["Addressing the Question \u201cWhat is a Program Text?\u201d via Turing Scholarship"],"prefix":"10.1109","volume":"43","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9815-3966","authenticated-orcid":false,"given":"Edgar","family":"Daylight","sequence":"first","affiliation":[{"name":"Siegen University, Siegen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312940"},{"journal-title":"Pluralism in Software Engineering Turing Award Winner Peter Naur Explains","year":"2011","author":"daylight","key":"ref32"},{"journal-title":"Pluralism in Software Engineering Turing Award Winner Peter Naur Explains","year":"2011","author":"daylight","key":"ref31"},{"journal-title":"Pluralism in Software Engineering Turing Award Winner Peter Naur Explains","year":"2011","author":"daylight","key":"ref30"},{"journal-title":"Pluralism in Software Engineering Turing Award Winner Peter Naur Explains","year":"2011","author":"daylight","key":"ref35"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/0165-6074(85)90032-8"},{"journal-title":"Ludwig Wittgenstein The Duty of Genius","year":"1991","author":"monk","key":"ref10"},{"journal-title":"The Philosophy of Physical Science","year":"1939","author":"eddington","key":"ref11"},{"journal-title":"The Mind of the Maker","year":"1941","author":"sayers","key":"ref12"},{"journal-title":"The Mind of the Maker","year":"1941","author":"sayers","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/11180.001.0001"},{"key":"ref15","article-title":"Eddington had spoken the words “The laws of logic do not prescribe the way our minds think; they prescribe the way our minds ought to think” ten years earlier","author":"eddington","year":"2007","journal-title":"Science and the Unseen World Swarthmore Lecture 1929"},{"key":"ref16","article-title":"Whether Turing shared Russell's view or merely intended to protect it from Wittgenstein's intellectual charge is yet another matter. Regarding the dialogue itself, I rely on","author":"diamond","year":"1976","journal-title":"Wittgenstein's Lectures on the Foundations of Mathematics"},{"year":"0","key":"ref17"},{"journal-title":"Ludwig Wittgenstein The Duty of Genius","year":"1991","author":"monk","key":"ref18"},{"key":"ref19","article-title":"The philosophy of computer science","author":"angius","year":"0","journal-title":"The Stanford Encyclopedia of Philosophy"},{"key":"ref28","volume":"10","author":"mackenzie","year":"2004","journal-title":"Mechanizing Proof Computing Risk and Trust"},{"journal-title":"Science and the Unseen World Swarthmore Lecture 1929","year":"2007","author":"eddington","key":"ref4"},{"key":"ref27","first-page":"141","volume":"10","author":"daylight","year":"2011","journal-title":"Pluralism in Software Engineering Turing Award Winner Peter Naur Explains"},{"journal-title":"The Philosophy of Physical Science","year":"1939","author":"eddington","key":"ref3"},{"key":"ref6","first-page":"40","author":"dingle","year":"1954","journal-title":"The Sources of Eddington's Philosophy"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/0165-6074(85)90032-8"},{"journal-title":"Science and the Unseen World Swarthmore Lecture 1929","year":"2007","author":"eddington","key":"ref5"},{"key":"ref8","first-page":"497","article-title":"Turing","author":"hodges","year":"0","journal-title":"The Great Philosophers From Socrates to Turing"},{"key":"ref7","first-page":"51","author":"hodges","year":"1983","journal-title":"Alan Turing The Enigma"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9426.001.0001"},{"key":"ref9","first-page":"63","author":"hodges","year":"1983","journal-title":"Alan Turing The Enigma"},{"year":"0","key":"ref1","article-title":"Medien der Kooperation"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exs071"},{"journal-title":"The Principles of Mathematics","year":"1903","author":"russell","key":"ref22"},{"journal-title":"Mechanizing Proof Computing Risk and Trust","year":"2004","author":"mackenzie","key":"ref21"},{"journal-title":"Wittgensteinian","year":"2005","author":"monk","key":"ref24"},{"key":"ref23","article-title":"Bertrand Russell","author":"irvine","year":"0","journal-title":"The Stanford Encyclopedia of Philosophy"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1353\/tech.2014.0031"}],"container-title":["IEEE Annals of the History of Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/85\/9714912\/09715032.pdf?arnumber=9715032","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,19]],"date-time":"2022-05-19T20:22:47Z","timestamp":1652991767000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9715032\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,1]]},"references-count":35,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/mahc.2021.3121590","relation":{},"ISSN":["1058-6180","1934-1547"],"issn-type":[{"type":"print","value":"1058-6180"},{"type":"electronic","value":"1934-1547"}],"subject":[],"published":{"date-parts":[[2021,10,1]]}}}