Datorlegenden och före detta Apple -stipendiat Alan Kay har vänligt skrivit en detaljerad anteckning som förklarar en kommentar han gjorde på CES, facetvist rapporterat här. Jag letade efter en ny grej från Kays komplexa prat, jag försökte göra ett skämt om att något djupt avslöjades vid CES -gadgetorgyn. ("Vi tyckte alla att det var ganska roligt också", sa Kay i ett separat mejl).
Kays anteckning förklarar en kommentar han gjorde om det logiska uttrycket INTE BÅDE som ligger till grund för allt mänskligt tänkande.
"Vad jag sa var att alla mänskliga symboler/logiska representationssystem och alla datorer från nuet och framtiden kan vara gjorda av INTE Båda", säger Kay.
Kays fulla, fascinerande mejl efter hoppet.
Tack för att du skrev om mitt samtal igår.
En liten rättelse är att jag inte sa:
”All mänsklig kunskap kan förklaras med det enkla logiska uttrycket INTE BÅDE, sa Kay. "Det är ett logiskt uttryck som förklarar allt tänkande," sa han mitt i sitt tal "
Vad jag sa var att alla mänskliga symboler/logiska representationssystem och alla datorer från nutid och framtid kan tillverkas av INTE BÅDA.
Jag begick det klassiska felet att låta klockan pressa mig att använda en mening där jag borde ha använt antingen ingen eller några.
Analogin är att alla levande saker vi vet om på planeten är gjorda av bara några typer av atomer (ungefär sex typer). Detta förklarade inte livet, eftersom det är den komplexa dynamiska arkitekturen för dessa atomer som förklarar livet, inte atomerna själva. På samma sätt kan vi göra valv av tegel, men det är mycket svårt att hitta en båge från att titta på en tegelsten (tog människor tusentals år att få idén och ta reda på hur man gör det).
NOT BOTH -operatören (kallad NAND in computerdom) realiserades först av den amerikanska matematikern Charles Peirce runt 1880 när han tittade på Booles bok om logik, som visade hur alla logiska operationer kunde göras från OCH, ELLER, och INTE. Peirce inser att INTE BÅDE på alla möjliga värden för ingångar A och B var tillräckliga för att göra vad de tre mer begripliga operationerna hos Boole och andra logiker gjorde.
Idag kallas denna operation ofta "Sheffer Stroke" (ca. tidigt 1900 -tal) eftersom Peirces arbete gick vilse ett tag.
Exempel
Jag tror att det är lättare att förstå 0 och 1 än falskt och sant (eller av och på, eller nej eller ja) så låt:
0 används för att markera falskt eller avstängt eller nej
1 används för att markera sant eller på eller ja
———————————————————–
Definiera op = INTE BÅDE som
A op B = C
— — —
0 0 = 1
0 1 = 1
1 0 = 1
1 1 = 0
————————————————————
Vi använder ibland denna operation i vanliga liv.
Till exempel, om vi talar om en patients livsstöd, och A är patientens familj, och B är läkaren, och C -medel borde vara livet stöd av patienten vara på (1) eller av (0), då är logiken vi vill utföra att vi bara kan stänga av livsstödet om både familjen och läkaren instämma.
Det är A: Ja B: Ja C: Av
Naturligtvis skulle de flesta inte tänka så här, för våra nervsystem är fruktansvärda på INTE (och negation av alla slag). (Vi kan inte säga till någon "Tänk inte på den rosa elefanten" utan att trolla fram en - eller "Juryn kommer att bortse från den sista anmärkningen".)
Universaliteten i detta för att göra representationer är lättare att se nu än på Peirces tid, eftersom vi kan göra varje element i en dator (både minne och bearbetningslogik) från bara INTE BÅDE. Och människor har nu en informell känsla genom att använda datorer att de kan representera "allt" (alla skriftspråk, allt som kan göras av märken, text, bilder, filmer, ljud och representationssystem som är mer oklara, etc.).
Och, tillbaka till analogin av förhållandet mellan några typer av atomer och att göra liv, i teorin borde man kunna göra maskiner som tänker lika bra (och bättre än oss) från arkitekturer helt utformade av den enda typen av tegelsten NOT BÅDE. Men både vetenskap och teknik kräver verkliga exempel på modeller som fungerar - så det här är gissningar (men bra) vid denna tidpunkt.
Du kan se varför jag borde ha hållit käften om detta (eller hållit ett annat samtal).
Skål,
Alan
