-
P vs NP démasqué ?
-
XXVe Congrès Mondial de Philosophie : « Un réexamen du théorème d’incomplétude de Gödel » : Yu Li
-
XXVe Congrès Mondial de Philosophie : « Un réexamen du théorème d’incomplétude de Gödel »
-
L’opinion de ChatGPT sur mon texte « Que démontrent les mathématiciens, et le font-ils d’une manière digne de ce nom ? »
-
Les problèmes « insolubles » sont-ils apparentés aux problèmes « difficiles à résoudre » ?
-
Paul Jorion & Yu Li vs Gödel – Qu’en pense ChatGPT ?
-
P vs NP – Deuxième épisode, le 8 mars 2021 – Retranscription
-
Résoudre P vs NP à partir de considérations de base I. La présupposition d’une similarité entre procédure de solution et de vérification
-
Vidéo – Mes vidéos : leur passé et leur avenir, le 21 novembre 2022
-
Les propositions auto-référentes formulées en langage naturel sont-elles nécessairement « pathologiques » ?, par Jean-Paul Bentz
-
La démonstration du théorème d’incomplétude de Gödel fait intervenir des phénomènes linguistiques encore très mal compris à ce jour, par Jean-Paul Bentz
-
Vidéo – Paul Jorion & Yu Li : Vers une méta-connaissance
-
Vidéo – P vs. NP : problèmes solubles et insolubles
-
UNILOG 2022 – Gödel’s Incompleteness Theorem revisited, par Yu Li
-
Unilog 2022 – What makes a demonstration worthy of the name? by Paul Jorion




Je connais la thèse selon laquelle les propositions auto-référentes formulées en langage naturel ne seraient pas nécessairement « pathologiques » (contrairement à l’assertion du paradoxe du menteur par exemple), mais je n’ai aucun exemple de telles propositions. Je précise ici les exigences que je…
Il me semble que la démonstration du théorème d’incomplétude se distingue par une caractéristique tout à fait unique, à savoir celle de faire intervenir des phénomènes linguistiques et sémantiques trop peu étudiés et encore très mal élucidés et compris à ce jour.
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.