-
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 : il s’agissait d’une réflexion en cours mais elle me semble toujours refléter en gros des choses que je pense encore aujourd’hui.
Nous sommes le 8 mars 2021 et ce sera probablement une vidéo à diffusion restreinte parce que la dernière fois que j’ai parlé de ce genre de choses sur mon blog, il y a quelqu’un qui a dit : « Ah, vous n’y comprenez rien.… Lire la suite…
-
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 a été choisie en l’honneur de deux grands logiciens du vingtième siècle : Kurt Gödel et Alfred Tarski. Gödel, décédé le 14 janvier 1978, a démontré le théorème d’incomplétude qui a transformé l’étude de la logique au vingtième siècle. Tarski, né le 14 janvier 1901, a développé des théories qui ont interagi avec celles de Gödel.… Lire la suite…
-
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.… Lire la suite…
-
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 exemple de telles propositions. Je précise ici les exigences que je mets dans cette absence de « pathologie ».
Par exemple, il n’est pas contestable que l’assertion auto-référente : « la présente phrase est formée de 46 caractères » est vraie, chaque espace étant compté pour un caractère.
Le sens de cette phrase Phi peut s’écrire symboliquement Nbcar(Script(Phi))=46, où Nbcar désigne la fonction « Nombre de caractères de », et où Script désigne la fonction « Forme écrite de ».… Lire la suite…
-
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.
Comme l’étude des machines à mouvement perpétuel, l’étude de cette démonstration est typiquement abordée selon deux approches différentes : (1) l’approche synthétique, paresseuse et intuitive qui, tout simplement, « ne parvient pas » à l’accepter, et (2) l’approche analytique, courageuse et rigoureuse, qui consiste à l’étudier en détail mais qui, le plus souvent au moins, n’y décèle aucune faille.… Lire la suite…
-
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)
Pour ce qui est de ma propre opinion sur le sujet des formules qui « parlent d’elles-mêmes », vous la trouverez dans Comment la vérité et la réalité furent inventées (Gallimard 2009). J’ai reproduit récemment ici sur le blog le passage du livre qui s’intéresse spécifiquement aux propositions auto-référentielles.
Druuh :
Vous me demandiez d’expliciter cette fameuse formule qui dit d’elle même qu’elle n’est pas démontrable dans Peano. Je vais le faire et j’espère bien vous convaincre qu’il s’agit d’une vraie formule et non d’une illusion. Veuillez accepter de procéder en plusieurs étapes, en validant chaque étape avant de passer à la suivante afin de bien s’assurer qu’il n’y ait pas de malentendus.… Lire la suite…
-
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 à toute la réflexion, je crois, de Bergson sur la dichotomie entre le réel et le possible. Il me paraît extrêmement difficile de faire pleinement prendre conscience à des dirigeants notamment de la possibilité de différents futurs. La prospective, elle est là a priori pour produire différents futurs, pour s’en servir ensuite de trame de fond qui permette de comprendre autrement le présent mais croire en un possible ne paraît envisageable qu’une fois que ce possible est devenu réel et Bergson nous dit : « Le réel, en fait, précède le possible.… Lire la suite…
-
Vidéo – P vs. NP : problèmes solubles et insolubles
Le monde physique n’est pas entièrement réductible à sa modélisation mathématique… Lire la suite…
-
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 … Lire la suite…
-
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… Lire la suite…
-
Vidéo – Et pendant ce temps-là… P vs. NP
Me faire comprendre, même des …. mathématiciens… Lire la suite…
-
La plus extraordinaire de mes vidéos, le 21 février 2022 – Retranscription
Retranscription de La plus extraordinaire de mes vidéos, le 21 février 2022
Bonjour, nous sommes le lundi 21 février 2022 et j’appellerai cette vidéo : « La plus extraordinaire des vidéos que j’ai faites » ou quelque chose comme ça. Bon, vous allez voir pourquoi, vous n’allez pas être déçus et si vous vous êtes un jour posé la question : « Est-ce que Paul Jorion est complètement fou ? », je vais vous offrir aujourd’hui les éléments pour vous faire une opinion. Et pourtant, je vais vous parler de la même chose que d’habitude, je vais vous parler de l’actualité tragique : je vais vous parler de l’Ukraine, je vais vous parler de la Bourse, je vais vous parler de finance.… Lire la suite…
-
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… Lire la suite…
-
Vidéo – La plus extraordinaire de mes vidéos
Actualité de la Bourse – Risque de guerre en Ukraine
Un test des vues de Stephen WolframP.S. Je mélange allègrement 1990 et 1910, 1994 et 1914 et, le plus fort, c’est que quand je réécoute la vidéo avant de la mettre en ligne, je ne l’entends absolument pas 😉 .
Je réponds à un correspondant : « Oui ce sont des lapsus à répétition, dont l’interprétation est malheureusement … à la portée de tous 😉 ! »… Lire la suite…
-
Chine / Occident : deux manières d’appréhender le monde, le 1er mai 2021 – Retranscription
Retranscription de Chine / Occident : deux manières d’appréhender le monde, le 1er mai 2021. Bonjour, nous sommes le samedi 1er…
Vous devez être connecté pour lire le contenu complet de l’article. Vous pouvez vous abonner ici… Lire la suite…