Grupo 2 by Lilian Dominguez https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx Hecho con una pizca de ingenio en-us 2022-02-15 12:26:51 UTC 2022-02-18 17:12:41 UTC hello@padlet.com Plantón 427 a.c https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055589460 Plantea la existencia de dos mundos: el mundo de las ideas y el mundo físico de los objetos. Habla del dialogo como la forma de transmisión del pensamiento.]]> 2022-02-18 16:48:47 UTC https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055589460 Aristóteles 384 a.C https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055597956 Representa el primer intento serio que fundamenta la lógica como ciencia. Resuelve el razonamiento deductivo y sistematizado.]]> 2022-02-18 16:53:38 UTC https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055597956 Euclides 300 a. C https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055602162 Organiza las pruebas deductivas de que dispone dentro de una estructura sistemática, rigurosa y eficaz.]]> 2022-02-18 16:56:11 UTC https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055602162 La matemática y la lógica 600 – 300 BCE https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055610085

El nacimiento de la lógica propiamente dicho, está directamente relacionado con el nacimiento intelectual del ser humano. En Grecia se desarrollaron los principios formales de las matemáticas. Este periodo clásico lo protagonizan Platón, Aristóteles y Euclides.


]]> 2022-02-18 17:00:36 UTC https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055610085 René Descartes 1596 https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055611916 Organiza las pruebas deductivas de que dispone dentro de una estructura sistemática, rigurosa y eficaz.]]> 2022-02-18 17:01:43 UTC https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055611916 Isaac Newton 1642 https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055615391 Isaac Newton fue un físico, teólogo, inventor, alquimista y matemático inglés. Es autor de los Philosophiæ naturalis principia mathematica, más conocidos como los Principia, donde describe la ley de la gravitación universal y estableció las bases de la mecánica clásica mediante las leyes que llevan su nombre. ]]> 2022-02-18 17:03:46 UTC https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055615391 GOTTFRIED LEIBNIZ 1646 https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055619448 Nuevo método para la determinación de los máximos y los mínimos

]]> 2022-02-18 17:06:20 UTC https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055619448 NIKOLAI LOBACHEVSKY 1762 https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055620223 Funda la Geometría No Euclidiana y renueva por ello los fundamentos que hasta ese momento cimentaban la ciencia de la Geometría.]]> 2022-02-18 17:06:50 UTC https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055620223 GEORG WILHELM FRIEDRICH HEGEL 1770 https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055622501 Constitución de la lógica dialéctica entendida como principio motor del concepto que disuelve y produce las particularidades de lo universal.]]> 2022-02-18 17:08:05 UTC https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055622501 FORMALIZACIÓN DE LAS MATEMÁTICAS 1806 https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055624775
En este periodo se crea la lógica simbólica, la escuela formal, la lógica booleana, el cálculo proposicional, la inducción matemática, el cálculo de secuentes. Personajes muy notables de esta etapa son: Peano, Hilbert, Frege, Boole, de Morgan, Gentzen, Russell, Gödel y Whitehead. A Rusell y Gödel se deben los planteamientos de las limitantes de la lógica y de la ciencia en general.
]]> 2022-02-18 17:09:30 UTC https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055624775 Revolución Digital 1901 https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055626432 Inicia con la invención de la computadora digital y el acceso universal a las redes de alta velocidad. Turing relaciona lógica y computación. Weiner funda la ciencia de la Cibernética. Estos son lógicos que han permitido 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 a partir de especificaciones.]]> 2022-02-18 17:10:32 UTC https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055626432 Revolución Lógica 1950 https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055627894 Incorpora la fusión entre matemáticas y computación. Las computadoras tienden a explorar datos inteligentemente transfiriendo información de las bases de datos a las bases de conocimiento interconectadas a través de la Red a escala infinitesimal]]> 2022-02-18 17:11:30 UTC https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055627894 Grupo 2 https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055629698 Integrantes 
Abel Isaac Nájera 
José Moisés Domínguez 
Miguel Alejandro García ]]> 2022-02-18 17:12:41 UTC https://padlet.com/lilydominguezinstitutomexico/32bc3oxt8xtzmscx/wish/2055629698