Arthur Burks - Arthur Burks

Arthur Burks
Arthur Burks 2001
Född	( 1915-10-13 )13 oktober 1915
Död	14 maj 2008 (2008-05-14)(92 år)
Alma mater	Michigans universitet
Anmärkningsvärt arbete	bidragit till utformningen av ENIAC

Arthur Walter Burks (13 oktober 1915-14 maj 2008) var en amerikansk matematiker som arbetade på 40-talet som senioringenjör på projektet som bidrog till utformningen av ENIAC , den första elektroniska digitala datorn för allmänna ändamål. Decennier senare redogjorde Burks och hans fru Alice Burks för sin sak för att ENIAC skulle ha härletts från John Vincent Atanasoff . Burks var också under flera decennier fakultetsmedlem vid University of Michigan i Ann Arbor .

tidigt liv och utbildning

Burks föddes i Duluth, Minnesota . Han tog sin BA i matematik och fysik från DePauw University i Greencastle, Indiana 1936 och sin MA och Ph.D. i filosofi från University of Michigan i Ann Arbor 1937 respektive 1941.

Moore -skolan

Sommaren efter att ha erhållit sin Ph.D., flyttade den unge Dr. Burks till Philadelphia, Pennsylvania och inskrivna i de nationella försvarselektronik kurs erbjuds av University of Pennsylvania 's Moore School of Electrical Engineering ; hans laboratorieundervisningsassistent var J. Presper Eckert , en doktorand vid Moore School; en medstudent var John Mauchly , ordförande för fysikavdelningen vid Ursinus College i närliggande Collegeville, Pennsylvania . Både Burks och Mauchly sökte och erhöll lärartjänster vid Moore -skolan följande höst och samlades under hela läsåret.

ENIAC

När Mauchly och Eckerts föreslagna koncept för en elektronisk digital dator finansierades av US Army 's Ballistics Research Laboratory i juni 1943, tillkom Burks i designteamet. Bland hans främsta bidrag till projektet var designen av höghastighetsmultiplikatorn. (Även under denna tid träffade Burks och gifte sig med Alice Rowe , en mänsklig dator anställd vid Moore School.)

I april 1945, tillsammans med John Grist Brainerd , anklagades Burks för att ha skrivit de tekniska rapporterna om ENIAC för publicering. Under 1945 hjälpte Burks också med den preliminära logiska utformningen av EDVAC vid möten som deltog av Mauchly, Eckert, John von Neumann och andra.

Burks tog också en deltidstjänst som filosofinstruktör vid Swarthmore College under åren 1945–1946.

IAS

Den 8 mars 1946 accepterade Burks ett erbjudande från von Neumann att gå med i datorprojektet vid Institute for Advanced Study i Princeton, New Jersey , och gick med på heltid sommaren därpå. (Redan på projektet var en annan medlem i ENIAC -teamet, Herman Goldstine . Tillsammans höll Goldstine och Burks nio av Moore School -föreläsningarna sommaren 1946.) Under sin tid vid IAS arbetade Burks med att utöka von Neumanns teori om automat .

University of Michigan

Efter att ha arbetat med detta projekt flyttade Burks till Ann Arbor, Michigan 1946 för att gå med vid fakulteten vid University of Michigan , först som biträdande professor i filosofi och som professor 1954. Med Irving Copi skissade han den nödvändiga designen för datorer för allmänna ändamål.

Burks hjälpte till att grunda universitetets datavetenskapliga avdelning, först som Logic of Computers -gruppen 1956, varav han var direktör, sedan som forskarutbildning 1957 och sedan som ett grundutbildningsprogram inom den nya institutionen för dator och kommunikation 1967 , som han var ordförande till 1971. Han avböjde en position som gick upp på ett annat universitets datacenter, med hänvisning till hans främsta intresse som de rent teoretiska aspekterna av datormaskiner. Han tilldelades Louis E. Levi -medaljen 1956.

Burks doktorander inkluderar John Holland , som 1959 var den första studenten som fick en doktorsexamen. i datavetenskap från Michigan, och möjligen den första i världen.

Burks tjänstgjorde som president för Charles S. Peirce Society 1954–1955. Han redigerade de två sista volymerna (VII – VIII), publicerade 1958, av Charles Sanders Peirces samlade papper och skrev genom åren publicerade artiklar om Peirce .

Restaurering av delar av ENIAC

På 1960 -talet fick han möjlighet att förvärva fyra enheter av den ursprungliga ENIAC, som hade rostat i en Quonset -stuga i Aberdeen, Maryland . Han körde enheterna genom en biltvätt innan han restaurerade dem och donerade dem till University of Michigan. De visas för närvarande i ingången till datavetenskapshuset.

Patenttvist

År 1964 kontaktades Burks av advokat Sy Yuter och ombads att gå med T. Kite Sharpless och Robert F. Shaw i tvister som skulle lägga till deras namn som uppfinnare till ENIAC -patentet, vilket skulle göra det möjligt för dem att tjäna på försäljning av licenser till premiären. elektronisk digital dator förutom Sperry Rand , företaget som ägde Eckert-Mauchly-intresset för patentet och vid den tiden sökte royalty från andra datortillverkare. Denna strävan var aldrig framgångsrik; i 1973 års beslut till Honeywell v. Sperry Rand , USA: s distriktsdomare Earl R. Larson, bestämde - även när han ogiltigförklarade patentet - att endast Mauchly och Eckert hade uppfunnit ENIAC, och att Burks, Sharpless och Shaw inte kunde läggas till som uppfinnare.

