Universidad Mariano Gálvez de Guatemala

Facultad de ingeniería en sistemas

Ing. Jhonny Morales
Lógica de sistemas

Línea de tiempo de la lógica

Livny carolina Samayoa Monzón

Carné 0904 18 6432
Sección “B”

Fecha de entrega Jueves, 15 02 2018

 Línea de tiempo
La lógica

Apolonio de Perga
Fue conocido como "El gran geómetra",
creó los cimientos de la geometría a
través de un compendio de 8 libros
titulados Tratado de las cónicas, fue • 262-190
fundador de la astronomía matemática
griega, la cual usó modelos geométricos
para explicar la teoría planetaria. Además
se le atribuye la invención del reloj solar.

Euclides
Fundó una escuela de matemáticas, autor
de la obra, los célebres elementos. Uno de
los textos matemáticos más relevantes de
la historia del pensamiento científico. • 325 – 265
Además, definió los triángulos isóceles,
rectángulos, etc. y dio definiciones de
elementos que (al igual que los antes
mencionados) aún hoy seguimos usando

Aristóteles
Demostró por varios métodos la esfericidad
de la Tierra y sostuvo que ésta está situada
en el centro del universo. Es el primero
en clasificar las ciencias, sostuvo que la
materia se origina en la mezcla de cuatro
·384 - 332
propiedades fundamentales: caliente, frío,
húmedo y seco, que se combinan entre sí
para dar lugar a los cuatro elementos o
esencias
 Platón
Sostiene la existencia de dos mundos: El mundo
de las ideas y El mundo físico de los objetos.
Representan el primer intento serio que funda • 427 - 347
la logica como ciencia. Aristoteles no hace de la
logica una disciplina metafisica sino que
establece correspondencias reciprocas entre
pensamiento logico y estructura ontologica.

René Descartes
Fue un filósofo, matemático y físico francés,
considerado como el padre de la geometría
analítica y de la filosofía moderna, creó una
técnica que le permitía expresar las leyes de la • 1596 - 1650
Mecánica. La Dioptrique, un tratado sobre óptica
que recopila las ideas existentes sobre el tema y
recoge algunas aportaciones propias originales.
Les Météores, un tratado sobre meteorología.

Isaac Newton
Se le debe el descubrimiento de la gravitación • 1642-1727
universal, Estableció las bases de la mecánica
clásica mediante sus tres leyes relativas al
movimiento, descubrió que el espectro de color
que se observa cuando la luz blanca pasa por un
prisma es inherente a esa luz, en lugar de provenir
del prisma, fue el inventor del telescopio
reflector.
 Gottfried Leibniz
Inventó el cálculo infinitesimal,
independientemente de Newton, y su notación
es la que se emplea desde entonces. También
inventó el sistema binario, La regla del
producto del cálculo diferencial es aún • 1646-1716
denominada regla de Leibniz para la derivación
de un producto. Además, el teorema que dice
cuándo y cómo diferenciar bajo el símbolo
integral, se llama regla de Leibniz para la
derivación de una integral.

Georg Whilhelm Friedrich Stuttgart

Autor de
“Ciencia de la lógica”
Constitución de la lógica dialéctica.
Expone las ideas fundamentales del cálculo
• 1770-1831
infinitesimal, realizó contribuciones fundamentales
en una gran variedad de campos de la reflexión
humana, que abarcan la filosofía de la historia, la
estética y la ética social.

Nikolai Ivanovich Lobachevski

Funda la Geometría No Euclidiana y • 1792-1856
renueva fundamentos que hasta ese
momento cimentaban la Geometría.
Entre sus principales logros se encuentra
la demostración de varias conjeturas
relacionadas con el cálculo tensorial
aplicados a vectores en el espacio de
Hilbert.
 Augustus De Morgan
Hizo aportaciones importantes en álgebra e
historia de las matemáticas; su contribución más
destacada fue en lógica. Poseía conocimientos de
astronomía, estadística y probabilidad, y era • 1806-1871
aficionado a los acertijos matemáticos.
Fundamenta la teoría del desarrollo de las
relaciones y la matemática simbólica moderna o
lógica matemática.

George Boole
Aplica una serie de símbolos a operaciones lógicas
que mantuvieran una estructura lógica con el
álgebra convencional. También trabajó en
ecuaciones diferenciales, el cálculo de diferencias • 1815- 1815
finitas y métodos generales en probabilidad. Publicó
una investigación de las leyes del pensamiento
sobre las cuales son basadas las teorías
matemáticas de Lógica y Probabilidad.

Giuseppe Peano
Creó un sistema descriptivo que permitía • 1858-1932
enunciar cualquier proposición de lógica o de
matemáticas sin recurrir al lenguaje. Fundó dos
publicaciones de matemáticas, propuso en sus
escritos la 'aritmética de Peano', una exposición
axiomática y deductiva de la aritmética de los
enteros naturales. En 1890 creó la 'curva de
Peano', el primer ejemplo de fractal. Sus axiomas
permiten definir el conjunto de los número
naturales.
 Gerhard Gentzen
Introduce la noción de sistema de deducción
natural para lógica clásica y lógica
intuicionista. Demuestra que toda prueba
puede escribirse de manera normalizada sin • 1909-1945
cortes. Para ello introduce el cálculo de
consecuencias lógicas o secuentes,
demuestra la consistencia de la teoría
elemental de números.

Kurt Gödel
Fue un diligente e inventivo propietario de una
fábrica textil. Llegó a ser un gran amigo de
Einstein, y trabajaron juntos los aspectos
filosóficos y matemáticos de la Teoría General • 1906-1978
de la Relatividad, trabajó con éxito en las
ecuaciones del campo gravitatorio,
encontrando soluciones sorprendentes.

Alfred Tarski
Influyó en toda la investigación lógica
posterior a la Segunda Guerra Mundial. • 1902-1983
Hizo aportaciones destacadas en teoría de
conjuntos, lógica polivalente, niveles
delenguaje y metalenguaje y conceptos
semánticos. Fue el autor de Introducción a
la lógica y a la metodología de las ciencias
deductivas en el año 1941 y La concepción
semántica de la verdad y los fundamentos
de la semántica en 1944.
 Alan Mathison Turing
Su campo principal fue la matemática,
pero también aportó desde el campo de
la psicología, filosofía, física, química y
biología. Sus mayores aportes son a la • 1912-1954
computación, siendo probablemente de
los primeros investigadores en estudiar
las computadoras y su potencial futuro,
así como la inteligencia artificial.

Benoît Mandelbrot
El gran impulsor de la matemática contemporánea
y pionero de la geometria fractal, publicó su
libroFractal Geometry of Nature, en el que• 1924-2010
explicaba sus investigaciones en este campo. La
geometría fractal se distingue por una
aproximación más abstracta a la dimensión de la
que caracteriza a la geometría convencional