Historia de la Lgica

Antes de Cristo
Etapa: La Lgica Antigua
(Lgica Matemtica)
Apolonio de Perga 262-190
Perga, Grecia.
Fue conocido como "El gran
gemetra", cre los
cimientos de la geometra a
travs de un compendio de 8
libros titulados Tratado de
las cnicas, fue fundador de
la astronoma matemtica
griega, la cual us modelos
geomtricos para explicar la
teora planetaria. Adems se
le atribuye la invencin del
reloj solar.
Euclides 325 265
Griego
Fund una escuela de
matemticas, autor de la
obra, los clebres
elementos. Uno de los
textos matemticos ms
relevantes de la historia del
pensamiento cientfico.
Adems, defini los
tringulos isceles,
rectngulos, etc. y dio
definiciones de elementos
que (al igual que los antes
mencionados) an hoy
seguimos usando
Aristteles 384 - 332
Estagira
Demostr por varios
mtodos 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 propiedades
fundamentales: caliente,
fro, hmedo y seco, que se
combinan entre s para dar
lugar a los cuatro elementos
o esencias


Platn 427 - 347
Atenas
Sostiene la existencia de dos
mundos: El mundo de las
ideas y El mundo fsico de
los objetos

Despus de Cristo
Isaac Newton 1642-1727
Reino Unido
Se le debe el descubrimiento
de la gravitacin universal,
Estableci las bases de la
mecnica clsica 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 1646-1716
Leipzig, Electorado de Sajonia
Invent el clculo infinitesimal,
independientemente de
Newton, y su notacin es la
que se emplea desde
entonces. Tambin invent el
sistema binario, La regla del
producto del clculo
diferencial es an
denominada regla de Leibniz
para la derivacin de un
producto. Adems, el teorema
que dice cundo y cmo
diferenciar bajo el smbolo
integral, se llama regla de
Leibniz para la derivacin de
una integral.
Ren Descartes 1596 - 1650
Francia
Fue un filsofo, matemtico y
fsico francs, considerado
como el padre de la geometra
analtica y de la filosofa
moderna, cre una tcnica
que le permita expresar las
leyes de la Mecnica. La
Dioptrique, un tratado sobre
ptica que recopila las
ideas existentes sobre el tema
y recoge algunas aportaciones
propias originales. Les
Mtores, un tratado sobre
meteorologa.

Edad Media
Etapa: Ciencia Matemtica






Georg Whilhelm Friedrich
Stuttgart-1770-1831 Stuttgart

Autor de
Ciencia de la lgica
Constitucin de la lgica
dialctica.
Expone las ideas fundamentales
del clculo infinitesimal, realiz
contribuciones fundamentales
en una gran variedad de
campos de la reflexin humana,
que abarcan la filosofa de la
historia, la esttica y la tica
social.
Nikolai Ivanovich Lobachevski
1792-1856 Rusia

Funda la Geometra No
Euclidiana y renueva
fundamentos que hasta ese
momento cimentaban la
Geometra. Entre sus
principales logros se
encuentra la demostracin
de varias conjeturas
relacionadas con el clculo
tensorial aplicados a
vectores en el espacio de
Hilbert.
Antigua la media moderna
contempornea



Despus de Cristo
Augustus De Morgan 1806-
1871, India.
Hizo aportaciones
importantes en lgebra e
historia de las matemticas;
su contribucin ms
destacada fue en lgica.
Posea conocimientos de
astronoma, estadstica y
probabilidad, y era
aficionado a los acertijos
matemticos. Fundamenta la
teora del desarrollo de las
relaciones y la matemtica
simblica moderna o lgica
matemtica.
George Boole 1815- 1815
Lincoln

Aplica una serie de smbolos a
operaciones lgicas que
mantuvieran una estructura
lgica con el lgebra
convencional. Tambin trabaj
en ecuaciones diferenciales, el
clculo de diferencias finitas y
mtodos generales en
probabilidad. Public una
investigacin de las leyes del
pensamientosobre las cuales
son basadas las teoras
matemticas de Lgica yProba
bilidad.
Edad Moderna
Etapa: Formalizacin de las Matemticas
Giuseppe Peano 1858-1932
Italia

Cre un sistema descriptivo
que permita enunciar
cualquier proposicin de lgica
o de matemticas sin recurrir
al lenguaje. Fund dos
publicaciones de matemticas,
propuso en sus escritos la
'aritmtica de Peano', una
exposicin axiomtica y
deductiva de la aritmtica de
los enteros naturales. En 1890
cre la 'curva de Peano', el
primer ejemplo de fractal. Sus
axiomas prermiten definir el
conjunto de los nmero
naturales.



























Gerhard Gentzen 1909-1945
Alemania
Introduce la nocin
de sistema de deduccin
natural para lgica
clsica y lgica intuicionista.
Demuestra que toda prueba
puede escribirse de manera
normalizada sin cortes. Para
ello introduce el clculo de
consecuencias
lgicas o secuentes,
demuestra la consistencia de
la teora elemental de
nmeros.
Kurt Gdel 1906-1978
Estadounidense

fue un diligente e inventivo
propietario de una fbrica
textil. Lleg a ser un gran
amigo de Einstein, y
trabajaron juntos los
aspectos filosficos y
matemticos de la Teora
General de la Relatividad,
trabaj con xito en las
ecuaciones del campo
gravitatorio, encontrando
soluciones sorprendentes.













Despus de Cristo
Alfred Tarski 1902-1983
Polonia
Influy en toda la
investigacin lgica posterior
a la Segunda Guerra
Mundial. Hizo aportaciones
destacadas en teora de
conjuntos, lgica polivalente,
niveles
delenguaje y metalenguaje y
conceptos semnticos. Fue el
autor de Introduccin a la
lgica y a la metodologa de
las ciencias deductivas en el
ao 1941 y La concepcin
semntica de la verdad y los
fundamentos de la
semntica en 1944.
Alan Mathison Turing 1912-
1954
Su campo principal fue la
matemtica, pero tambin
aport desde el campo de la
psicologa, filosofa, fsica,
qumica y biologa. Sus
mayores aportes son a la
computacin, siendo
probablemente de los
primeros investigadores en
estudiar las computadoras y
su potencial futuro, as como
la inteligencia artificial.
Edad Contempornea
Etapa: Revolucin Digital
Benot Mandelbrot 1924-2010
Polonia
El gran impulsor de la
matemtica contempornea
y pionero de la geometria
fractal, public su
libroFractal Geometry of
Nature, en el que explicaba
sus investigaciones en este
campo. La geometra fractal
se distingue por una
aproximacin ms abstracta
a la dimensin de la que
caracteriza a la geometra
convencional.