Fundamentos de la matemática
De Wikipedia, la enciclopedia libre
En Categorías y fundamentos hay una pequeña incitación a pensar sobre esto mediante la presentación básica de algunos temas matemáticos y filosóficos relacionados.
La Teoría de categorías está dando mucho que hablar en lógica y fundamentos, por su poder unificador y a veces simplificador.
- Teoría de categorías
- Teoría de tipos
- Teoría de conjuntos
- Teoria de la recursión
- Lógica matemática
- Teoría de la demostración
- Teoría de los modelos