Indice

• Introducción
• La matemática como cálculo.
  • El cálculo geométrico
  • El cálculo aritmético
  
  
• El álgebra y los algoritmos.
• El cálculo de proposiciones.
  • Las leyes del pensamiento.
  • Los circuitos lógicos
  
  
• La formalización como cálculo.
  • Lenguajes formales
  • Sistemas formales
  
  
• Calculabilidad
  • Funciones recursivas
  • Maquinas de Turing.
  
  
• Conclusión: Las máquinas automáticas
• About this document ...