Resultados en matemáticas, cuya única prueba es el modelo teórico de la

Question

¿Cuáles son los resultados en matemáticas, por ejemplo, en álgebra, cuya única prueba de lo que ahora se usa el modelo de argumentos teóricos?

Answer 1

No sé si existe o no un modelo de la teoría de la prueba, pero la primera prueba de la "incondicional" de André-Oort conjeturas arbitrarias de productos de modular las curvas fue hecho por Pila usando el modelo de la teoría (más explícitamente, O-minimality).

Además, hay una tendencia de los resultados saliendo ahora la vinculación del modelo de teoría de gráficas y combinatoria. Por ejemplo, ver la Regularidad de los lemas para la estabilidad de los gráficos. Ya que mucho de este trabajo es actual y aún así, me atrevería a decir que este resultado (o de los resultados como este) sólo tiene pruebas en el modelo de la teoría (como ahora).