https://padlet.com/riveirodamian1/86n5mumt5ewgww3a Christopher Damián Aldana Riveiro en-us 2023-07-28 05:33:39 UTC 2023-07-31 00:52:13 UTC hello@padlet.com riveirodamian1 https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652493894 En su obra "Órganon", formalizó la lógica clásica y presentó el silogismo, un método deductivo para razonar sobre proposiciones. Su contribución marcó el inicio de la lógica formal.]]> 2023-07-28 05:44:01 UTC https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652493894 riveirodamian1 https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652493962 Los filósofos griegos Parménides y Heráclito desarrollaron ideas sobre el razonamiento y la lógica, estableciendo los fundamentos para la discusión filosófica posterior.]]> 2023-07-28 05:44:13 UTC https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652493962 riveirodamian1 https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652493978 El filósofo y teólogo Pedro Abelardo refinó la lógica aristotélica y enfatizó la importancia del diálogo y la argumentación en el proceso de razonamiento.]]> 2023-07-28 05:44:17 UTC https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652493978 riveirodamian1 https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652494011 El filósofo y matemático René Descartes incorporó la lógica matemática y el álgebra a la filosofía, lo que influyó en el desarrollo de la lógica moderna.]]> 2023-07-28 05:44:24 UTC https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652494011 riveirodamian1 https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652494026 Desarrolló el álgebra booleana, una rama de la lógica matemática que se convirtió en la base de los circuitos electrónicos y la lógica de computadoras.]]> 2023-07-28 05:44:28 UTC https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652494026 riveirodamian1 https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652494056 Formuló la lógica de predicados, un sistema más complejo que la lógica proposicional de Aristóteles, que permitía expresar argumentos más complejos.]]> 2023-07-28 05:44:34 UTC https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652494056 riveirodamian1 https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652494101 Bertrand Russell y Alfred North Whitehead publicaron "Principia Mathematica", un trabajo que buscaba fundamentar la matemática en la lógica.]]> 2023-07-28 05:44:42 UTC https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652494101 riveirodamian1 https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652494141 Publicó su famoso teorema de incompletitud, demostrando que ningún sistema formal puede ser completamente autocontenido y consistente al mismo tiempo.]]> 2023-07-28 05:44:49 UTC https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652494141 riveirodamian1 https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652494215 Presentó su concepto de la Máquina de Turing, sentando las bases teóricas de la computación y demostrando que algunos problemas son imposibles de resolver mediante un algoritmo o un procedimiento mecánico. ]]> 2023-07-28 05:44:59 UTC https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652494215 riveirodamian1 https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652494240 El filósofo y matemático polaco Alfred Tarski formuló su teoría semántica de la verdad, un enfoque importante para estudiar la verdad en el lenguaje formal.]]> 2023-07-28 05:45:04 UTC https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652494240 riveirodamian1 https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652494257 La lógica borrosa (fuzzy) se convirtió en un área de interés, permitiendo manejar el razonamiento con conceptos difusos y aproximados, presentes en muchos sistemas del mundo real.

]]> 2023-07-28 05:45:07 UTC https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652494257 riveirodamian1 https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652494266 Se produjo un auge en la lógica computacional y el desarrollo de lenguajes de programación basados en lógica, como Prolog. (Uno de los principales impulsores fue el trabajo del lógico francés Alain Colmerauer, quien junto a Philippe Roussel, desarrolló el lenguaje de programación Prolog).]]> 2023-07-28 05:45:09 UTC https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652494266 riveirodamian1 https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652494273 Se desarrollaron los fundamentos de la lógica paraconsistente, que permite razonar sobre sistemas inconsistentes, desafiando los principios clásicos de la contradicción. (Es importante destacar que la lógica paraconsistente es un campo de estudio en constante evolución, y ha habido muchos aportes por varios investigadores a lo largo de los años).]]> 2023-07-28 05:45:11 UTC https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652494273 riveirodamian1 https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652494288 Desarrolló la arquitectura de Von Neumann para computadoras, que se convirtió en el modelo dominante para las computadoras modernas.]]> 2023-07-28 05:45:13 UTC https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652494288 riveirodamian1 https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652494445 La lógica sigue siendo una ciencia en constante evolución, con aplicaciones de inteligencia artificial, computación cuántica, ciencias cognitivas y otros campos, aportando herramientas como el razonamiento y la toma de decisiones.]]> 2023-07-28 05:45:43 UTC https://padlet.com/riveirodamian1/86n5mumt5ewgww3a/wish/2652494445