Arthur Burks

Arthur Walter Burks disputerade i filosofi på Charles Sanders Peirce och fick 1941 inget arbete som filosof. Han gick i stället en snabbkurs i elektronik vid Moore School, blev kvar där och slutade som en av de mer seniora ingenjörerna på ENIAC, med ansvar bland annat för multiplikatorenheten. Att formell logik och kopplingsscheman visade sig vara samma ämne var en poäng samtiden fortfarande höll på att upptäcka.

1946 skrev han tillsammans med Herman Goldstine och John von Neumann Preliminary Discussion of the Logical Design of an Electronic Computing Instrument, rapporten bakom IAS-maskinen och därmed mallen för en hel generation kopior. Därefter gick han till University of Michigan, grundade Logic of Computers Group — där John Holland tog fram genetiska algoritmer — och färdigställde von Neumanns efterlämnade manuskript om självreproducerande automater. Han vittnade också i patentmålet som 1973 ogiltigförklarade ENIAC-patentet.