Компјутерите се повеќе од аксиоматски системи; но, во секој случај, многу поверојатен е заклучокот на Gödel дека за секого постојат некои вистини - веројатно нејасни, детализирани факти за нив самите - коишто тие инхеретно не се во можност потполно да ги досегнат без притоа да се стане друга личност.
„МАРГИНА бр. 3“
(1994)