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
• Teoría de la recursión
• Lógica matemática
• Teoría de la demostración
• Teoría de los modelos

El contenido de esta página es un esbozo sobre matemática. Ampliándolo ayudarás a mejorar Wikipedia. Puedes ayudarte con las wikipedias en otras lenguas.