-
C’était aujourd’hui, à Rome : XXV World Congress of Philosophy
-
P vs NP : les Grands Modèles de Langage contribueront à la définition d’un nouveau paradigme
-
P vs NP : j’ai recruté deux collaborateurs (ou collaboratrices)
-
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 ?
-
Journée mondiale de la logique 2023 : Une initiative pour la relecture de l’article de Gödel de 1931, par Yu Li
-
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
-
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
-
Et pendant ce temps-là… P vs. NP, le 28 mars 2022 – Retranscription
-
Que démontrent les mathématiciens, et le font-ils d’une manière digne de ce nom ?