Senter for Marxistiske og Matematiske Studium, Enschede (SMMSE)

17 april 2006

 

Straum og logikk – kven var fyrst?

Claude E. Shannon får som regel æra for å ha sett og skrivi om analogien mellom elektriske og elektroniske krinsar og logikk. Men sjølv om det var artikkelen til Shannon som fekk merksemd og la grunnlaget for den vidare utviklinga, var han ikkje den fyrste som såg denne samanhengen. Sjølv uttalte Shannon seinare at analogien er "[t]rivial, actually, once you make it", og det er ikkje til å verte overraska over at han har vorte oppdaga og gjenoppdaga mange gonger. I omvendt kronologisk rekkjefølgje:

1938: Shannon publiserar artikkelen "A symbolic analysis of relay and switching circuits" i Transactions of the American Institute of Electrical Engineers. I 1940 leverer han artikkelen som masteroppgåve ved M.I.T., som eg har skrivi om før. (Aspray 1990:116-117; Gardner 1982:129-130; Shannon 1938; 1940)

1936-37: Japanarane Akira Nakasima og Masao Hanzawa publiserar ei rekkje artiklar (på japansk) i Journal of the Institute of Electrical Communication Engineers of Japan som etablerar den same analogien mellom elektriske krinsar og logikk som Shannon fann. Engelske samandrag vart publisert in Nippon Electrical Communications Engineering i 1938, men dei fekk ikkje same merksemda som Shannon. (Aspray 1990:117; Church 1953; Gardner 1982:129)

1936: Benjamin Burack (ved Department of Psychology, Roosevelt College, Chicago) presenterer ei elektrisk logikkmaskin på eit møte i Lewis Institute. Maskina analyserer slutningar og er basert på at ein bygg opp dei logiske uttrykka av treklossar ein plasserar på maskina. Elektriske kontaktar i klossane lagar elektriske krinsar som får lamper til å lyse som indikerer om slutninga er gyldig eller ikkje, og kva for eventuell feilslutning som har vorte gjort. Maskina var lite kjent fram til Burack skreiv om ho i artikkelen "An electrical logic machine" i Science i 1947, og det er ingenting som tyder på at Burack baserte seg på nokon formell teori då han lagde ho. (Aspray 1990:114; Burack 1947; Gardner 1982: 127-182)

1934-35: Russaren V. I. Šéstakov utviklar ein analogi mellom krinsar og boolsk algebra basert på ein ide av Paul Erénfést (sjå under) og skriv om det i ein artikkel som ikkje vert publisert. I staden vert artikkelen ein del av doktoravhandlinga til Šéstakov, som vert publisert i tidskriftet Téhničéskaá fizika i 1941. (Aspray 1990:117; Gardner 1982:129; Kline 1951)

1910: Russaren Paul Erénfést føreslår ein analogi mellom boolsk algebra og elektriske krinsar i ei omtale av den russiske omsetjinga av boka "L'algèbre de la logique" av Couturat. Ideen vert sidan vidareutvikla av V. I. Šéstakov (sjå over). (Aspray 1990:117; Gardner 1982:129; Kline 1951)

1887-1890: Amerikanaren Herman Hollerith bygg den fyrste holkortmaskina og nyttar ho til oppteljing av folketeljinga i USA i 1890 (vonleg kjem det ein tekst om dette seinare). Maskina var elektrisk og for å kunne telje kombinasjonar av ulike data samla inn om folk, til dømes kjønn, rase og nasjonalitet (Hollerith sitt eiga døme) hadde maskina eit system for å kople kombinasjonar av nåler som leste holkorta til ulike teljarar. Ved hjelp av seriekoplingar kunne til dømes ein teljar telje personar som var farga og kvinner medan ein annan talte personar som var kvite og utanlandske og menn. Parallellkoplingar kunne nyttast til å telje, til dømes, personar over ein viss alder; i aldersgruppa 45-49 år eller i aldersgruppa 50-54 år eller i aldersgruppa 55-59 år, osb. Kombinasjonar av og og eller var òg mogleg. Hollerith var truleg ikkje klar over det, men dette koplingssystemet er analogt til boolsk algebra. (Campbell-Kelly 1990:128-129,151;Hollerith 1889)

1886: Filosofen Charles S. Peirce skriv i eit brev til Marquand (sjå under) om moglege vidareutviklingar av logikkmaskina hans:

I think electricity would be the best thing to relay on.

Let A, B, C be three keys or other points where the circuit may be open or closed. As in Fig. 1, there is a circuit only if all are closed; in Fig. 2. there is a circuit if any one is closed. This is like multiplication & addition in Logic.

