Logica

TAREA II DE LÓGICA

PREGUNTAS:
1. ¿Qué contiene el primer tratado de Aristóteles?
2. ¿Qué formuló Guillermo G. Leibniz?
3. ¿Quiénes fueron los personajes notables en la formalización dela matemática?
4. ¿Qué formuló David Hilbert en los fundamentos de la geometría?
5. ¿Quién elaboró la teoría de la Cuantificación?
6. ¿Cuál es el contenido de la obra de Boole, sobre lasinvestigaciones del pensamiento?
7. B. Russell, a partir de qué se propone fundamentar y axiomatizar la matemática?
8. A. Tarski sobre qué realiza estudios importantes?
9. ¿Cuál es elaporte de Turing en la revolución digital?
10. ¿Qué incorpora la revolución lógica?

DESARROLLO:
1. Los tratados de Aristóteles llamados Organón dan a conocer las leyes de pensamiento para adquirirconocimiento, asimismo con este tratado se convirtió en la primera propuesta seria para fundar la lógica como una ciencia. Él intenta establecer una relación entre el pensamiento lógico y estructurade forma recíproca y no hacer de ésta una disciplina metafísica
2. Guillermo Leibniz formuló las ideas fundamentales del cálculo infinitesimal en su principal obra Nuevo método para la determinaciónde los máximos y los mínimos, asimismo introdujo la notación del símbolo de integral y de diferencial de una variable.
3. Los personajes que participaron en la formalización de las matemáticasfueron: Peano, Hilbert, Frege, Boole, de Morgan, Gentzen, Ruseell, Godel y Whitehead.
4. Hilbert en su obra Fundamentos de la Geometría formuló los principios de axiomatización de la geometría, los cualesconsisten en antes de dar solución a cualquier problema matemático y físico se debe utilizar un conjunto de principios básicos, asimismo éstos deben ser simbólicos, sin necesidad de requerir dedibujos y representaciones gráficas, anticipándose a la mayoría de las posibilidades.
5. Friedrich G. Frege fue el primero en elaborar la Teoría de la Cuantificación
6. El contenido de la obra de Boole,...