Dado un conjunto de axiomas y reglas de deducción, es posible programar un computador para que genere teoremas matemáticos. El punto es que, tal como un [[Monos con máquina de escribir|mono tipeando en una máquina de escribir]], el computador no es capaz de distinguir teoremas gaussianos de sumas de escuela primaria. Un computador puede ayudarnos a escalar el monte de la matemática, pero no puede escalarlo por sí mismo. %% [[DuSautoy2003]] %% #Rev/2602 #Tipo/Apunte