-
C’était aujourd’hui, à Rome : XXV World Congress of Philosophy
-
Vidéo – Gödel’s legerdemain. The demonstration of his incompleteness of arithmetic theorem betrays his contempt for his fellow mathematicians
-
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 – Tourmenter ChatGPT davantage pour son conformisme
Deuxième épisode. Le premier peut être lu ici.
Yu : Existe-t-il des travaux qui remettent en cause la démonstration du théorème d’incomplétude de Gödel ?
ChatGPT : Le théorème d’incomplétude de Gödel est un résultat fondamental de la logique mathématique qui a été largement étudié et accepté comme pierre angulaire du…
-
Paul Jorion & Yu Li vs Gödel – Qu’en pense ChatGPT ?
-
P vs NP – Deuxième épisode, le 8 mars 2021 – Retranscription
-
Journée mondiale de la logique 2023 : Une initiative pour la relecture de l’article de Gödel de 1931, par Yu Li
-
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
-
Dialogue sur la démonstration du théorème d’incomplétude de Gödel – Druuh et Yu LI (14/8/2022 – 22/8/2022)
-
Vidéo – Paul Jorion & Yu Li : Vers une méta-connaissance
-
UNILOG 2022 – Gödel’s Incompleteness Theorem revisited, par Yu Li
-
Et pendant ce temps-là… P vs. NP, le 28 mars 2022 – Retranscription