Archives de catégorie : Fondement des mathématiques

UNILOG 2022 – Gödel’s Incompleteness Theorem revisited, par Yu Li

Texte de l’article qu’a présenté samedi ma collègue Yu Li de l’Université de Picardie, au congrès Unilog 2022 qui se tenait à Chania en Crète.

Gödel’s Incompleteness Theorem revisited

– What is the undecidable problem?

 I would rather have questions that can’t be answered than answers that can’t be questioned. – Richard P. Feynman

Yu Li * * Laboratoire MIS, Université de Picardie Jules Verne, 33 rue Saint-Leu, 80090 Amiens, France 

Continuer la lecture de UNILOG 2022 – Gödel’s Incompleteness Theorem revisited, par Yu Li
Partager :

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 :

Et pendant ce temps-là… P vs. NP, le 28 mars 2022 – Retranscription

Retranscription de Et pendant ce temps-là… P vs. NP, le 28 mars 2022. Bonjour, nous sommes le lundi 28 mars…

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

Partager :

Que démontrent les mathématiciens, et le font-ils d’une manière digne de ce nom ?

Contribution inédite au travail collaboratif que j’ai entrepris avec Yu Li (Université de Picardie) sur la conjecture P vs. NP.…

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

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 :