John McCarthy

Dá sa dokonca predpokladať, že Lisp vďačí za svoje prežitie práve tomu, že jeho programy sú zoznamy – čo všetci vrátane mňa dlho považovali za nevýhodu.

LISP je dnes druhý najstarší v súčasnosti bežne používaný programovací jazyk (po jazyku FORTRAN)... Jeho jadro zaberá akési lokálne optimum v priestore programovacích jazykov, keďže statické trenie odrádza od čisto notačných zmien. Rekurzívne používanie podmienených výrazov, reprezentácia symbolickej informácie navonok pomocou zoznamov a vnútorne pomocou zoznamovej štruktúry, ako aj reprezentácia programu tým istým spôsobom, budú pravdepodobne veľmi dlho živé.

Toto je, alebo by malo byť, našou hlavnou vedeckou činnosťou – skúmanie štruktúry informácie a štruktúry procesov riešenia problémov nezávisle od aplikácií a nezávisle od toho, či sú realizované u zvierat alebo u ľudí.

Inteligencia má dve časti, ktoré nazveme epistemologická a heuristická. Epistemologická časť je reprezentácia sveta v takej forme, že riešenie problémov vyplýva z faktov vyjadrených v tejto reprezentácii. Heuristická časť je mechanizmus, ktorý na základe tejto informácie problém rieši a rozhoduje, čo robiť. Správny spôsob, ako uvažovať o všeobecných problémoch metafyziky a epistemológie, nie je pokúsiť sa vyprázdniť vlastnú myseľ od všetkého poznania a začať od „Cogito ergo sum“. Namiesto toho navrhujeme použiť všetko naše poznanie na zostrojenie počítačového programu, ktorý vie. Správnosť nášho filozofického systému preveríme početným porovnávaním presvedčení programu s našimi vlastnými pozorovaniami a poznaním.

V roku 1936 Turing objasnil pojem vyčísliteľnej funkcie a ukázal existenciu univerzálnych počítačov, ktoré s vhodným programom dokážu vypočítať čokoľvek, čo vypočíta ktorýkoľvek iný počítač. V akomsi podvedomom zmysle si to uvedomujú aj obchodné oddelenia výrobcov počítačov, a preto neinzerujú magické inštrukcie, ktoré sa nedajú simulovať na strojoch konkurencie, ale iba to, že ich stroje sú rýchlejšie, lacnejšie, majú viac pamäte alebo sa na nich ľahšie programuje.