-
XXVe Congrès Mondial de Philosophie : « Un réexamen du théorème d’incomplétude de Gödel » : Yu Li
Si vous suivez les activités de mon blog vous n’ignorez pas que Yu Li et moi collaborons depuis quelques années sur des questions liées aux fondements des…
-
XXVe Congrès Mondial de Philosophie : « Un réexamen du théorème d’incomplétude de Gödel »
Si vous suivez les activités de mon blog vous n’ignorez pas que Yu Li et moi collaborons depuis quelques années sur des questions liées aux fondements des mathématiques.…
-
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 ? »
Illustration par DALL-E (+PJ)
Deux versions de ce texte :
Que démontrent les mathématiciens, et le font-ils d’une manière digne de ce nom ?, le 5 mars 2022
… -
L’IA remet-elle en cause l’identité humaine ?, par Pascal Charrier
Illustration par DALL-E (+PJ)
Le rejet par certains de l’IA ne viendrait-il pas du fait que celle-ci pourrait venir détrôner Homo Sapiens Sapiens du haut de sa pyramide de l’évolution ?
Qu’est-ce…
-
Les problèmes « insolubles » sont-ils apparentés aux problèmes « difficiles à résoudre » ?
Illustration par DALL-E (+PJ)
La sous-discipline dite « fondements des mathématiques » permet à des mathématiciens, logiciens, informaticiens et philosophes de s’interroger quant à la nature profonde de questions susceptibles de sembler non-problématiques aux…
-
ChatGPT : Qu’est-ce qui se passe de si spécial dans un transformer ?
Qu’est-ce qui se passe de si spécial dans le transformer d’un grand modèle de langage tel ChatGPT ?
Sebastien Bubeck (toutes mes excuses à lui pour avoir écorché son nom dans ma plus récente vidéo) explique cela très bien : la machine, contrairement à nous, ne succombe pas au biais inductif. Si dans…
-
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 domaine.…
-
Paul Jorion & Yu Li vs Gödel – Qu’en pense ChatGPT ?
Rappel :
En 1999, je propose à la revue L’Homme, une critique de la démonstration par Gödel de son fameux théorème d’incomplétude de l’arithmétique, où je relève de nombreuses faiblesses ainsi qu’une erreur due à un recours fautif à l’auto-référence. Mystérieusement, mon article est absent du numéro où il avait été programmé. Je n’aurai jamais…
-
P vs NP – Deuxième épisode, le 8 mars 2021 – Retranscription
Pour une raison X ou Y j’ai oublié à l’époque de mettre en ligne la retranscription de cette vidéo. Je la retrouve à l’occasion de la rédaction en ce moment de mes conclusions sur la conjecture P vs NP. Ce que je disais là n’exprimait pas par avance mes conclusions à venir…
-
Journée mondiale de la logique 2023 : Une initiative pour la relecture de l’article de Gödel de 1931, par Yu Li
Dans le message de Mme Audrey Azoulay, Directrice générale de l’UNESCO, à l’occasion de la création de la Journée mondiale de la logique le 14 janvier 2020 [1] :
– C’est pourquoi, pour attirer l’attention sur l’importance de la logique, l’UNESCO a proclamé le 14 janvier Journée mondiale de la logique. Cette date…
-
Vidéo – Mes vidéos : leur passé et leur avenir, le 21 novembre 2022
Faire bénéficier de mon expérience en finance, intelligence artificielle, psychanalyse, fondements des mathématiques.
-
Les propositions auto-référentes formulées en langage naturel sont-elles nécessairement « pathologiques » ?, par Jean-Paul Bentz
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…
-
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
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.
-
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)
-
Remarquables. #9 Paul Jorion (II) : théorie du chaos, économie, intelligence artificielle – Retranscription
Deuxième (sur 3) partie du podcast Remarquables. #9 Paul Jorion
Thomas Gauthier :
J’aimerais qu’on revienne un tout petit instant sur votre exemple du film « Contagion » et d’autres exemples que vous avez abordés également. En fait, ça me fait penser…