Blog de Paul Jorion

3 réponses à « Unilog 2022 – Qu’est-ce qui rend une démonstration digne de ce nom ?, sur arXiv »

1. 

   Chabian

   02 septembre 2025 19h00

   Je ne sais si cet article; qui date du 19 aout, mais affiché aujourd’hui sur rezo, a été signalé ici : https://madeinperpignan.com/pyrenees-orientales-coulisses-wikipedia-intelligence-artificielle-guerre-sources/

   Répondre
2. 

   Paul Jorion

   02 septembre 2025 19h28

   J’étais un peu appréhensif : j’avais peur que la violence de ma charge ne fasse froncer des sourcils et que – en dépit du parrainage que l’un de vous a su m’assurer (merci !) – l’accès à la publication me soit barré. Car c’est bien la manière dont les mathématiciens conçoivent les mathématiques depuis le XVII^e siècle que je remets en cause… et en m’en prenant à la manière dont concevaient les mathématiques des vedettes aussi incontestées du domaine que Kurt Gödel et Alan Turing … que j’accuse de naïveté en la matière .

   24 heures plus tard, je suis toujours en vie … il y a un donc bien un dieu pour les innocents .

   Ce qui m’encourage bien sûr à m’enhardir. Priez pour mon âme !

   Répondre
3. 

   Khanard

   02 septembre 2025 21h22

   Quand j’ai vu que l’objet du billet était une publication arXiv j’ai tout de suite pensé : oh là là ça va être imbuvable , rébarbatif voire soporifique .

   Et bien non ! j’ai été agréablement surpris par la fluidité de l’article, Tout à fait accessible il donne envie d’approfondir certains aspects .
   Des articles scientifiques, philosophiques comme on aimerait pouvoir en lire plus fréquemment .

   Bravo ! 👏👏👏👏👏👏👏👏
   🙏🙏

   Répondre

Ce site utilise Akismet pour réduire les indésirables. En savoir plus sur la façon dont les données de vos commentaires sont traitées.