{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T17:09:47Z","timestamp":1763226587087},"reference-count":62,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018,1]]},"DOI":"10.1109\/mahc.2018.012171265","type":"journal-article","created":{"date-parts":[[2018,5,8]],"date-time":"2018-05-08T19:07:50Z","timestamp":1525806470000},"page":"19-45","source":"Crossref","is-referenced-by-count":6,"title":["Less Is More in the Fifties: Encounters between Logical Minimalism and Computer Design during the 1950s"],"prefix":"10.1109","volume":"40","author":[{"given":"Liesbeth","family":"De Mol","sequence":"first","affiliation":[{"name":"Université de Lille 3"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bullynck","family":"Maarten","sequence":"additional","affiliation":[{"name":"Université Paris 8"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edgar G.","family":"Daylight","sequence":"additional","affiliation":[{"name":"Universität Siegen and KU Leuven"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"71","article-title":"Microprogramming and the choice of order code","author":"stringer","year":"0","journal-title":"Proc Symp Automatic Digital Computation"},{"key":"ref38","first-page":"230","article-title":"Microprogramming and the Design of the Control Circuits in an Electronic Digital Computer","author":"wilkes","year":"0","journal-title":"Proceedings of the Cambridge Philosophical Society"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/320856.320867"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/800259.808993"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1515\/9781400882618-007"},{"key":"ref30","article-title":"Representation of events in nerve nets and finite automata","author":"kleene","year":"1951","journal-title":"RAND Memorandum 704"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.2307\/2002038"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.2307\/1970290"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/321160.321170"},{"key":"ref34","first-page":"42","article-title":"Die Universalität programmgesteuerter Rechenmaschinen","volume":"4","author":"hermes","year":"1954","journal-title":"Math —Phys Semsterberichte"},{"key":"ref60","author":"tedre","year":"2015","journal-title":"The Science of Computing Shaping of a Discipline"},{"key":"ref62","author":"daylight","year":"2016","journal-title":"Turing Tales Lonely Scholar"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.09.051"},{"key":"ref28","doi-asserted-by":"crossref","DOI":"10.2307\/j.ctv22jnsb3","author":"mahoney","year":"2011","journal-title":"Histories of Computing"},{"key":"ref27","article-title":"Interview with Max Palevsky","author":"mapstone","year":"1975","journal-title":"Computer Oral History Collection"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.2307\/2308219"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1080\/01445340.2015.1082050"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1179\/030801805X25927"},{"key":"ref20","author":"davis","year":"2001","journal-title":"Engines of Logic Mathematicians and the Origin of the Computer"},{"key":"ref22","article-title":"Lecture to the London Mathematical Society on 20 February1947","author":"turing","year":"1986","journal-title":"A M Turing?s ACE Report of 1946 and Other Papers"},{"key":"ref21","author":"hodges","year":"1983","journal-title":"ENIGMA"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198565932.001.0001"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198565932.003.0024"},{"key":"ref26","author":"huskey","year":"1955","journal-title":"Binary Digital Computer with Magnetic Drum Storage"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/MAHC.1984.10047"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/361454.361518"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/EE.1956.6442018"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/63238.63239"},{"key":"ref58","author":"bell","year":"1978","journal-title":"Computer Engineering A DECview of hardware systems design"},{"key":"ref57","first-page":"93","article-title":"TX-0: A Transistor Computer","author":"mitchell","year":"0","journal-title":"AFIPS Conference Proceedings EJCC 10"},{"key":"ref56","author":"clark","year":"1955","journal-title":"The logical structure of digital computers"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/1455567.1455592"},{"key":"ref54","author":"clark","year":"1990","journal-title":"Oral History Interview"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/TEC.1958.5222660"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TEC.1957.5221555"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.2307\/2266302"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-009217-1.50024-4"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1458043.1458047"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/T-AIEE.1938.5057767"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11682-7"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1949.tb03624.x"},{"key":"ref15","author":"millman","year":"1984","journal-title":"A History of Engineering and Science in the Bell System Communications Sciences (1925–1980)"},{"key":"ref16","author":"moore","year":"1953","journal-title":"Electrical circuit analyzer"},{"key":"ref17","article-title":"It Wasn't All Magic: The Early Struggle to Automate Cryptanalysis, 1930s-1960s","volume":"6","author":"burke","year":"2002","journal-title":"United States Cryptologic History Special Series"},{"key":"ref18","author":"curry","year":"1950","journal-title":"A Program Composition Technique as Applied to Inverse Interpolation"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exs072"},{"key":"ref4","author":"grattan-guinness","year":"2000","journal-title":"The Search for Mathematical Roots 1870–1940 Logics Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MAHC.2013.56"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1913-1500960-1"},{"key":"ref5","author":"whitehead","year":"1910","journal-title":"Principia Mathematica"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.2307\/2269031"},{"key":"ref7","article-title":"Absolutely unsolvable problems and relatively undecidable propositions-Account of an anticipation","author":"post","year":"1965","journal-title":"The Undecidable Basic papers on Undecidable propositions unsolvable problems and computable functions"},{"key":"ref49","year":"1958","journal-title":"An Outline of the Functional Design of the Stantec Zebra Computer"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF01448013"},{"key":"ref46","first-page":"128","article-title":"Stijlen van programmeren 1952–1972","volume":"2","author":"van der poel","year":"2008","journal-title":"Studium"},{"key":"ref45","author":"van der poel","year":"1956","journal-title":"The Logical Principles of Some Simple Computers"},{"key":"ref48","author":"daylight","year":"2010","journal-title":"Interview with Van der Poel in February 2010"},{"key":"ref47","author":"verhagen","year":"1960","journal-title":"Rekenmachines in Delft"},{"key":"ref42","first-page":"61","article-title":"Early Computers in The Netherlands","volume":"1","author":"kranakis","year":"1988","journal-title":"CWI-Quarterly"},{"key":"ref41","author":"van der poel","year":"1948","journal-title":"Inzending 1946\/47 van Van der Poel op de prijsvraag genaamd” $1+1=10$"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/BF02919783"},{"key":"ref43","author":"van der poel","year":"1988","journal-title":"Een leven met computers"}],"container-title":["IEEE Annals of the History of Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/85\/8356163\/08356176.pdf?arnumber=8356176","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,3]],"date-time":"2022-05-03T20:18:02Z","timestamp":1651609082000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8356176\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1]]},"references-count":62,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/mahc.2018.012171265","relation":{},"ISSN":["1058-6180","1934-1547"],"issn-type":[{"value":"1058-6180","type":"print"},{"value":"1934-1547","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,1]]}}}