HISTORIA DE LA LÓGICA
¿Alguna vez
¡HOLA!!!! ¿Por que tanto
¡Shhh!! silencio??
haz leído sobre
la lógica ?
¿No Porque eso ¿No te aburres
exactamente
por que??
hago de tanto leer? NO
EXPLICACIÓN
Es muy Bueno esto tiene sus
orígenes desde el
interesante sabias
nacimiento intelectual
¿Te explico?
¿Por qué? Por favor del hombre
Y consta de 5 etapas: Revolución Las matemáticas y la lógica se
matemática, Revolución encuentran al rededor del año
científica, Revolución formal, 600a.C. hasta el 300a.C, cuando
Revolución digital y la próxima y en Grecia se desarrollan los
peviata Revolución lógica. principios formales de las
matemáticas.
EXPLICACIÓN
Este periodo clásico es Platón propone ideas
Aristóteles resuelve el
protagonizado por o abstracciones
razonamiento deductivo
Platón, Aristóteles y y sistematizado.
Euclides
Euclides es el autor
que establece el
método axiomático.
Aristóteles fue quién hizo los tratados
Platón 427 a.C-347 a.C, él de lógica conocidos como Organon
crea la Academia de (contienen
el primer tratado
Atenas. sistemático de las leyes de pensamiento
para la adquisición del conocimiento).
EXPLICACIÓN
También tenemos a Euclides,
matemático alejandrino Y también esta Apolonio de Perga
autor de la universal obra, quien fue un geómetra de la época
los celebres elementos helenística-, inicialmente dirigido a
euclidianos exquisitos
René Descartes, un filósofo matemático
Ante el retroceso de la escuela francés, parte de la duda universal como
clásica de los griegos, se presenta principio y prescinde de cualquier conocimiento ,
entre sus aportaciones se le debe la creación de
otra epoca, "El Renacimiento" en el la geometría analítica a la vez que aporta un
cual encontraremos mentes muy corpus cuantitativo al asunto y permite el uso
brillantes como... de métodos algebraicos
EXPLICACIÓN
Se le debe el descubrimiento Fundó la academia
de la gravitación universal, de ciencias de de Gottfried W. Leibniz
importantes descubrimientos Berlín en 1700. fue un filósofo y
de óptica, etc. matemático alemán.
Por otro lado
tenemos a Isacc Enuncia la necesidad de
Newton Su obra fundamental, un lenguaje riguroso,
Principios exacto y universal
matemáticos de la
puramente formal
filosofía natural
(1686).
Nikolai I. Lobachevsky Lobachesky lleva a cabo su
(matemático russo) revolución en el
fundó la Geometría planteamiento que hasta
No Euclidiana entonces se habia utilizado
Con ello renueva los en la ciencia matemática
fundamentos que hasta
ese momento cimentaban
la Geometría.
EXPLICACIÓN
Fue creada la lógica simbólica, la escuela
Llega la formalización de las
formal. La lógica booleana, el cálculo
matemáticas, esta etapa se prposicional, la inducción matemática, el
caracteriza por el cálculo de secuentes. En esta etapa
resurgimiento de la podemos encontrar a ....
formalización rigurosa de las
matemáticas, que en la etapa
griega fue representativa.
Guiseppe Peano, un italiano el cual David Hilbert, matemático alemán, aporta
aporto su gran obra Formulaire avances a campos fundamentales de la
relatividad y la mecánica cuántica. Publicó su
de Mathematiques. Los axiomas de obra titulada " Fundamentos de Geometría,en la
Peano permiten definir el conjunto que formula sus principios de axiomatización de
de numeros naturales la geometría.
EXPLICACIÓN
George Boole aplica el cálculo matematico a la
Junto con Boole Y Peano, el lógica, fundando el algebra de la lógica. El
matemático y lógico Friedrich G. empleo de símbolos y reglas operatorias
Frege, se lleva a cabo la más adecuadas permite representar conceptos, ideas
profunda renovación y desarrollo y razonamientos mediante variables y
de la lógica. Es el primero en ecuaciones.
introducir los cuantificadores u
operadores y en elaborar una
Teoría de la Cuantificación.
Una de las mayores contribuciones de
Boole dio un método general para formalizar
Augustus Morgan en el estudio de la
la inferencia deductiva, representando
lógica incluye la formulación de las Leyes
complicados raciocinios mediante sencillos
de Morgan y su teoría del desarrollo de
sistemas de ecuaciones. La formalización de
la lógica ha contribuido poderosamente a
las relaciones de la matemática simbólica.
aclarar la estructura de los objetos.
EXPLICACIÓN
Gentzen (aleman) formuló la prueba de la
Georg F. Cantor, matemático aleman,
Doctor, ¿ha ido al centro comercial? Hay consistencia de un sistema de aritmética
mostradoresse debe exclusivamente
que atienden a la idea del infinito continuo, Y la pizzería de la esquina
a los profesionales de la salud. clásica en el cual el método no elemental es una
nos envió comida gratis.
es decir, la posibilidad de considerar extensión de inducción matemática a partir de
conjuntos infinitos dados una secuencia de números naturales a un
simultaneamente. Es considerado como cierto segmento de números ordinales
el creador de la teoría de los números transfinitos.
irracionales y de los conjuntos.
La revolución digital se inicia con la
Bertrand Rusell es uno de los creadores invención de la computadora digital y el
¿Qué me dice dedela la logística y unoSí de
multitud la oí.los
Fuepensadores
un gusto oírla de Ojalá supieran que el mejor
que aplaudía afuera anoche? e hizo que se me salieran acceso universal a las redes de alta
regalo que pueden darnos es
mayor influencia en la filosofía científica en casa. Turing relaciona ¿Verdad
¿La oyó? las lágrimas. velocidad.
quedarse lógica yque sí?
contemporánea. Él llegó a afirmar que
computación antes que cualquier
para iniciarse en lógica lo básico era no
computadora procese datos. Weiner funda
estudiar la lógica de Aristóteles.
la ciencia de la Cibernética. Hoare presenta
Kurt Gödel aporta múltiples
un sistema axiomático de los sistemas de
contribuciones a la lógica matemática,
programación y Dijkstra con un sistema de
destacando la demostración de la
verificación y deducción de programas a
consistencia de la hipótesis cantoriana del
continuo y el teorema y prueba de partir de especificaciones.
incompetez semántica.
Posteriormente aparece
Doctor, ¿ha ido al centro comercial? Hay Alan Turing un Después integramos a la
mostradores que atienden exclusivamente
a los profesionales de la salud. matemático Sí,ycuenta.
lógico
me di lista a Norbert LoWiener
Y la pizzería de la esquina
nos envió comida gratis.
sé, vi llegar las
cajas. un
pionero en Teoría de la científico norteamericano
Computación
Contribuye a importantes Wiener publica un libreo en 1947
análisis lógicos de los "Cibernética, o control y
procesos computacionales comunicación en el animal y la
máquina en donde utiliza por
primera vez la palabra Cibernética.
Posteriormente tenemos a
Sí la oí. Fue un gusto oírla
¿Qué me dice de la multitud
Luitzen Egbertus Jan Brouwer
e hizo que se me salieran
que aplaudía afuera anoche? Tarski era un Por último tenemos a
¿La oyó? las lágrimas. ¿Verdad que sí?
un matemático y lógico aleman matemático, lógico y Alfred Tarski y
conocido como el fundador de la filósofo y Mandelbrotera Benoit Mandelbrot
escuela de la Lógica un matemático
institucionista Ambos realizaron
grandes aportaciones a
las matemáticas
Para terminar la siguiente
Revolución
Doctor, de laHayLógica incorpora
¿ha ido al centro comercial? Te agradezco por la
mostradores que atienden exclusivamente Y la pizzería de la esquina Lo sé, vi llegar las
la fusión entre matemáticas Sí,cuenta.
a los profesionales de la salud.
y me di explicación, creo que ahora
nos envió comida gratis. cajas.
computación, con ello la lógica puedo comprender mejor y
evoluciona pues se dirige hacia la posiblemente seguir De nada.
culminación del conocimiento libre estudiando
que nace del rigor formal de la
matemática griega. Claro, así podemos
comprender algunas cosas
de una mejor manera.
Eso fue todo
¿Qué me dice de la multitud Sí la oí. Fue un gusto oírla Integrantes del equipo:
Gracias por su
que aplaudía afuera anoche?
¿La oyó?
e hizo que se me salieran
las lágrimas.
Campos González Samantha
¿Verdad que sí?
atención Sophia
Garza Romero Andrea Lizbeth
Martinez Espinosa Ailen
Martinez Lopez Naomi Yaretzy
Ramirez Leon Luis Fabian