Diferencia entre revisiones de «Problema matemático»
Contenido eliminado Contenido añadido
Sin resumen de edición |
|||
Línea 1:
Un '''problema matemático'''
Algunos problemas clásicos como el de la [[cuadratura del círculo]] u otros donde se trata de decidir si una afirmación ''P'' es o no cierta, pueden reducirse a la forma de terna si tomamos como <math>S \,</math> el conjunto de demostraciones posibles y <math>C(X) \,</math> como la condición de "X es una demostración válida de que la afirmación del problema P es cierta". Se dice que un problema no tiene solución cuando <math>\forall r\in S:\lnot C(r) </math>, es decir, <math>\lnot \exists r\in S:C(r) </math>.
|