Le 28 mai 1936 Allan Turing publiait son article révolutionnaire : « On Computable Numbers, with an Application to the Entscheidungsproblem  » :

Des compléments techniques sur Godel's Lost Letter and P=NP.

L'émission Continent Sciences de Stéphane Deligeorges. Cette émission présente la quatrième et dernière conférence du cycle " Un texte, un mathématicien " initié par la SMF et la BNF, Alan Turing et la morphogénèse par Henri Berestycki.

L'affiche du cycle des conférences : ICI

Le problème P = NP est le problème fondamental du calcul mathématique. À partir de quel moment, et sous quelles conditions, un énoncé difficile à démontrer et jugé très probable doit-il être adopté comme nouvel axiome ?
L'article d'Interstices : ICI

Les classes de complexité, l'article de techno-sciences : ICI