Изчислителната легенда и бившият сътрудник на Apple Алън Кей любезно е написал подробна бележка, обясняваща коментара, който той направи в CES, откровено докладвани тук. Търсейки едно ново парче от сложната беседа на Кей, аз се опитвах да се пошегувам за нещо дълбоко, разкрито на оргията на притурките на CES. („И ние всички мислехме, че е доста смешно“, каза Кей в отделен имейл).
Бележката на Кей обяснява неговия коментар относно логическия израз НЕ И ДВЕТЕ, лежащи в основата на цялото човешко мислене.
„Това, което казах, беше, че всички човешки символни/логически системи за представяне и всички компютри, минали в настоящето и бъдещето, могат да бъдат направени от НЕ И ДВЕТЕ“, казва Кей.
Пълният, завладяващ имейл на Кей след скока.
Благодаря за написаното в разговора ми вчера.
Една малка корекция е, че не казах:
„Цялото човешко знание може да се обясни с простия логически израз НЕ И ДВЕТЕ, каза Кей. "Това е логичен израз, който обяснява цялото мислене", каза той в средата на речта си "
Това, което казах, беше, че всички човешки символни/логически системи за представяне и всички компютри, минали в настоящето и бъдещето, могат да бъдат направени от НЕ И ДВЕТЕ.
Допуснах класическата грешка, като оставих часовника да ме натисне да използвам едно изречение, където трябваше да използвам нито едно, нито няколко.
Аналогията е, че всички живи същества, за които знаем на планетата, са направени само от няколко вида атоми (приблизително шест вида). Това не обяснява живота, защото сложната динамична архитектура на тези атоми обяснява живота, а не самите атоми. По същия начин можем да направим арки от тухли, но е много трудно да се измисли арка от гледане на тухла (отнеха на хората хиляди години, за да имат идеята и да разберат как да го направят).
Операторът NOT BOTH (наречен NAND в компютъра) за първи път е реализиран от американския математик Чарлз Пиърс 1880 г., когато разглеждаше книгата на Бул за логиката, която показа как всички логически операции могат да бъдат направени от И, ИЛИ и НЕ. Пиърс осъзнава, че НЕ И ДВЕТЕ на всички възможни стойности на входове А и В са били достатъчни, за да направят това, което са направили по -разбираемите три операции на Бул и други логици.
Днес тази операция често се нарича „Sheffer Stroke” (ок. началото на 1900 г.), защото работата на Пиърс се е загубила за известно време.
Примери
Мисля, че използването на 0 и 1 е по -лесно за разбиране, отколкото невярно и вярно (или изключено и включено, или не или да), така че нека:
0 се използва за означаване на невярно или изключено или не
1 се използва за означаване на вярно или на или да
———————————————————–
Определете op = НЕ И ДВЕТЕ като
A op B = C
— — —
0 0 = 1
0 1 = 1
1 0 = 1
1 1 = 0
————————————————————
Понякога използваме тази операция в обикновения живот.
Например, ако говорим за поддържане на живота на пациент и А е семейството на пациента, а В е лекарят, а С означава животът подкрепата на пациента е включена (1) или изключена (0), тогава логиката, която искаме да извършим, е, че можем да изключим поддържането на живота само ако и семейството, и лекарят съгласен.
Това е A: Да B: Да C: Изключено
Разбира се, повечето хора не биха мислили по този начин, защото нервната ни система е ужасна при НЕ (и отрицание от всякакъв вид). (Не можем да кажем на някого „Не мислете за розовия слон“, без да го извикате - или „Журито ще пренебрегне последната забележка“.)
Универсалността на това за представяне е по -лесно да се види сега, отколкото по времето на Пиърс, защото можем да направим всеки елемент в компютър (както памет, така и логика на обработка) само от НЕ И ДВАТА. И сега хората имат неформален смисъл, като използват компютри, че могат да представят „всичко“ (всички писмени езици, всичко, което може да бъде направено от марки, текст, картини, филми, звуци и системи за представяне, които са по -неясни, и др.).
И обратно към аналогията на връзката между няколко вида атоми и създаването на живот, на теория човек трябва да може да направи машини, които мислят също (и по -добре от нас) от архитектури, напълно изработени от един вид тухла на НЕ И ДВЕТЕ. Но и науката, и инженерството изискват реални примери за работещи модели - така че това са предположения (но добри) в този момент.
Можете да видите защо е трябвало да си затварям устата за това (или да говоря различно).
Наздраве,
Алън
