Chapter 1
El origen de las computadoras matemáticas
View / Create
Answer
Chapter 2
Los asistentes de demostración modernos
View / Create
Answer
Chapter 3
El descubrimiento de nuevos patrones
View / Create
Answer
Chapter 4
El factor humano en las matemáticas
View / Create
Answer
YOUR GOAL
Master of Matemáticas e inteligencia artificial
Ch 1 · El origen de las computadoras matemáticas
abraham_lopez La máquina alargada de latón y acero con engranajes sobre un escritorio oscuro.
sonia El primer programa de inteligencia artificial se enfocó en demostrar teoremas matemáticos.
BETA
sonia Clasifica cada solución para descubrir si la inteligencia artificial reemplazará a los matemáticos.
Fun Fact
Demostración de teoremas: En 1956, el programa Logic Theorist encontró una demostración de un teorema de geometría que era más corta y elegante que la del filósofo Bertrand Russell.
Glossary
computadora (sustantivo femenino)
Dispositivo electrónico programable capaz de procesar datos a gran velocidad para realizar operaciones lógicas y matemáticas. En 1945, la máquina ENIAC se convirtió en el primer dispositivo electrónico diseñado para resolver cálculos numéricos complejos.
Dispositivo electrónico programable capaz de procesar datos a gran velocidad para realizar operaciones lógicas y matemáticas. En 1945, la máquina ENIAC se convirtió en el primer dispositivo electrónico diseñado para resolver cálculos numéricos complejos.
Quiz
¿Quiénes fueron los creadores de Logic Theorist, el pionero software de demostración lógica de 1956?
Quiz
¿Qué famoso libro de lógica y matemáticas de Russell y Whitehead sirvió para probar las capacidades de Logic Theorist?
Quiz
¿En qué año presentó David Hilbert su famosa lista de problemas que impulsó la lógica matemática?
Quiz
¿Qué filósofo y matemático del siglo XVII inventó la calculadora mecánica 'Stepped Reckoner'?
Quiz
¿En qué año escribió Alan Turing su innovador artículo sobre cómo las computadoras imitarían el pensamiento matemático mediante el ajedrez?
Quiz
¿Cómo se llamó el primer programa de inteligencia artificial de 1956 dedicado a demostrar teoremas?