¿Qué equipo creó Logic Theorist, un programa pionero para demostrar teoremas matemáticos?

Respuesta correcta

Allen Newell, Herbert Simon y Cliff Shaw

Allen Newell, Herbert Simon y Cliff Shaw desarrollaron Logic Theorist a mediados de la década de 1950. El programa buscaba demostraciones de teoremas mediante procedimientos heurísticos, y fue una muestra temprana de que un ordenador podía abordar tareas de razonamiento simbólico, no solo cálculos numéricos.

💡 Dato curioso: Logic Theorist demostró 38 de los primeros 52 teoremas del segundo capítulo de «Principia Mathematica».

Fuente: Logic Theorist (Wikipedia)