La communication que j’avais présentée au colloque UNILOG, le 9 avril 2022, disponible maintenant sur arXiv : What makes a demonstration worthy of the name?
😀
*Godot est mort !*
Unilog 2022 – Qu’est-ce qui rend une démonstration digne de ce nom ?, sur arXiv
2 réponses à “Unilog 2022 – Qu’est-ce qui rend une démonstration digne de ce nom ?, sur arXiv”
-
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/
-
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 XVIIe 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 !
Contact
Contactez Paul JorionCommentaires récents
Oui, faudra désormais prévoir de revêtir une tenue de combat avec trousse de survie pour s’aventurer sur la route des…
J’étais un peu appréhensif : j’avais peur que la violence de ma charge ne fasse froncer des sourcils et que…
Je ne sais si cet article; qui date du 19 aout, mais affiché aujourd’hui sur rezo, a été signalé ici…
Tant qu’à s’éloigner de la Dordogne… UNE BONNE nouvelle… (dès que le temps marin génois permettra. à la flottille d’une…
@konrad La langue française étant continuellement défigurée dans ces pages par des fautes d’orthographe ou de syntaxe, tout comme par…
@Lagarde Georges Oui, oui, mes remarques ci-dessus, si vous m’avez bien lue, concernent aussi la question de savoir ce que…
Je voulais dire : « je termine, pour compléter, avec la traduction de l’introduction et de la conclusion » du texte cité…
Illicitano, J’ai posé (en chinois) la question de savoir s’il existe des divergences en ce qui concerne ce projet parmi…
(MDP 19h10) Avec l’arme des visas, Trump s’aligne encore plus sur Nétanyahou Washington a décidé d’empêcher les dignitaires de l’Autorité…
Articles récents
- Vidéo – Vivent les vacances (4) Après l’éclaircie… l’ouragan !
- Unilog 2022 – Qu’est-ce qui rend une démonstration digne de ce nom ?, sur arXiv
- Vidéo – Vivent les vacances (3) Après la pluie, le beau temps !
- Vidéo – Vivent les vacances ! (2) Les anthropologues du XVIIIe siècle
- Vidéo – Vivent les vacances (1) Pollution !
Catégories
Archives
Tags
Allemagne Aristote BCE Bourse Brexit capitalisme ChatGPT Chine Coronavirus Covid-19 dette dette publique Donald Trump Emmanuel Macron Espagne Etats-Unis Europe extinction du genre humain FMI France Grands Modèles de Langage Grèce intelligence artificielle interdiction des paris sur les fluctuations de prix Italie Japon Joe Biden John Maynard Keynes Karl Marx LLM pandémie Portugal psychanalyse robotisation Royaume-Uni Russie réchauffement climatique Réfugiés Singularité spéculation Thomas Piketty Ukraine Vladimir Poutine zone euro « Le dernier qui s'en va éteint la lumière »
Laisser un commentaire