Leibniz

person · 5 menciones

Gottfried Wilhelm Leibniz, a veces Gottfried Wilhelm von Leibniz, fue un filósofo, matemático, lógico, polímata, teólogo, jurista, bibliotecario y diplomático.

Ver en Wikipedia

Noticias que mencionan Leibniz

Dijkstra argumenta la inutilidad de la programación en lenguaje natural

En su ensayo 'On the foolishness of natural language programming', Edsger W. Dijkstra desmiente la creencia de que la programación en el lenguaje natural de los humanos simplificaría la interacción con las máquinas. Dijkstra sostiene que la historia de la matemática y la informática demuestra que lo

La IA amenaza con revertir la tradición de divulgación matemática

La investigación matemática enfrenta una crisis de divulgación debido a la capacidad de las grandes empresas de inteligencia artificial para resolver problemas complejos mediante computación intensiva. Este fenómeno, descrito como la 'caída de la economía de la demostración', permite a corporaciones

Dejad entrar a las máquinas

La fundadora de una empresa de inteligencia artificial firma un ensayo personal que oscila entre la divulgación y la reflexión filosófica para defender una idea concreta: los modelos de lenguaje grandes (LLM) están aquí para quedarse y, dado que los laboratorios de IA siguen rastreando la web para a

La noche oscura de las matemáticas frente a la IA

Un matemático joven, formado en la tradición de la creación matemática como experiencia espiritual, describe una crisis profunda ante la capacidad de los modelos de lenguaje para producir contraejemplos de conjeturas matemáticas de larga data. En apenas una semana, los LLM derribaron problemas abier

De Ajedrez a D&D: La Historia de los Juegos de Guerra

Este artículo explora la fascinante historia de los juegos de guerra y su sorprendente conexión con el nacimiento de los juegos de rol de mesa como Dungeons & Dragons. Jon Peterson, experto en la historia de los juegos, rastrea la evolución desde los antiguos juegos de estrategia como el Chaturanga