https://padlet.com/mariztepeu/2f0iapgia3vfa66l en-us 2023-07-23 15:39:30 UTC 2023-07-28 02:24:12 UTC hello@padlet.com mariztepeu https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651164442 La lógica es la que recolecta criterios del pensamiento de forma coherente sin que haya contradicciones entre ellas. Este sigue las leyes de la razón y estudia la forma del pensamiento humano basándose en el sentido común.]]> 2023-07-26 01:05:49 UTC https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651164442 mariztepeu https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651264044 Platón edifica su teoría del conocimiento con el fin de justificar el poder de la figura filosófica. Ya que sostiene la existencia de dos mundos (mundo de ideas y mundo de los objetos). Para Platón, lo concreto se percibe en función de lo abstracto y gracias a eso el mundo sensible existe gracias al mundo de ideas.]]> 2023-07-26 03:35:37 UTC https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651264044 mariztepeu https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651279859 Geómetra de la época helenística, se convirtió en manual para balísticos del Renacimiento como Tartaglia y, poco después, en base inmmediata de la dinámica newtoniana.]]> 2023-07-26 04:02:42 UTC https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651279859 mariztepeu https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651281313 Contiene el primer tratado sistemático de las leyes de pensamiento para la adquisición de conocimiento. Representa el primer intento serio que funda la lógica como ciencia. Aristóteles no hace de la lógica una disciplina metafísisca sino que establece correspondencias recíprocas entre pensamiento lógico y estructura ontológica.]]> 2023-07-26 04:05:29 UTC https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651281313 mariztepeu https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651281639 La revolución de la lógica actualmente incorpora la fusión de las matemáticas y computación. Ya que las computadoras usualmente tienden a explorar datos inteligentes y transfiriéndolas a una base de datos que estan conectadas a través de la red. Es la lógica la que posibilita el aprendizaje, la deducción y todo lo que llamamos inteligencia artificial.

Quizá el aspecto más trascendental de la lógica en general, y de la lógica matemática en particular, es que tiene interacción con, esencialmente, todas las áreas del conocimiento humano, incluyendo las ciencias sociales.

]]> 2023-07-26 04:06:13 UTC https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651281639 mariztepeu https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651281694 Su valor universal lo propaga el uso riguroso del método deductivo que distingue entre principios, definiciones, axiomas, postulados y teoremas, que se demuestran a partir de los principios.]]> 2023-07-26 04:06:19 UTC https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651281694 mariztepeu https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651288565 Autor de ciencia de la lógica se le atribuye con este trabajo la constitución de la lógica dialéctica como principio motor de concepto que disuelve y produce las particularidades de lo universal.]]> 2023-07-26 04:16:52 UTC https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651288565 mariztepeu https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651289284 Los principios de este italiano acerca de la lógica matemática y su aplicación práctica quedaron contenidos en su obra Formulaire de mathematiques. Los axiomas de Peano permiten definir el conjunto de los número naturales.]]> 2023-07-26 04:17:52 UTC https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651289284 mariztepeu https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651909533 Partiendo del análisis de los fundamentos de la matemática lleva a cabo la más profunda renovación y desarrollo de la lógica clásica hasta el momento. Es el primero en introducir los cuantificadores u operadores y en elaborar una Teoría de la Cuantificación.]]> 2023-07-27 04:41:00 UTC https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651909533 mariztepeu https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651909596 Aplica el cálculo matemático a la lógica, fundando el álgebra de la lógica. El empleo de símbolos y reglas operatorias adecuados permite presentar conceptos, ideas y razonamientos mediantes variables (ecuaciones) entre ellas. Boole dió un método general para formalizar la inferencia deductiva, así representando comlicados problemas matemáticos mediante sencillos sistemas de ecuaciones. La formalización de la lógica iniciada por Boole, ha contribuido poderosamente a aclarar la estructura de los objetos lógicos. Su obrs principal es investigación e las leyes del pensamiento en las que se fundan las teorías matemáticas de la lógica y la probabilidad.]]> 2023-07-27 04:41:10 UTC https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651909596 mariztepeu https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651909650 su mayor contribución es en el estudio de la lógica que incluye la formulación de las Leyes de Morgan y su trabajo fundamenta la teoría del desarrollo de las relaciones y la matemática simbólica moderna o lógica matemática. De Morgan es autor de la mayor contribución como reformador de la lógica.]]> 2023-07-27 04:41:17 UTC https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651909650 mariztepeu https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651911884 Tuvo la idea del infinito continuo, es decir, la probabilidad de considerar conjuntos infinitos dados simultáneamente. Se le considera como el creador de la teoría de los números irracionales y de los conjuntos.]]> 2023-07-27 04:45:54 UTC https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651911884 mariztepeu https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651912001 Es uno de los creadores de la logística y uno de los pensadores de mayor influencia en la filosofía científica contemporánea. Lo fundamental en su obra es su aportación a la lógica.]]> 2023-07-27 04:46:08 UTC https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651912001 mariztepeu https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651919914 Aporta múltiples contribuciones a la lógica matemática, destaca su demostración de la consistencia de la hipótesis cantoriana del continuo y el teorema y prueba de incompletez semántica. ]]> 2023-07-27 05:00:13 UTC https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651919914 mariztepeu https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651919982 La revoluvion comienza gracias a las computadoras que hoy en día usamos en todo el mundo. Turing relaciona lógica y computación antes que cualquier computadora llegue a procesar datos. Weiner funda la ciencia de la Cibernética. Las escuelas modernas de computación están presentes Lógicos que han servido y aportado avances importantes como Hoare que presenta un sistema axiomático de los sistemas de programación y Dijkstra con un sistema de verificación y deducción de programas por medio de especificaciones.]]> 2023-07-27 05:00:21 UTC https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651919982 mariztepeu https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651920050 Matemático y Lógico de la Computación que contribuye a importantes análisis lógicos de los procesos de computación. Su objetivo fue desarrollar la máquina más simple posible capaz de realizar computación. La máquina compuesta por Turing es un dispositivo simple, pero capaz de realizar cualquier operación matemática. Turing se ilusionó con la idea de que su máquina podía realizar cualquier proceso del cerebro humano, e incluso creía en la capacidad de producir conciencia de uno mismo.]]> 2023-07-27 05:00:29 UTC https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651920050 mariztepeu https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651923941 Fundador de la escuela de la Lógica intuicionista contrarrestando definitivamente el formalismo de Hilbert. Miembro del Significs Group son significativos sus trabajos Life, Art and Mysticism (1905) y sobre la infiabilidad de los principios lógicos.]]> 2023-07-27 05:09:24 UTC https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651923941 mariztepeu https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651923977 Emérito profesor de la University of California, Berkeley, realiza importantes estudios sobre álgebra en general, teoría de mediciones, lógica matemática, teoría de cpnjuntos y metemáticas. El trabajo de Tarski incluye respuestas a la pradoja de Banach-Tarski, el teorema de la indefinibilidad de la verdad, las nociones de cardinal, ordinal, relación y es inductor de las álgebras cilíndricas.]]> 2023-07-27 05:09:29 UTC https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651923977 mariztepeu https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651926859 El gran impulsor de la matemática contemporánea y pionero de la geometría fractal a quien la computación pura revela la moderna Geometría de la Naturaleza. Fractal y geometría fractal son el corpus principal de sus investgaciones además de los sistemas irreversibles. ]]> 2023-07-27 05:15:57 UTC https://padlet.com/mariztepeu/2f0iapgia3vfa66l/wish/2651926859