Cerebros de silicio: La lógica matemática que creó a la IA