Archives par mot-clé : démonstration

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, 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/
Continuer la lecture de Unilog 2022 – What makes a demonstration worthy of the name? by Paul Jorion

Partager :

Stephen Wolfram et les trois façons de montrer que quelque chose est vrai

Portrait of Aristoteles. Copy of the Imperial era (1st or 2nd century) of a lost bronze sculpture made by Lysippos…

Vous devez être connecté pour lire le contenu complet de l'article. Vous pouvez vous abonner ici

Partager :