Celui qui se voudrait un scientifique cognitif doit se familiariser avec trois repères mathématiques :
– les machines de Turing,
– les réseaux de neurones,
-les théorèmes d’incomplétude de Gödel.
Dans cet article, l’auteur commence par considérer les sciences cognitives comme une métamathématique. Les parties suivantes abordent deux modèles mathématiques pour les systèmes cognitifs : La machine de Turing en tant que système informatique et les réseaux de neurones en tant que système cérébral. La dernière partie étudie les implications rétrospectives et prospectives des travaux de Gödel pour les sciences cognitives