5. Historia de las Ciencias Formales Lenguaje de las ciencias empíricas Formalismo IA Demostración de teoremas Abstracción de números y estructuras 20.000 a.C. – S VI a.C . S VI a.C. – S XVI S XVI – S XX S XX – S XXI
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21. Historia de las Ciencias Formales Lenguaje de las ciencias empíricas Formalismo IA Demostración de teoremas Abstracción de números y estructuras 20.000 a.C. – S VI a.C . S VI a.C. – S XVI S XVI – S XX S XX – S XXI
22.
23.
24.
25.
26.
27.
28.
29.
30. EvidenciaLógi c a Intuición Matemática Observación empírica Experiencia Humana Experiencia
31. Lenguajes Formales IA Lenguajes Formales Lenguajes Representativos Lenguaje Humano Lenguaje IA IA