Historia de la Lógica

1. Gödel

1.1. Teorema de las Proposiciones Indecidibles.

1.1.1. circuitos eléctricos

2. Lógica Simbólica

3. Lógica Informática

4. Frege

4.1. Padre de la Lógica matemática

4.2. Números naturales a conceptos Lógicos

4.3. Aritmética, parte de la Lógica

5. Peano

5.1. Signos

5.1.1. Pertenece a

5.1.2. Unión

5.1.3. Intercambio

5.2. Números naturales

6. Russell y North

6.1. Principia Mathematica

6.1.1. Lógica de Predicados

7. Turing

7.1. concepto moderno de Algoritmo

7.2. Maquina de Turing

7.2.1. Enigma

7.2.1.1. Decifrar Códigos Nazis

7.2.1.1.1. Conclusión de 2da Guerra Mundial

7.3. Test de Turing

8. Inicio de la Humanidad

8.1. Cuestionamiento de Fenómenos

9. McCarthy

9.1. padre de la Inteligencia Artificial

9.1.1. Primer lenguaje declarativo LISP

10. Descartes

10.1. Dudar del conocimiento aprendido

10.1.1. "Pienso, luego existo"

11. Protágoras

11.1. Relativismo

11.1.1. "El hombre es la medida de todas las cosas"

12. Lógica Clásica

13. Lógica Matemática

14. Platón

14.1. Dialéctica

14.1.1. "Mundo de las Ideas"

15. Aristóteles

15.1. Padre de la Lógica Clásica

15.1.1. Silogismo

15.2. Inicio de la Lógica Clasica

16. Euclides

16.1. Geometría Plana

17. Newton

17.1. Ley de la Gravitación Universal

17.2. Leyes de la dinámica

17.3. Leyes del Movimiento

17.4. Estudios en Óptica

18. Leibniz

18.1. Cálculo Infinidecimal

18.2. Cálculo Diferencial e Integral

18.3. Maquina para Raices cuadradas, multiplicación y división

18.4. Inicio de la Lógica Moderna

19. Galileo

19.1. Descomponer los problemas complejos en partes más sencillas

20. Boole

20.1. Algebra Booleana

20.2. Aritmética Computacional

20.3. Lenguaje Binario

21. Morgan

21.1. Reformador de la Lógica moderna

21.2. Leyes de Morgan

22. Cantor

22.1. Conjuntos

22.1.1. Conjuntos Infinitos