Logika, formalizacija in simboli so sicer močna orodja, vendar smo ljudje pri zgolj formalnem sklepanju in simboličnem računanju – resnici na ljubo – precej nebogljeni. Kar se tega tiče so računalniki bistveno boljši. Smo pa zato ljudje v primerjavi z njimi vseeno veliko boljši matematiki.
