{"entities":[{"id":"alan-turing","name":"Alan Turing","type":"person"},{"id":"machine-succession","name":"Machines succeed humans as the leading intelligence","type":"concept","proposition":{"code":"W01","criterion":"Machine intelligence will or could replace or succeed human beings as the dominant or leading form of intelligence on Earth, or as the principal agent of further development, whether or not humans survive.","terms":["genetic takeover","postbiological","post-biological","AI succession"],"noTermHeadline":{"reason":"Dropped by the maintainer’s decision of 2026-11-02: the usual names are ordinary phrases rather than names of this proposition (cross-family re-check of 2026-11-02, role 23). The names stay listed as search terms.","recordedAt":"2026-11-02"}}},{"id":"turing-1948-npl-intelligent-machinery","name":"Intelligent Machinery (National Physical Laboratory report)","type":"document","subtype":"Report","description":"Alan Turing’s report Intelligent Machinery for the National Physical Laboratory, dated 1948 on its title sheet, read in the laboratory’s facsimile. The undated typescript with Turing’s corrections in the Turing Digital Archive (AMT/C/11) is its draft and is held as a second source.","sourceIds":["source-pre-turing-npl-1948-report","source-pre-turing-amt-c-11"]},{"id":"machines-only-do-what-they-are-ordered","name":"A machine can only do what it is ordered to do","type":"concept","proposition":{"code":"U01","criterion":"A machine, whether a particular machine or machines in general, cannot originate anything: it does only what it has been ordered, instructed or programmed to do, so that it produces nothing beyond what was put into it or what the people who set it up know how to specify. A statement that machines are at present used only in this way, without saying that they could not do otherwise, does not meet the criterion; nor does a statement about one machine’s lack of a particular skill.","terms":["Lovelace's objection","Lady Lovelace's objection"]}}],"claims":[{"id":"pre-u01-turing-1948-npl-contests","subject":"turing-1948-npl-intelligent-machinery","predicate":"contests_proposition","object":{"kind":"entity","entityId":"machines-only-do-what-they-are-ordered"},"topic":"ideas","statement":"Turing’s National Physical Laboratory report ‘Intelligent Machinery’ (1948) lists, among reasons for assuming that machinery cannot show intelligent behaviour, the view that any intelligence a machine shows is nothing but a reflection of its creator’s, and answers that this view is like giving a teacher the credit for a pupil’s discoveries.","time":{"kind":"event","date":"1948","note":"Year typed on the report’s title sheet; exact day unknown."},"derivation":"explicit","resolution":"supported","editorialState":"seed","evidenceIds":["evidence-pre-u01-turing-1948-npl-contests-1","evidence-pre-u01-turing-1948-npl-contests-2","evidence-pre-u01-turing-1948-npl-contests-3"],"attributes":{"thought":{"roles":["contesting"],"register":"nonfiction","engagement":{"kind":"engages-premise","rationale":"Argues that a teacher would not claim the results of a pupil he had not foreseen, and that machines already exist where this arises in a small degree."}}}},{"id":"pre-w01-turing-1948-npl-context","subject":"turing-1948-npl-intelligent-machinery","predicate":"bears_on_proposition","object":{"kind":"entity","entityId":"machine-succession"},"topic":"ideas","statement":"Turing’s National Physical Laboratory report ‘Intelligent Machinery’ (1948) gives, as a reason why people assume that machinery cannot show intelligent behaviour, an “unwillingness to admit the possibility that mankind can have any rivals in intellectual power”, and compares it with the possibility of being superseded by another animal species.","time":{"kind":"event","date":"1948","note":"Year typed on the report’s title sheet; exact day unknown."},"derivation":"explicit","resolution":"supported","editorialState":"seed","evidenceIds":["evidence-pre-w01-turing-1948-npl-context-1"],"attributes":{"thought":{"roles":["context"],"register":"nonfiction","missing":"A statement that machine intelligence will or could succeed people as the leading intelligence; the passage describes an attitude towards the possibility of rivals."}}},{"id":"pre-ap-alan-turing-turing-1948-npl-intelligent-machinery","subject":"alan-turing","predicate":"authored","object":{"kind":"entity","entityId":"turing-1948-npl-intelligent-machinery"},"topic":"ideas","statement":"“Intelligent Machinery” (1948) credits A. M. Turing as its author.","time":{"kind":"event","date":"1948","note":"Date of the text as recorded on its document; authorship is credited in the inspected expression."},"derivation":"explicit","resolution":"supported","editorialState":"seed","evidenceIds":["evidence-pre-ap-alan-turing-turing-1948-npl-intelligent-machinery"]}],"sources":[{"id":"source-pre-turing-amt-c-11","documentId":"turing-1948-npl-intelligent-machinery","title":"‘Intelligent machinery’ (AMT/C/11), typescript with Turing’s corrections and additions","authors":["Alan Turing"],"publisher":"King’s College Cambridge, Turing Digital Archive, AMT/C/11","publicationDate":"1948","version":"Retrieved for the candidate pack on 2026-11-02 (SHA-256 ec9ca581a095f145f8a8edee7010c6a2d5ab1f3567f0e6ac041ed13d8d0b3eb2). Archive scan (44 images) of the typescript catalogued as ‘TS, Intelligent machinery, with AMS corrections and additions’, n.d.; page 1 carries R. O. Gandy’s note ‘Turing’s typed draft’. The undated, corrected typescript draft of the report; the report’s date does not date the typescript or its corrections.","evidenceUrl":"https://mediadepot.kings.cam.ac.uk/getmedia/130/3aba98a45870caf929342f032cd994f63c0557583c01548254049a5b45e4707961faef9d296e03c59ed624cadf5f06cf83c01085ec35e872c2614eece1618786","language":"en"},{"id":"source-pre-turing-npl-1948-report","documentId":"turing-1948-npl-intelligent-machinery","title":"‘Intelligent Machinery’, a report by A. M. Turing (1948)","authors":["Alan Turing"],"publisher":"National Physical Laboratory, facsimile of the report (PDF)","publicationDate":"1948","version":"Retrieved for the candidate pack on 2026-11-03 (SHA-256 8751a5e654f17de3684856d8ccff6c81bb31f22a28cc9f2d6ee55202b7d78088). Facsimile of the typed report: cover label ‘Intelligent Machinery / A.M. Turing / (1948)’, title sheet with ‘(1948)’, report pp. 1–2 (PDF pages 3–4) read; on p. 2 the objection label is corrected by hand.","evidenceUrl":"https://www.npl.co.uk/getattachment/84156b8e-1b00-45b7-9f5e-3179cfa458c5/80916595-Intelligent-Machinery.pdf","language":"en"}],"evidence":[{"id":"evidence-pre-u01-turing-1948-npl-contests-1","claimId":"pre-u01-turing-1948-npl-contests","sourceId":"source-pre-turing-npl-1948-report","support":"context","verification":"machine_checked","retrievalRoute":"direct"},{"id":"evidence-pre-u01-turing-1948-npl-contests-2","claimId":"pre-u01-turing-1948-npl-contests","sourceId":"source-pre-turing-npl-1948-report","sourceRole":"primary","support":"supports","verification":"machine_checked","retrievalRoute":"direct"},{"id":"evidence-pre-u01-turing-1948-npl-contests-3","claimId":"pre-u01-turing-1948-npl-contests","sourceId":"source-pre-turing-amt-c-11","support":"context","verification":"machine_checked","retrievalRoute":"direct"},{"id":"evidence-pre-w01-turing-1948-npl-context-1","claimId":"pre-w01-turing-1948-npl-context","sourceId":"source-pre-turing-npl-1948-report","sourceRole":"primary","support":"supports","verification":"machine_checked","retrievalRoute":"direct"},{"id":"evidence-pre-ap-alan-turing-turing-1948-npl-intelligent-machinery","claimId":"pre-ap-alan-turing-turing-1948-npl-intelligent-machinery","sourceId":"source-pre-turing-npl-1948-report","sourceRole":"primary","support":"supports","verification":"machine_checked","retrievalRoute":"direct"}],"at":{"entities":[931,1969,2157,2160],"claims":[6191,6192,6205],"sources":[2039,2040],"evidence":[8436,8437,8438,8439,8454]},"index":{"byClaim":[["pre-u01-turing-1948-npl-contests",["propositions:antecedent-texts"]],["pre-w01-turing-1948-npl-context",["propositions:machine-succession"]]],"marks":[],"chronicle":{"years":[{"year":1637,"topics":{"ideas":2},"stated":0},{"year":1843,"topics":{"ideas":1},"stated":0},{"year":1863,"topics":{"ideas":10},"stated":0},{"year":1865,"topics":{"ideas":2},"stated":0},{"year":1872,"topics":{"ideas":12},"stated":0},{"year":1923,"topics":{"ideas":3},"stated":0},{"year":1943,"topics":{"ideas":1},"stated":0},{"year":1947,"topics":{"ideas":4},"stated":0},{"year":1948,"topics":{"ideas":7},"stated":0},{"year":1949,"topics":{"ideas":4},"stated":0},{"year":1950,"topics":{"ideas":11},"stated":0},{"year":1951,"topics":{"ideas":14},"stated":0},{"year":1952,"topics":{"ideas":2},"stated":0},{"year":1955,"topics":{"ideas":31},"stated":0},{"year":1956,"topics":{"ideas":1},"stated":0},{"year":1957,"topics":{"ideas":1},"stated":0},{"year":1958,"topics":{"ideas":3},"stated":0},{"year":1959,"topics":{"ideas":7},"stated":0},{"year":1960,"topics":{"ideas":12},"stated":0},{"year":1961,"topics":{"ideas":14},"stated":0},{"year":1965,"topics":{"ideas":8},"stated":0},{"year":1966,"topics":{"ideas":21},"stated":0},{"year":1968,"topics":{"ideas":5},"stated":0},{"year":1969,"topics":{"ideas":2},"stated":0},{"year":1971,"topics":{"ideas":4},"stated":0},{"year":1972,"topics":{"ideas":1},"stated":0},{"year":1973,"topics":{"ideas":2},"stated":0},{"year":1974,"topics":{"ideas":2},"stated":0},{"year":1975,"topics":{"ideas":1},"stated":0},{"year":1976,"topics":{"ideas":1},"stated":0},{"year":1977,"topics":{"people":2,"ideas":8},"stated":0},{"year":1979,"topics":{"ideas":10},"stated":0},{"year":1980,"topics":{"ideas":2},"stated":0},{"year":1981,"topics":{"people":2},"stated":0},{"year":1982,"topics":{"ideas":4},"stated":0},{"year":1983,"topics":{"ideas":5},"stated":0},{"year":1984,"topics":{"ideas":21},"stated":0},{"year":1985,"topics":{"ideas":9},"stated":0},{"year":1986,"topics":{"ideas":18},"stated":0},{"year":1987,"topics":{"ideas":1},"stated":0},{"year":1988,"topics":{"ideas":6},"stated":0},{"year":1989,"topics":{"ideas":25},"stated":0},{"year":1990,"topics":{"ideas":9},"stated":0},{"year":1991,"topics":{"ideas":14},"stated":0},{"year":1992,"topics":{"ideas":15},"stated":0},{"year":1993,"topics":{"ideas":24,"people":3},"stated":0},{"year":1994,"topics":{"ideas":18},"stated":0},{"year":1995,"topics":{"ideas":10,"people":1},"stated":0},{"year":1996,"topics":{"ideas":83},"stated":0},{"year":1997,"topics":{"ideas":19},"stated":0},{"year":1998,"topics":{"ideas":53},"stated":0},{"year":1999,"topics":{"ideas":32,"people":1,"institutions":1},"stated":0},{"year":2000,"topics":{"ideas":76},"stated":0},{"year":2001,"topics":{"ideas":53},"stated":0},{"year":2002,"topics":{"ideas":31},"stated":0},{"year":2003,"topics":{"ideas":9},"stated":0},{"year":2004,"topics":{"ideas":14,"people":3},"stated":0},{"year":2005,"topics":{"ideas":20,"people":1},"stated":0},{"year":2006,"topics":{"ideas":26,"people":1},"stated":0},{"year":2007,"topics":{"ideas":21},"stated":0},{"year":2008,"topics":{"ideas":67,"people":3,"institutions":1},"stated":0},{"year":2009,"topics":{"ideas":12,"people":1},"stated":0},{"year":2010,"topics":{"people":3,"ideas":13,"institutions":1,"governance":4},"stated":0},{"year":2011,"topics":{"people":3,"ideas":16,"institutions":2},"stated":0},{"year":2012,"topics":{"people":4,"ideas":20,"institutions":2},"stated":0},{"year":2013,"topics":{"ideas":47,"people":4,"institutions":2,"capital":1},"stated":0},{"year":2014,"topics":{"institutions":2,"ideas":60,"people":5},"stated":0},{"year":2015,"topics":{"people":23,"ideas":133,"institutions":3,"capital":1},"stated":0},{"year":2016,"topics":{"ideas":88,"people":2},"stated":0},{"year":2017,"topics":{"people":16,"institutions":2,"ideas":130,"governance":2},"stated":0},{"year":2018,"topics":{"people":9,"ideas":159,"institutions":8,"governance":1},"stated":0},{"year":2019,"topics":{"capital":1,"compute":1,"people":11,"governance":19,"ideas":176,"institutions":4},"stated":0},{"year":2020,"topics":{"people":6,"ideas":98,"institutions":1,"governance":2},"stated":0},{"year":2021,"topics":{"people":27,"ideas":177,"compute":1,"institutions":23,"governance":4,"capital":6},"stated":0},{"year":2022,"topics":{"people":15,"ideas":228,"institutions":6,"governance":3,"compute":2,"capital":1},"stated":0},{"year":2023,"topics":{"capital":14,"compute":7,"institutions":25,"people":55,"governance":211,"ideas":411},"stated":0},{"year":2024,"topics":{"capital":31,"compute":19,"governance":299,"people":103,"ideas":180,"institutions":32},"stated":1},{"year":2025,"topics":{"governance":635,"compute":69,"capital":61,"people":145,"institutions":26,"ideas":180},"stated":7},{"year":2026,"topics":{"governance":532,"capital":30,"compute":32,"institutions":23,"ideas":97,"people":139},"stated":19},{"year":2027,"topics":{},"stated":8},{"year":2028,"topics":{},"stated":6},{"year":2029,"topics":{},"stated":3},{"year":2030,"topics":{},"stated":3},{"year":2032,"topics":{},"stated":2},{"year":2035,"topics":{},"stated":2},{"year":2039,"topics":{},"stated":1},{"year":2042,"topics":{},"stated":1},{"year":2050,"topics":{},"stated":1}],"scheduled":[],"statedBy":[]},"collections":[{"target":{"kind":"propositions","id":"antecedent-texts"},"title":"Antecedent texts: machine intelligence before 1965","claimIds":["pre-u01-turing-1948-npl-contests"],"records":[]},{"target":{"kind":"propositions","id":"superintelligence"},"title":"Propositions about superintelligence, 1863–2025","claimIds":[],"records":[]},{"target":{"kind":"propositions","id":"risk-debate"},"title":"Arguments about catastrophic risk from advanced AI, 1863–2026","claimIds":[],"records":[]},{"target":{"kind":"propositions","id":"yudkowsky-arguments"},"title":"Eliezer Yudkowsky’s arguments on common claims about AI, 1996–2026","claimIds":[],"records":[]},{"target":{"kind":"propositions","id":"machine-succession"},"title":"Machine succession, scale and acceleration: propositions in located texts, 1863–2026","claimIds":["pre-w01-turing-1948-npl-context"],"records":[]},{"target":{"kind":"propositions","id":"economics-of-machine-intelligence"},"title":"Economics of machine intelligence: texts from 1952 to 2026 that state, contest or bear on its propositions","claimIds":[],"records":[]},{"target":{"kind":"propositions","id":"orbital-compute-arguments"},"title":"Arguments about compute in orbit","claimIds":[],"records":[]},{"target":{"kind":"propositions","id":"ai-bio-arguments"},"title":"Arguments about AI and biological risk","claimIds":[],"records":[]},{"target":{"kind":"propositions","id":"ai-in-science"},"title":"AI in science","claimIds":[],"records":[]},{"target":{"kind":"documents"},"title":"Frontier safety frameworks","claimIds":[]},{"target":{"kind":"compare","id":"frontier-safety-frameworks"},"title":"Compare frameworks","claimIds":[]},{"target":{"kind":"control","id":"openai"},"title":"OpenAI’s control structure, 2015–2026","claimIds":[]},{"target":{"kind":"control","id":"anthropic"},"title":"Anthropic’s control structure, 2021–2026","claimIds":[]},{"target":{"kind":"commitments"},"title":"External commitments and obligations","claimIds":[]},{"target":{"kind":"question","id":"frameworks-to-obligations"},"title":"Frameworks, commitments and legal obligations, 2023–2026","claimIds":[]},{"target":{"kind":"reading"},"title":"Founding and early leadership","claimIds":[]}]},"version":"ufmsd8"}