ДИГИТАЛЕН РЕЧНИК НА МАКЕДОНСКИОТ ЈАЗИК

Ова е еден бизарен пристап, бидејќи теоремата на Гедел може да се примени само на модели на умот кои се базирани на машини чие цело знаење е кодирано во логички изрази, и во кој модел единствените „ментални операции“ би се состоеле од стриктни изведувања на формули само од информацијата кодирана во системот од самиот почеток.

Такви релации можат да се претстават со едноставни венови дијаграми, или лесно да се пренесат во логички тврдења од обликот „ако p тогаш љ” (види Ford и Adams-Webber 1992).