Creo que la clave de la teoría es que los conjuntos descritos por la teoría de conjuntos, y gran parte de los axiomas de ZFC pueden codificarse de forma teórica. Debido a esto, y al hecho de que combina la teoría de la homotopía, será una base mucho más interesante, por decir lo menos.
Todavía hay algunos axiomas y reglas de la teoría de la homotopía, como muy probablemente será siempre el caso, sin importar qué base se elija.
Sin embargo, el punto que creo que es fascinante es que puede usarse para enseñar programación y matemática fundamental de manera paralela de una manera (posiblemente) menos ambigua.
- ¿Qué tan competitivo es ingresar al programa de doctorado en matemáticas aplicadas en Cornell? ¿Qué tipo de fondo se necesita para aplicar con éxito?
- ¿Cuál es la mejor forma de jugar contra 4-2-2-2?
- Cómo encontrar el valor de la raíz cuadrada de 3
- Como aprender fórmulas matemáticas
- ¿Cómo es / fue tu experiencia en el Instituto de Ciencias Matemáticas, Chennai?
Con esto quiero decir que:
[matemáticas] S (S (\ emptyset)) = \ {\ {\ {\ emptyset \} \}, \ {\ emptyset \}, \ emptyset \} \ in \ mathbb {Z} [/ math]
es un poco más confuso hablar de eso que:
Succ (Succ (Cero)): Nat
A pesar de que el aspecto S / Succ es similar.
A veces, solo tener una forma más intuitiva de representar conceptos puede llevar las cosas más lejos.