Si vous vous savez ce que signifie P = NP, que vous avez quelques notions de logique, mais que vous n'êtes pas sûr de comprendre exactement ce que signifie "P = NP est décidable" ou "P = NP est indécidable", alors cette vidéo est faite pour vous.

Si vous pensez qu'il y a "une certaine probabilité" pour que P = NP soit indécidable dans ZFC, alors j'espère que cette vidéo vous convaincra que la notion de probabilité n'a rien à voir dans cette affaire.

Cette vidéo est expérimentale. C'est la première que je réalise entièrement avec un iPad pro, incluant la prise de son. J'ai utilisé l'application KeyNote et tous les dessins ont été faits avec le stylet.

Le contenu reflète l'état actuel de ma compréhension du sujet abordé. Merci de me signaler les éventuelles aspérités.