Loading presentation...

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

Make your likes visible on Facebook?

Connect your Facebook account to Prezi and let your likes appear on your timeline.
You can change this under Settings & Account at any time.

No, thanks

Breve historia de la logica

No description
by

angie vanessa vargas mejia

on 20 February 2014

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of Breve historia de la logica

Breve Historia De La Lógica
(Línea del tiempo)

Matemático alejandríno autor de los "célebres elementos", textos matemáticos más relevantes de la historia del pensamiento científico, dividido en XIII libros que recopilan las matemáticas conocidas en el año 300 a.c . Es un riguroso método deductivo .
Etapa clásica griega mas representativa se caracteriza por el surgimiento de la formalización de las matemáticas usando el infinitesimal ( se define como cantidad infinitamente pequeña). En este periodo se crea la logica simbolica, la escuela formal, la logica booleana calculo proporcional induccion matematica y el calculo desecuentes
Peano Hilbert , Frege, Boole de Morgan, Russell Godel principales representantes de esta época.

Apolonio de Pérgamo
(262 a.c - 190 a.c)
Fue matemático y astrónomo, reconocido por la teoría de los epíciclos (modelo geométrico ideado para explicar las variaciones de velocidad y dirección del movimiento de los planetas), llamado curvas cónicas; Que se convirtió en manual para balísticos del renacimiento, y se utilizó como base de la dinámica newtoniana.
Euclides
(325 a.c - 265 a.c)
Formación de las matemáticas
(336 a.c - 323 a.c)
Aristóteles
(384 a.c - 332 a.c)
Influyo en la lógica con sus tratados conocidos como organón (las cuales contienen las leyes del pensamiento para obtener conocimiento)
ese fue uno de los intentos que lanza la logica como ciencia en esta epoca el silogismo (representa el sistema teologico filosofico de la edad media)silogismo aristotelico( analisis que nos lleva a la conclusion y esta se incluye en la lógica .
Platón
(427 a.c - 347 a.c)
Creo una academia en atenas que no solo no era una institución filosófica , sino además centro de formación política para jóvenes aristócratas, Platón identifica la teoría del conocimiento con el fin de justificar el poder emergente del filosofo , sostiene la existencia de dos mundos, el mundo de las ideas y el mundo físico. Platón escoge el dialogo como forma del pensamiento.
Las matemáticas y la lógica
(600 a.c - 300 a.c)
Se desarrolla en Grecia los principios formales de las matemáticas. Los protagonizan Platón: propone ideas o abstracciones.
Aristóteles: Resuelven el pensamiento deductivo y sistematizado.
Euclides: Es el autor que establece el método axiomático

Despues de cristo
D.C
La ciencia matematica
(1500 - 1800) D.C
El renacimiento es el inicio de una nueva revolucion, que revive las ciencias y las matematicas. Los representantes son: "descartes, Newton, leibniz.
Rene descartes
(1596 - 1650)
Filosofo y matematico. Parte de la duda Universal como principio y prescinde de cualquier conocimiento previo que no qyede demostrado por la evidencia con que ha de manifestarse su espiritu, logra hayar una verdad de la que no puede dudar: la evidencia interior que se manifiesta en su propio sujeto (pienso, luego existo)
Isaac Newton
(1642 - 1727)

Se le debe el descubrimiento de la gravitacion universal, el desarrollo del calculo infinitesimal, asi como ls leyes que rigen la meanica clasica que alimentaria el nacimiento de la mecanica cuantica.
Gottfried W. Leibniz
(1646 - 1716)
Filosofo y matematico, como matematico, su principal trabajo publicado en 1984 es la memoria nuevo metodo para la determinacion de los maximos y los minimos, en las que expone las ideas fundamentales el calculo infinitesimal. introdujo el simbolo de integrl y de diferencial de una variable (fundamenta el calculo logico)
Georg Wilhelm Friedrich Hegel
(1770 - 1831)
Filosofo aleman, autor de la ciencia de la logica que se le atribuye con este trabajo la constitucio de la logica dialectica entendida como principio motor del concepto que disuelve y produce las particularidades de lo universal.
Nikolai I. Lobachevsky
(1792 - 1856)

Matematico ruso, funda la gemetria no euclidiana y renueva los fundamentos que hasta ese momento cimentaban la ciencia de la geometria. lleva cabo su revolucion en el planteamiento que hasa entonces habia utilizado la ciencia matematico, para resolver el enigma del quinto postulado de Euclides.
Augustus de Morgan
(1806 - 1870)
la mayor contribucion de agustus es la formulacion de las leyes de morgan y su trabajo fundamenta la teoria del desarrollo de las relaciones y la matematica simbolica moderna o logica matematica, siendo ademas el autor de mayor contribucion reformador de la logica.
George Boole
(1815 - 18604)

Aplica el calculo matematico a la logica, fundando el algebra de la logica. Boole dio el metolo general para formalizar la inferencia deductiva, representado complicados reciocinios mediante sencillos sistemas de ecuaciones. Boole ha contribuido poderozamente a aclarar la estructura de los objetos logicos, encontraposicion a los materiales y a un encontraposicion a los matematicos, a las analogias formales entre la matematica y la logica.
George R . Cantor
(1845d.c - 1918)

se debe la idea del infinito continuo , es decir la posibilidad de considerar conjuntos infinitos dados simultáneamente . se le considera el creador de la teoría de los números irracionales y de los conjuntos .

La revolución Digital
(1820 - siglo xx )
Se inicia con la invención de la computadora digital y el acceso universal a las redes de alta velocidad . en las escuelas modernas de computación están presentes lógicos que han permitido avances importantes ( como hoare ) . En esta época influyeron personajes Alan turing ( relaciona lógica y computación ) y Weiner ( quien funda la ciencia de la cibernética) .
Friedrich Ludwing Gottlob Frege
(1848-1925 )
Fue matemático , lógico y filosofo alemán Es ampliamente reconocido como el mayor lógico después de Aristoteles. Frege fue un defensor del logicismo, la tesis de que las matemáticas son reducibles a la lógica, en el sentido de que las verdades de la matemática son deducibles de las verdades de la lógica.
Giuseppe Peano
( 1858-1932)
Fue un matemático Italiano, Sus aportaciones más recordadas son las referentes a la axiomática(números enteros naturales o estructura de un espacio vectorial ) Interesado en el uso de la lógica más como medio de exposición de la matemática que como su fundamento.
David Hilbert
( 1862-1963)
Fue matematico aleman , centro su atencion en la geometria decia el : ''lo importante no es la naturaleza de los objetos geométricos, sino la de sus interrelaciones.''empezó a desarrollar un programa para dotar de una base axiomática a la lógica, la aritmética y la teoría de conjuntos, con el objetivo último de axiomatizar toda la matemática.
Bertran rusell
(1872-1970)
Es uno de los creadores de la logística y uno de los mayores pensadores en la filosofía contemporánea .se le debe su reconocimiento a su aportación en la lógica , fue aristotélico , fue un filósofo, matemático, lógico y escritor británico ganador del Premio Nobel de Literatura y conocido por su influencia en la filosofía analítica, sus trabajos matemáticos y su activismo social.
Luitzen Egbertus Jan Brouwer
(1881 - 1996)
Norbert Weiner
(1894 - 1964)
Científico Norteamericano, publica su libro mas famoso en 1947 titulado "Cibernética o control y comunicación en el animal y la maquina", dando origen a la cibernética y denominándola como "la ciencia que estudia la traducción de procesos biológicos o procesos que produce una maquina" relacionando su concepto de cibernética con Neurología, Biología, Biociosologia, Robótica.
Matemático y lógico alemán conocido por LEJ Brouwer y fundador de la lógica intuicionista. Miembro de grupos significativos trabajos como "life, andy Mysticism (1905) y sobre la infiavilidad de los principios lógicos.
Alfred Tarski
(1902 - 1983)
Matemático, lógico y filosofo polaco, realiza importantes estudios sobre álgebra en general, teoría de mediciones, lógica matemática, teoría de conjuntos y matemáticas, su trabajo aporta respuesta a la paradoja de Banach - Tarski, "teorema de la verdad, noción cardinal, ordinal, conductos de álgebra cilíndrica.
Kurt Goorder
(1906 - 1978)
Aporta múltiples contribuciones a la ,lógica matemática, destacando la demostración de la hipótesis cantoriana "del continuo y teorema", establece que es posible un sistema de calculo lógico lo bastante rico en el que todos sus teoremas y enunciados sean divisibles dentro del sistema "siempre habrán enunciados que no son demostrables ni refutables".
Gentzen
(1909 - 1985)
Formulo la prueba de la consistencia, sus principales trabajos fueron fundamentados de la matemática y la teoría de la demostración, introduce la noción de un sistema de
deducción natural para la lógica clásica y la
lógica intuicionista. "introduce el calculo de consecuencias lógicas"
Benolt Mandelbrot
(1924 - 2010)
Impulsor de la matemática contemporánea y pionero de la geométrica fractal, dando principio a paradigmas como la teoría del caos, contemplando el estudio de sistemas dinámicos, irreversibles y caóticos.
La siguiente revolución lógica
(1950)
Incorpora la fusión entre matemáticas y computación. La lógica evoluciona como un Gen hacia la culminación del conocimiento formal de la matemática griega.
Historia de la lógica
Cindy Johanna Calderon
Angie Vanessa Vargas Mejia
Natalia Zerda Vela
Hector Fabian Torres Ruiz
Full transcript