-
Unilog 2022 – What makes a demonstration worthy of the name? by Paul Jorion
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, FranceSubject: 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… -
Stephen Wolfram et les trois façons de montrer que quelque chose est vrai
Stephen Wolfram et les trois façons de montrer que quelque chose est vrai Réflexion en chantier Aristote disait qu’il y…
Vous devez être connecté pour lire le contenu complet de l’article. Vous pouvez vous abonner ici… Lire la suite…