UNIVERSIDAD POLITECNICA CIUDADANA SALESIANA

ALUMNO: RICHARD SEBASTIAN YUQUI GUAMAN

PROFESOR: ING. DIEGO FERNNDO QUISI PERALTA

MATERIA: PROGRAMACION

AÑO LECTIVO: 2022-2023

Introducción

La evolución de la lógica está intrínsecamente ligada a la evolución intelectual del ser

humano, ya que, como ciencia del razonamiento, su historia representa la historia misma del

hombre. La lógica surge desde el primer momento en que el hombre, al enfrentar a la naturaleza,

infiere, deduce y razona, con el ánimo de entenderla y aprovecharla para su supervivencia

Lógica Matemática

El objetivo de la lógica matemática es cuestionar con rigor conceptos y reglas de deducción

utilizados en las matemáticas, así constituyendo la lógica por ello de una verdadera

metamatemática.

Durante el periodo de 600 AC hasta 300 AC, en Grecia se desarrollaron principios formales

de las matemáticas. Este periodo se le conoce como periodo clásico, donde sus principales

representantes fueron Platón, Aristóteles y Euclides. Platón introduce sus ideas o abstracciones;

Aristóteles presenta el razonamiento deductivo y sistematizado y Euclides es el personaje con

mayor influencia en las matemáticas, al establecer el método axiomático.

La ciencia matemática

Después de declinar la escuela clásica de los griegos, se formó un periodo en el cual la

autoridad religiosa embruteció a la creatividad intelectual “El renacimiento” inicio una nueva era

en la cual se permite la revitalización de la ciencia y las matemáticas. Los representantes más

destacados de esta etapa son: Descartes, Newton y Leibniz. Este periodo abarca de los años 1500 a

los 1800

René Descartes (1596-1650)

Como científico se le debe a Descartes la creación de la geometría analítica. Este desarrollo

es importante para la ciencia porque hace a la geometría cuantitativa y permite el uso de métodos

algebraicos. La geometría debe ser cuantitativa para ser usada en la ciencia e ingeniería, y los
métodos algebraicos permiten el desarrollo más rápido que los métodos sistemáticos (son más

rigurosos) requeridos por el enfoque axiomático de la geometría clásica

Isaac Newton (1642-1727)

Se le debe el descubrimiento de la gravitación universal, el desarrollo del cálculo

infinitesimal e importantes descubrimientos sobre óptica, así como las leyes que rigen la mecánica

clásica

Gottfried W. Leibniz (1642-1727)

Como matemático, su principal trabajo (publicado en 1684) es la memoria intitulada

''Nuevo método para la determinación de los máximos y los mínimos'', en el que expone las

ideas fundamentales del cálculo infinitesimal, anticipándose unos años a Newton. La notación que

empleó es particularmente cómoda y se sigue utilizando con algunas modificaciones; introdujo el

símbolo de integral y de diferencial de una variable

Formalización de las matemáticas

Esta etapa se caracteriza por el resurgimiento de la formalización rigurosa de las

matemáticas, que en la etapa clásica griega fue representativa. El uso de los infinitesimales fue una

de las prácticas mas notoria en la época renacentista.

Los representantes de esta etapa son: Peano, Hilbert, Frege, Boole, de Morgan, Gentzen y

Whitehead. A Rusell y Gödel se deben los planteamientos de las limitantes de la lógica y de la

ciencia en general.

Guiseppe Peano (1858-1932)

La enunciación de los principios del italiano Guiseppe Peano acerca de lógica matemática y su

aplicación práctica quedaron contenidos en su obra ''Formulaire de mathematiques''. Los axiomas de

Peano permiten definir el conjunto de los números naturales

El matemático alemán David Hilbert fue un enconado defensor de la axiomática como

enfoque principal de los problemas científicos, esto es, de partir de un conjunto cerrado e

inamovible de premisas para construir la base fundamental de cualquier estudio. Según sus teorías,

es necesario establecer un conjunto de postulados básicos antes de plantear de modo más detallado

cualquier tipo de problema físico o matemático. Estos principios deben ser simbólicos, sin recurrir a

dibujos y representaciones gráficas, y es necesario proveer la mayoría de las posibilidades con

antelación.

Friedrich G. Frege (1848-1925)

Inicio la corriente de pensamiento que, partiendo del análisis de los fundamentos de la

matemática, llevó a cabo la mas profunda renovacion y desarrollo de la lógica clásica. Fue el

primero en introducir los cuantificadores u operadores y en elaborar una teoría de la cuantificación

George Boole (1815-1864)

Aplicó el cálculo matemático a la lógica, fundando el álgebra de la lógica, que en cierto

modo realiza el sueño de Leibniz de una ''característica universal'' o cálculo del raciocinio. El

empleo de símbolos y reglas operatorias adecuados permite representar conceptos, ideas y

razonamientos mediante variables y relaciones (ecuaciones) entre ellas. Boole dio un método

general para formalizar la inferencia deductiva, representando complicados raciocinios mediante

sencillos sistemas de ecuaciones.

Augustus De Morgan (1806-1871)

en el estudio de la lógica incluye la formulación de las leyes de Morgan y su trabajo

fundamenta la teoría del desarrollo de las relaciones y la matemática simbólica moderna o lógica

matemática. De Morgan hizo su más grande contribución como reformador de la lógica.

Al matemático alemán 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.

Gentzen (1909-1945)

