Por sorprendente que parezca, ¡ no demuestras nada cierto en matemáticas!
Las pruebas son una demostración de que ciertas declaraciones, conocidas como teoremas, se dan válida ciertos axiomas y una lógica. ¡Ninguna mención de la verdad!
Cambia los axiomas o la lógica y el conjunto de teoremas cambia. Elija algunos axiomas inconsistentes y puede probar cualquier afirmación; y puedes probar su negación. Nada de esto te acerca más a la verdad.
- Dada la palabra 'GRAPAR', ¿cuántos arreglos diferentes hay de las letras de manera que A y E estén separadas por al menos una letra?
- ¿[Math] x ^ {1/2} [/ math] es igual a [math] \ sqrt {x} [/ math]?
- ¿Por qué es [matemática] x ^ 5-2 x ^ 4 + 5 x ^ 3-10 x ^ 2 + 4 x-8 [/ matemática] irreducible? ¿Qué significa que algo sea irreducible?
- ¿Las matemáticas son reales?
- En India, ¿cuáles son las mejores universidades para las matemáticas?
La verdad es un concepto metamatemático. Si usted asume los axiomas para ser verdad (lo que significa) y la lógica sean válidas, entonces los teoremas son ciertas. Con un poco de trabajo filosófico es probable que pueda llegar a un buen sentido teoría de modelos de “verdaderos”, pero entonces usted está haciendo filosofía y no matemáticas.
Como el gran matemático y filósofo Bertrand Russell escribió una vez:
Las matemáticas pueden definirse como el tema en el que nunca sabemos de qué estamos hablando, ni si lo que estamos diciendo es verdad.
[matemáticas] \ en caja {\ alpha_ \ beta} [/ matemáticas]