Le plus marant ce sont les choses qu'on sait qu'on ne saura jamais (comme par exemple trouver un algo qui détermine si un programme va s'arreter ou pas). De même, il se peut que P=NP soit indécidable (on ne peut pas prouver que c'est vrai ni que c'est faut). Peut être aussi que le fait de savoir si P=NP est indécidable est indécidable lui même ? ...
[^] # Re: Que ne savons-nous pas ?
Posté par Olivier Grisel (site web personnel) . En réponse au journal Que ne savons-nous pas ?. Évalué à 1.
Le plus marant ce sont les choses qu'on sait qu'on ne saura jamais (comme par exemple trouver un algo qui détermine si un programme va s'arreter ou pas). De même, il se peut que P=NP soit indécidable (on ne peut pas prouver que c'est vrai ni que c'est faut). Peut être aussi que le fait de savoir si P=NP est indécidable est indécidable lui même ? ...