{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T16:52:03Z","timestamp":1771260723650,"version":"3.50.1"},"reference-count":97,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Annals Hist. Comput."],"published-print":{"date-parts":[[2023,4,1]]},"DOI":"10.1109\/mahc.2023.3266359","type":"journal-article","created":{"date-parts":[[2023,4,20]],"date-time":"2023-04-20T21:19:57Z","timestamp":1682025597000},"page":"29-42","source":"Crossref","is-referenced-by-count":5,"title":["\u201cContent Is Meaningless, and Structure Is All-Important\u201d: Defining the Nature of Computer Science in the Age of High Modernism, c. 1950\u2013c. 1965"],"prefix":"10.1109","volume":"45","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3580-7264","authenticated-orcid":false,"given":"David","family":"Nofre","sequence":"first","affiliation":[{"name":"Independent scholar, Oegstgeest, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref57","author":"knuth","year":"2014"},{"key":"ref56","author":"kleene","year":"1952","journal-title":"Introduction to Metamathematics"},{"key":"ref59","article-title":"Welcoming address","author":"lehmer","year":"1954","journal-title":"Proc AIEE-IRE '54 (Western) Proc February 11-12 1954 Western Comput Conf Trends Comput Autom Contr Data Process"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/361532.361538"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.4159\/harvard.9780674065222"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/MAHC.1987.10018"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1515\/9781503617575"},{"key":"ref54","article-title":"Between discipline and profession: A history of persistent instability in the field of computer engineering, circa 1951–2006","author":"jesiek","year":"2006"},{"key":"ref51","author":"hughes","year":"2011","journal-title":"Systems Experts and Computers The Systems Approach in Management and Engineering World War II and after"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/0016-0032(54)90574-8"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/3372920"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/2688497"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1086\/675549"},{"key":"ref47","author":"heyck","year":"2015","journal-title":"Age of System Understanding the Development of Modern Social Science"},{"key":"ref42","article-title":"Saul Gorn Papers","author":"gorn","year":"0"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/612201.612232"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/MAHC.2007.20"},{"key":"ref43","author":"greenberger","year":"1962","journal-title":"Management and the Computer of the Future"},{"key":"ref49","author":"hicks","year":"2017","journal-title":"Programmed Inequality How Britain Discarded Women Technologists and Lost Its Edge in Computing"},{"key":"ref8","article-title":"Machine language translation","volume":"7","year":"0","journal-title":"The Pulse of Long Island"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1177\/002072097100900209"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1525\/hsns.2015.45.5.805"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MAHC.2018.022921441"},{"key":"ref3","author":"adams","year":"2011","journal-title":"An Early History of Recursive Functions and Computability From Gödel to Turing"},{"key":"ref6","article-title":"Formalizing meaning: A history of programming language semantics","author":"astarte","year":"2019"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/85.859525"},{"key":"ref40","first-page":"1","article-title":"On the logical design of formal mixed languages","volume":"1","author":"gorn","year":"1960","journal-title":"Frontier Research on Digital Computers Notes from the Summer Conference Held At the Computation Center of the University of North Carolina Chapel Hill N C August 17-28 1959"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.4159\/9780674053885"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/321127.321132"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/1465482.1465513"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1002\/bs.3830120602"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.7208\/chicago\/9780226046778.001.0001"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9780262050937.001.0001"},{"key":"ref33","first-page":"63","article-title":"On commands and executions: Tyrants, spectres and vagabonds","author":"gauthier","year":"2018","journal-title":"Executing Practices"},{"key":"ref32","article-title":"G. E. Forsythe talk at Swarthmore College, 16 Apr. 1965","author":"forsythe","year":"0","journal-title":"George Forsythe Papers 1938-1972 (Series 1)"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/366853.366856"},{"key":"ref38","first-page":"1","article-title":"An axiomatic approach to prefix languages","author":"gorn","year":"1962","journal-title":"Symbolic Languages in Data Process Proceedings of the Symposium Organized and Edited By the International Computation Centre Rome March 26-31 1962"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/MAHC.2018.012171265"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1163\/19552343-13900017"},{"key":"ref26","article-title":"After math: (Re)Configuring minds proof and computing in the postwar United States","author":"dick","year":"2015"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1002\/9781119072218.ch5"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/365559.366069"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.2178\/bsl\/1146620062"},{"key":"ref21","first-page":"283","article-title":"The machine age","author":"daly","year":"2010","journal-title":"The Oxford Handbook of Modernisms"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1515\/9781503619999"},{"key":"ref27","first-page":"435","article-title":"Afterword. Beyond abstractions and embodiments","author":"dick","year":"2022","journal-title":"Abstractions and Embodiments New Histories of Computing and Society"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1086\/682955"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1455533.1455566"},{"key":"ref12","first-page":"21","article-title":"Languages, logic, learning, and computers","volume":"7","author":"carr","year":"1958","journal-title":"Comput Automat"},{"key":"ref15","first-page":"1","article-title":"Who will man the new digital computers?","volume":"2","author":"carr","year":"1953","journal-title":"Comput Automat"},{"key":"ref14","first-page":"1","article-title":"Methods in high-speed computation","author":"carr","year":"1956","journal-title":"Notes On Digital Computers And Data Processors [Frontier Applications] Prepared for Special Summer Conferences At the University of Michigan"},{"key":"ref97","doi-asserted-by":"publisher","DOI":"10.1162\/POSC_a_00194"},{"key":"ref96","article-title":"A rough guide to U.S. Research on complex information processing","author":"williams","year":"0"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780190212308.003.0014"},{"key":"ref10","first-page":"84","article-title":"Automatic programming and its development on the MIDAC","author":"brown","year":"1954","journal-title":"Symposium On Automatic Programming For Digital Computers 13–14 May 1954"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/MAHC.1988.10036"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1162\/posc_a_00571"},{"key":"ref19","article-title":"The logical structure of digital computers","author":"clark","year":"1955"},{"key":"ref18","first-page":"429","article-title":"Linguistics, logic, psychology, and computers","author":"chomsky","year":"1959","journal-title":"Computer Programming and Artificial Intelligence An Intensive Course For Practicing Scientists and Engineers Lectures Given at the University of Michigan Summer 1958"},{"key":"ref93","year":"1957","journal-title":"University of Michigan Courses in the Grand Rapids Area Second Semester 1957-58"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s2-42.1.230"},{"key":"ref95","article-title":"A survey of domestic Electronic Digital Computing Systems","author":"weik","year":"1955"},{"key":"ref94","article-title":"High speed computing. Lecture 3","author":"von neumann","year":"0"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198250791.003.0016"},{"key":"ref90","author":"tedre","year":"2015","journal-title":"The Science of Computing Shaping a Discipline"},{"key":"ref89","first-page":"194","article-title":"The axiomatic aesthetic","author":"steingart","year":"2020","journal-title":"Computer Architectures Constructing the Common Ground"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1017\/S0269889718000236"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9234.001.0001"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1525\/rep.2021.156.5.115"},{"key":"ref87","doi-asserted-by":"crossref","DOI":"10.7208\/chicago\/9780226824192.001.0001","author":"steingart","year":"2023","journal-title":"Axiomatics Mathematical Thought and High Modernism"},{"key":"ref82","article-title":"Saul Gorn Papers","author":"ross","year":"0"},{"key":"ref81","year":"0","journal-title":"Report on A Conference of University Computing Directors - Second Draft - Edited"},{"key":"ref84","article-title":"Miscellaneous papers re May 28–29, 1959, meeting in Pentagon, including my hand notes","author":"sammet","year":"0"},{"key":"ref83","article-title":"Saul Gorn Papers","author":"ross","year":"0"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511610318"},{"key":"ref79","author":"priestley","year":"2011","journal-title":"A Science of Operations Machines Logic and the Invention of Programming"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1023\/B:SYNT.0000043018.52445.3e"},{"key":"ref75","first-page":"47","article-title":"George Forsythe and the creation of computer science as we know it","author":"november","year":"2017","journal-title":"Communities of Computing Computer Science and Society in the ACM"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1353\/tech.2014.0031"},{"key":"ref77","first-page":"375","article-title":"Report on a proposed international standard for a common algebraic language for digital computers","author":"perlis","year":"1959","journal-title":"Computer Programming and Artificial Intelligence An Intensive Course For Practicing Scientists and Engineers Lectures Given at the University of Michigan Summer 1958"},{"key":"ref76","article-title":"Inventing intelligence: On the history of complex information processing and artificial intelligence in the United States in the mid-twentieth century","author":"penn","year":"2020"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9014.001.0001"},{"key":"ref1","first-page":"25","article-title":"From handmaiden to ‘proper intellectual discipline’: Creating a scientific identity for computer science in 1960s America","author":"abbate","year":"2017","journal-title":"Communities of Computing Computer Science and Society in the ACM"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1515\/9781400882618-006"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1002\/9780470619926"},{"key":"ref73","author":"nijholt","year":"1988","journal-title":"Computers and Languages Theory and Practice"},{"key":"ref72","year":"2004","journal-title":"Computer Science Reflections on the Field Reflections from the Field"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-18955-6_6"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/3417517"},{"key":"ref69","author":"misa","year":"2017","journal-title":"Communities of Computing Computer Science and Society in the ACM"},{"key":"ref64","author":"mancosu","year":"2014","journal-title":"The Adventure of Reason Interplay Between Philosophy of Mathematics and Mathematical Logic 1900-1940"},{"key":"ref63","first-page":"617","article-title":"Computer science. The search for a mathematical theory","author":"mahoney","year":"2003","journal-title":"Companion Encyclopedia of Science in the Twentieth Century"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1142\/9789812776631_0001"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.21428\/bf6fb269.19c98f37"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/IRET-MIL.1960.5008281"},{"key":"ref62","author":"mackenzie","year":"2004","journal-title":"Mechanizing Proof Computing Risk and Trust"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/368280.368293"}],"container-title":["IEEE Annals of the History of Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/85\/10148806\/10106116.pdf?arnumber=10106116","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,18]],"date-time":"2024-10-18T22:47:10Z","timestamp":1729291630000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10106116\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,1]]},"references-count":97,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/mahc.2023.3266359","relation":{},"ISSN":["1058-6180","1934-1547"],"issn-type":[{"value":"1058-6180","type":"print"},{"value":"1934-1547","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,4,1]]}}}