Citation de hallavar
Ok ok, je vois le truc pour décidabilité..
Enfin là pour P = NP, je ne vois pas trop le rapport.
Si on veut montrer que P = NP, bon bah on trouve une résolution polynomiale à un algorithme NP-complet.
Si on veut prouver que P =/= NP on trouve un algorithme NP dont la complexité admet une borne inférieure non polynomiale.
Genre, je ne vois pas vraiment comment ca pourrait être indécidable du coup...

P = NP c'est genre pour tout NP il y a P par seulement une fois