BACH -gruppen

På 1970 -talet började Burks träffa Bob Axelrod , Michael Cohen och John Holland , forskare med intresse för tvärvetenskapliga tillvägagångssätt för att studera komplexa adaptiva system. Känd som BACH -gruppen (en förkortning av deras efternamn), kom det att inkludera bland andra Pulitzer Prize -vinnaren Douglas Hofstadter , evolutionärbiologen William Hamilton , mikrobiologen Michael Savageau , matematikern Carl Simon och datavetenskapare Reiko Tanese , Melanie Mitchell och Rick Riolo . BACH -gruppen fortsätter att träffas oregelbundet som en del av University of Michigan Center for the Study of Complex Systems (CSCS).

På 1970- och 1980 -talet författade Burks, tillsammans med sin fru Alice , ett antal artiklar om ENIAC och en bok om Atanasoff – Berry Computer .

Som professor emeritus

1990 donerade Burks en del av sina papper till universitetets Bentley Historical Library, där de är tillgängliga för forskare.

Burks dog den 14 maj 2008 på ett äldreboende i Ann Arbor, Michigan, av Alzheimers sjukdom .

Se även

• Omvänd polsk notation
• Mantissa (flyttal)

Bibliografi

• Burks, Arthur W., Goldstine, Herman H. och von Neumann, John (1946), Preliminär diskussion om den logiska designen av ett elektroniskt beräkningsinstrument , 42 sidor, Institute for Advanced Study, Princeton, New Jersey, juni 1946, 2: a upplaga 1947. Eprint .
• Burks, Arthur W. och Wright, Jesse Bowdle (1952), Theory of Logical Nets . Amazon säger: publicerat av Burroughs Adding Machine Co .; Google Books säger: publicerat av University of Michigan Engineering Research Institute; 52 sidor. Deep Blue Eprint .
• Burks, Arthur W. och Copi, Irving M. (1954), The logical design of a idealized general-purpose computer , Amazon says: published by Burroughs Corporation Research Center; Google Books säger: publicerat av University of Michigan Engineering Research Institute, 154 sidor. Deep Blue Eprint .
• Burks, Arthur W. (1956), The logic of fixed and growth automa , Engineering Research Institute, University of Michigan, 34 sidor.
• Burks, Arthur W. och Wang, Hao (1956), The logic of automata , säger Amazon: publicerad av Air Research and Development Command; Google Books säger: publicerat av University of Michigan Engineering Research Institute; 60 sidor. Deep Blue Eprint .
• Peirce, Charles Sanders och Burks, Arthur W., red. (1958), Collected Papers of Charles Sanders Peirce Volumes 7 and 8, Harvard University Press, Cambridge, MA, även Belknap Press (av Harvard University Press), vol. 7-8 sammanbundna, 798 sidor, online via InteLex , omtryckt 1998 Thoemmes Continuum.
• Burks, Arthur W. (1971), Essays on Cellular Automata , University of Illinois Press, 375 sidor.
• Burks, Arthur W. (1978), Review of The New Elements of Mathematics av Charles S. Peirce, Carolyn Eisele, red., I Bulletin of the American Mathematical Society , vol. 84, nej. 5, september 1978, Project Euclid Eprint PDF 791KB .
• Burks, Arthur W. (1978). Chans, orsak och anledning: En undersökning av naturvetenskapliga bevis . Chicago, IL och London: University of Chicago Press. ISBN 9780226080871 - via Internetarkiv.
• Burks, Arthur W. och Burks, Alice R. (1981), "The ENIAC: First General-Purpose Electronic Computer" i Annals of the Computing History , vol. 3, nej. 4 , oktober 1981, s. 310–399.
• Burks, Arthur W. (1986), Robots and free minds , College of Literature, Science and the Arts, University of Michigan, 97 sidor.
• Burks, Alice R .; Arthur W. Burks (1988). Den första elektroniska datorn: Atanasoff -historien . Ann Arbor, Michigan: University of Michigan Press. ISBN 0-472-10090-4 - via Internetarkiv.
• Salmon, Merrilee H., red. (1990), The Philosophy of Logical Mechanism: Essays till ära av Arthur W. Burks med hans svar , Kluwer Academic, Dordrecht, Holland 1990, 552 sidor.
• Burks, Arthur W. (1996), "Peirces evolutionära pragmatiska idealism", Synthese , volym 106, nummer 3, 323–372.
• Burks, Alice R. (2003), Who Invented the Computer ?: The Legal Battle That Changed History , förord ​​av Douglas R. Hofstadter , Prometheus Books, Amherst, NY, 415 sidor, inbunden, Prometheus katalogsida .

Ett antal artiklar av Arthur W. Burks finns listade på sidan 599 i index of Studies in the Logic of Charles Sanders Peirce av Nathan Houser, Don D. Roberts, James Van Evraof, Google Book Search Beta sidan 599 .

Referenser

externa länkar

• Muntlig historiaintervju med Alice R. Burks och Arthur W. Burks . Charles Babbage Institute , University of Minnesota.
• Arthur Burks vid Mathematics Genealogy Project
• Verk av eller om Arthur Burks på Internet Archive