Texte de l’article qui a été présenté aujourd’hui par ma collègue Yu Li de l’Université de Picardie, au congrès Unilog 2022 qui se tient à Chania en Crète. À terme, ce texte servira de préambule à l’exposé que je suis en train de bâtir sur la conjecture P vs NP. Une esquisse en français du texte ici a déjà été publiée sur le blog : Que démontrent les mathématiciens, et le font-ils d’une manière digne de ce nom ?, le 5 mars 2022.

What makes a demonstration worthy of the name?

Paul Jorion *
* ETHICS – EA 7446, Université catholique de Lille, 60 Bd Vauban, 59800 Lille, France

Subject: Foundations of mathematics
Cite as: https://www.pauljorion.com/blog_en/2022/04/09/unilog-2022-what-makes-a-demonstration-worthy-of-the-name-by-paul-jorion/… Lire la suite…