La teoría computacional de la mente (CTM) sostiene que los procesos mentales son, en esencia, cómputos ejecutados por un sistema computacional. Surgió con fuerza en las décadas de 1960 y 1970 dentro de la ciencia cognitiva y gozó durante años de un estatus casi ortodoxo, aunque más tarde ha recibido críticas desde otros paradigmas. Para sus defensores, las tareas pendientes son tres: precisar qué significa decir que la mente "computa", demostrar que efectivamente lo hace en ese sentido y explicar cómo se relaciona la descripción computacional con la neurofisiológica y con la intencional.
El artículo parte de las máquinas de Turing, formalismo introducido por Alan Turing en 1936 para analizar con rigor qué es un algoritmo. Una máquina de Turing manipula símbolos discretos en una memoria teóricamente ilimitada siguiendo una tabla finita de instrucciones. Turing demostró además la existencia de la máquina universal, capaz de simular cualquier otra máquina de Turing: el ancestro teórico del computador de propósito general. A partir de ahí, la revolución informática impulsó la idea de que también la mente podría ser un sistema computacional.
En el terreno de la inteligencia artificial, los primeros programas —como el Logic Theorist de Newell y Simon— consiguieron resultados llamativos al automatizar tareas antes consideradas propias de la inteligencia humana, lo que alimentó la hipótesis computacional. Sin embargo, la CTM clásica convive hoy con las redes neuronales, con concepciones alternativas de cómputo y con argumentos contrarios que cuestionan si el paradigma digital es el más adecuado para describir la actividad mental, abriendo un debate filosófico y científico aún abierto.