Fantastisk! (Med multiplikasjon refererer han til konjunksjon/"og" og med addisjon til disjunksjon/"eller".) (Gardner 1982:116,129; Peirce 1886)

1882-85?: Inspirert av Jevons bygde Allan Marquand i perioden 1881-82 ei mekanisk logikkmaskin, og i 1901 skriv James Mark Baldwin:

In 1882 Marquand constructed from an ordinary hotel annunciator another machine in which all the combinations are visible at the outset, and the inconsistent combinations are concealed from view as the premises are impressed upon the keys. He also had designs made by means of which the same operations could be accomplished by means of electro-magnets.

Det er uklårt kva for maskin Baldwin referer til, men på byrjinga av 1950-talet vart eit koplingsdiagram for ei elektromagnetisk maskin funne blant dei etterlatne papira til Marquand. Mays meiner diagrammet er frå rundt 1885, og skriv:

The diagram which was apparently meant to operate this machine is made up of two circuits both wired in series and parallel. As we now know switches wired in series can represent a logical product [konjunksjon/"og"] and in parallel a logical sum [disjunksjon/"eller"]. Marquand probably made this application intuitively since this diagram is merely an electrical translation of his geometrical diagram ...

Men det var utan at Mays kjende til brevet frå Perice (sjå over) som vart oppdaga tidleg på 1970-talet, og det er uvisst om Marquand teikna diagrammet før eller etter han fekk dette brevet. Gardner, som kjenner til brevet, deler likevel synet til Mays og skriv: "The wiring is of no special interest, since it merely provides an electrical method by which the keys of Marquand's machine can turn the pointers." (Den mekaniske maskina til Marquand viste svara med peikarar som peikte i ulike retningar) Aspray ser ut til å meine at logikkmaskina Baldwin nemner er ein prototyp for ei maskin basert på det elektromagnetiske diagrammet. (Aspray 1990:113-114; Baldwin 1901; Gardner 1982:114; Mays 1953)

Kjelder

William Aspray. Logic machines. I, William Aspray (red.), Computing before computers, side 99-121, Iowa State University Press/Ames, 1990.

James Mark Baldwin. Logical machine. I, James Mark Baldwin (red.), Dictionary of Philosophy and Psychology, Vol. 1. MacMillan, 1901.

Benjamin Burack. An electrical logic machine. Science, 109(2842):610-611, 17. juni, 1947.

Martin Campbell-Kelly. Punched-card Machinery. I, William Aspray (red.), Computing before computers, side 122-155, Iowa State University Press/Ames, 1990.

Alonzo Church. Nippon Electrical Communication Engineering. Journal of Symbolic Logic, 18(4):346, 1953.

Martin Gardner. Logic machines and diagrams. Andre utgåve. The Harvester Press, 1982.

Herman Hollerith. An electrical tabulating system. The Quarterly, Columbia University School of Mines, X(16):238-255, 1889.

George L. Kline. Foundations of mathematics and mathematical logic. Journal of Symbolic Logic, 16(1):46-48, 1951.

Anthony Liversidge. Profile of Claude Shannon. I, N.J.A. Sloane og Aaron D. Wyner (red.), Claude Elwood Shannon Collected Papers, side xix-xxxiii, IEEE Press, 1993.

W. Mays. The first circuit for an electrical logic-machine. Science, 118(3062): 281-282, 4. september, 1953.

Charles S. Peirce. Brev til A. Marquand, datert 30. desember 1886. I Writings of Charles S. Peirce, Volume 5, 1884-1886, side 421-423. Indiana University Press, 1993.

Claude Elwood Shannon. A symbolic analysis of relay and switching circuits. Master's thesis, Massachusetts Institute of Technology, 1940.

Claude Elwood Shannon. A symbolic analysis of relay and switching circuits. Transactions of the American Institute of Electrical Engineers, 57:713-723, 1938.

Kommentarar: Legg inn en kommentar



<< Framside

Tidlegare tekstar

Shannon og logikken II
Senteret har flytta
Shannon og logikken I – ei historie om eittal og n...
Jevons sitt logikkpiano III
Meir om slutningar III – eit dataprogram for å und...
Meir om slutningar II – ei enkel utsegnskalkyle
Snø
Meir om slutningar – lur bruk av logikkpianoet til...
Jevons sitt logikkpiano II
Jevons sitt logikkpiano I

Arkiv

november 2005   desember 2005   februar 2006   april 2006   november 2006   desember 2006   januar 2007   februar 2007   mars 2007   august 2007   desember 2007   januar 2008   juli 2008  

This page is powered by Blogger. Isn't yours?