Básicamente, la prueba proviene de la retórica y no de las matemáticas.
Cualquier cosa que sea transfinita, que no sea un límite, es solo conceptual, es decir, están incrustados en categorías con el propósito de formar conceptos formales,
Cualquier cosa que sea decidible, es decir, determinista, debe ser subinfinita.
Es fácil demostrar que cualquier idea traducible no es de un conjunto compacto.
- ¿Vale la pena el curso de matemáticas en Udemy, Inc.?
- ¿Qué menor es mejor para las matemáticas?
- ¿Debería continuar aprendiendo matemáticas de posgrado o prepararme para la OMI?
- ¿Qué es [math] \ sqrt [0] {2} [/ math]?
- ¿Es la estadística una rama de las matemáticas? ¿Por qué o por qué no?
Básicamente, cuando incluye la teoría, la computación incluye la representación, la gramática, la derivación y la evaluación de una función.
Es posible usar máquinas de gramática / lógica / formales para hablar sobre los límites de las matemáticas.
Compare cuántas personas en computación conocen ecuaciones diferenciales y análisis armónico con cuántas personas en matemáticas conocen la informática teórica y la complejidad computacional.