Problema matemáticu
From Wikipedia, the free encyclopedia
Un problema matemáticu consiste en buscar una determinada entidá matemática d'ente un conxuntu d'entidaes del mesmu tipu qu'amás satisfaiga les llamaes condiciones del problema. Formalmente tou problema puede amenorgase a una terna onde ye un conxuntu d'oxetos, ye una condición (o condiciones) tal que dau puede o nun ser satisfechu (pa ello la condición tien de ser una fórmula lóxica bien formada y zarrada). La resolución del problema ye un procedimientu que determina cual ye l'únicu que satisfai .
Dellos problemes clásicos como'l de la cuadradura del círculu o otros onde se trata de decidir si una afirmación P ye o non cierta, pueden amenorgase a la forma de terna si tomamos como el conxuntu de demostraciones posibles y como la condición de "X ye una demostración válida de que l'afirmación del problema P ye cierta". Dizse qu'un problema nun tien solución cuando , esto ye, .