Formuló la prueba de la consistencia de un sistema de aritmética clásica, en el cual el

método no elemental es una extensión de inducción matemática a partir de una secuencia de

números naturales a un cierto segmento de números ordinales transfinitos.

Bertrand Rusell (1872-1970)

Es uno de uno de los creadores de la logística y uno de los pensadores de mayor influencia

en la filosofía científica contemporánea. Lo fundamental de su obra está en sus aportes a la lógica.

Kurt Gödel (1906-1978)

tuvo múltiples contribuciones a la lógica matemática, destacando la demostración de la

consistencia de la hipótesis cantoriana del continuo y el teorema y la prueba de incompletez

semántica. En ''Sobre las proposiciones indecidibles de los sistemas de matemática formal''

establece que es imposible construir un sistema de cálculo lógico suficientemente rico en el que

todos sus teoremas y enunciados sean decidibles dentro del sistema. Con este teorema se demostró

definitivamente que era imposible llevar a cabo el programa de la axiomatización completa de la

matemática propugnado por Hilbert y otros, ya que, según él, no puede existir una sistematización

coherente de la misma tal que todo enunciado matemático verdadero admita demostración.

La Revolución Digital

Esta revolución inicio con la invención de la computadora digital y el acceso universal a

redes de alta velocidad.

inventada.

 Weiner funda la ciencia de la cibernética.

En la escuela moderna de la computación están presentes lógicos que han permitido

avances importantes: Hoare presenta un sistema axiomático de los sistemas de programación y

Dijkstra un sistema de verificación y deducción de programas a partir de especificaciones.

Alan Turing

Matemático y lógico quien fue pionero en la teoría de la computación y contribuyó en

importantes análisis lógicos de los procesos computacionales. Las especificaciones para la

computadora abstracta que él ideó (llamada la Máquina de Turing) resultó ser una de sus mas

importantes contribuciones a la teoría de la computación.

Norbert Weiner (1894-1964)

El científico norteaméricano Norbert Weiner (1894-1964) en 1947 publica su libro más

famoso: ''Cibernética, o control y comunicación en el animal y la máquina''; en donde se utiliza por

primera vez la palabra Cibernética.

Alfred Tarski

Matemático y lógico polaco nacido en 1902, quien realizo importantes estudios de álgebra

en general, teoría de mediciones, lógica matemática, teoría de conjuntos, y metamatemáticas.

La siguiente revolución lógica

La siguiente revolución lógica será la asimilación práctica de las matemáticas y la

computación dentro de la lógica. Se hará enfásisi en que las computadoras exploten la información

inteligentemente, pasando de las bases de datos a las bases de conocimientos

Conclusión

La lógica muestra un devenir histórico muy interesante, naciendo de la fuerte formalización

de las matemáticas de los griegos, que fué impactada, como muchas ciencias, por el pensamiento de
la Edad Media, donde la religión se anteponia a todo. No cabe duda que la lógica tiene impactó

fundamental, como ciencia de las ciencias, en el pensamiento contemporaneo, y que el nacimiento

de la tecnológia computacional deba mucho al desarrollo del formalismo lógico de principios de

siglo.

Referencias

1. Frausto, Juan. ''Evolución de la Lógica: Pasado, Presente y

Futuro''. http://w3.mor.itesm.mx/logica/log9808/evolución.html . 12 de agosto de 1999.

2. Poincare, Henri. ''Logical Revolution. Past, present and future''. 17 de agosto de

1999. http://www.rbjones.com/rbjpub/www/colum/c00300.html . 17 de agosto de 1999.

3. Gran Enciclopedia de la Ciencia y de la Tecnología. Varios volúmenes. Ediciones

Océano. España.1996

4. Poincare, Enri. ''Classical Greek Mathematics''. 10 de agosto de

1999. http://www.rbjones.com/rbjpub/maths/math005.html . 17 de agosto de 1999.

5. Diccionario Enciclopedico Univesal. Varios volúmenes. Ediciones Oceano. España.

1994.

6. Poncaire, Henri. ''Mathematics and the Scientific Revolution''. 5 de octubre de

1996. http://www.rbjones.com/rbjpub/maths/math011.html . 17 de agosto de 1999.

7. Poncaire, Henri. ''The Formalisation of Mathematics''. 5 de octubre de

1996. http://www.rbjones.com/rbjpub/maths/math006.html . 17 de agosto de 1999.

8. Enciclopedia Hispánica. Varios volúmenes. Ed. Encyclopaedia Britannica

Publishers. México. 1990.

9. Encyclopaedia Britannica. Varios volúmenes. Ed. Encyclopaedia Britannica

Publishers. Estados Unidos. 1980.

Organización de Computadores. Agosto de

1997. http://www.inf.udec.cl/campos/arquitectura/modelos.html . 18 de agosto de 1999.

11. Asociación Mexicana de Ingenieros en

cibernética. http://www.cibernetica.org.mx/ . 18 de agosto de 1999.

12. Poncaire, Henri. ''The Next Logical Revolution''. 3 de noviembre de

1996. http://www.rbjones.com/rbjpub/logic/engl002.html . 18 de agosto de 1999.

Autors:

Juan A.Alvarez Vázquez

Julio A. Freyre Gonzalez

Rafael Rivera López

Maestría en Ciencias Computacionales

Instituto Tecnológico y de Estudios Superiores de Monterrey

Campus Morelos

http://w3.mor.itesm.mx/~logica/