Logiska pianot

William Stanley Jevons — nationalekonom till yrket, logiker på fritiden — lät en urmakare i Salford bygga den 1869 och visade upp den för Royal Society året därpå. Tjugoen tangenter matar in påståenden om fyra termer och deras negationer. Inuti står sexton skyltar, en för varje rad i sanningstabellen över fyra termer, och varje inmatad premiss fäller mekaniskt bort de rader som motsäger den. Kvar syns de logiskt möjliga fallen.

Grunden är George Booles algebra från 1854, som Jevons hade skrivit om till en enklare ekvationslogik han tyckte var lättare att räkna med. Resultatet är den första maskin som löste ett logiskt problem snabbare än en människa — cirka åttio år innan reläer och elektronrör gjorde samma sak elektriskt, och med samma grundidé: eliminera det omöjliga och se vad som återstår.

Exemplaret finns kvar på vetenskapshistoriska museet i Oxford. Ingen byggde vidare på det direkt; kedjan från Boole till grindarna gick via Shannon, som inte behövde några skyltar.