Practica 19 La Logica

AUTOR AÑOS DESCRIPCION
PLATON 427 ac 347 ac Crea la academia de Atenas, centro de formacion
    politica para jovenes. Sostiene la existencia de dos 
    mundos; el mundo de las ideas y el mundo fisico
ARISTOTELES 384 ac 332 ac Hace de la logica una disciplna que establece correspondencias
    reciprocas  entre pensamiento logico y estructura ontologica
EUCLIDES  300 ac Autor de la universal obra, los celebres elementos, propaga el uso
    riguroso del metodo deductivo que distingue entre principios defi-
    niciones, axiomas y postulados
     
APLONIO DE   Su obra curvas cronicas , manual para basilicos del renacimiento,  en
PARGA   base inmediata de  la dinamica newtoniana
RENE 1596-1650 Se le debe a el la creacion de la gemetria analitica, el uso de los
DESCARTES   metodos algebraicos
ISAC     
NEWTON 1642-1727 Se le debe el descubriniento de la gravitacion universal, el desarrollo
    llo del calculo infinitesimal, descubrimientos sobre optica las leyes 
    que rigen lamecanica clasica. Su obra: principios matematicos de la
    filosofia natural
GOTTFRIED W    
LEIBNIT 1646-1716 Fundo la academia de ciencias de Berlin, su principal trabao es la 
    memoria nuevo metodo para la determinacion de los maximos y de
    los minimos, expone las ideas fundamentales del calculo infinitesi-
    mal
GEORG W.    
FRIEDRICH H 1770-1831 Autor de ciencia de la logica , se le atribuye la constitucion de la 
    logica dialectica 
NIKOLAI     
LOBACHEVSKY 1792-1856 funda la geometria no Euclidiana
GUISEPPE    
PEANO 1858-1932 Su obra formulaire de mathematiques, permite definir el cojunto de
    los numeros naturales
DAVID    
HILBERT 1863-1943 Formula principios de axiomatizacion de la geomeria 
    cion reconocia tres sistemas de entes geometricos, en cinco cate-
    gorias: pertenencia, orden, igualdad o congruencia, paralelismo y
    continuidad
FIEDRICH G.    
FREGE 1848-1925 Es el primero en introducir los cuantificadores u operadores, y en 
    elaborar una teoria de la cuantificacion
GEORGE     
BOOBLE 1815-1864 Aplica el calculo matematico a la logica, fundando el algebra de la
    logica . El empleo de simbolos y reglas operatorias, permite repre-
    sentar conceptos, ideas y razonamientos mediante variables y rela
    ciones entre ellas
AUGUST DE    
MORGAN 1806-1871 Su trabajo fundamental es la teoria del desarrollo de las relaciones
    y la logica matematica
GEORG F.    
CANTOR 1845-1918 Se le debe la idea del infinito continuo, creador de la teoria de los
    numeros irracionales y de los conjuntos
GENTZEN 1909-1945 Formulo la prueba de la consistencia de un sistema de arimetica 
    clasica
BERTRAND    
RUSELL 1872-1970 Uno de los creadores de la logistica, lo fundamental en su obra es
    su aportacion a la logica 
KURT    
GODEL 1906-1978 Destaco la demostracion de la consistencia de la hipotesis canto-
    riana del continuo y el teorema y prueba de incompletez semantica
ALAN    
TURING   Pionero en teoria de computacion aporta especificaciones para la
    computadora abstracta que el idea conocida como: maquina de tuni
    no, prueba que es posible contruir una maquina universal con una
    programacion adecuada capaz de hacer el trabajo de cualquier ma
    quina  diseñada para resolver problemas especificos
NOBERT    
WEINER 1894-1964 En 1947 publica su libro: cibernetica o control y comunicación en el
    animal y la maquina. Se utiliza por primera vez la palabra cibernetica
LUITREN E.    
JAN BROUWER 18882-1966 Fundador de la escuela de la logica
ALFRED     
TARSKI 1902-1983 Realiza importantesestudios sobre algebra en general, teoria de 
    mediaciones, logica matematica, teoria de conjuntos y de mate-
    maticas
BENOIT    
MANDALBROT   Impulsador de la matematica contemporanea y pionero de la geo-
    metria fractal.

Alma Aleman Moreno

Advertisement

Deja un comentario

Fill in your details below or click an icon to log in:

Logo de WordPress.com

You are commenting using your WordPress.com account. Log Out / Cambiar )

Twitter picture

You are commenting using your Twitter account. Log Out / Cambiar )

Facebook photo

You are commenting using your Facebook account. Log Out / Cambiar )

Connecting to %s


Seguir

Get every new post delivered to your Inbox.