-
Le recrutement informatique teste ce que l’IA restitue aussi bien que l’homme, par Jean-Baptiste Auxiètre
Illustration par ChatGPT L’aptitude à la logique prévaut aujourd’hui sur la connaissance des mots clés des langages informatiques (mémoire) – mais celle-ci n’est pas testée chez les candidats Un paradoxe traverse aujourd’hui le recrutement informatique. Les grands modèles de langage ont rendu triviale la restitution des syntaxes, des signatures d’API, des noms de fonctions, bref…
-
C’est quoi une preuve digne de ce nom ?
-
Unilog 2022 – Qu’est-ce qui rend une démonstration digne de ce nom ?, sur arXiv
-
UN NOUVEAU « NOUS » POUR DES TEMPS NOUVEAUX. XI. Pourquoi avons-nous été pris au dépourvu par l’IA ?
Portrait de Tycho Brahé, Astrologue royal du Danemark, par Stable Diffusion Pourquoi avons-nous été pris au dépourvu par l’IA ? Bien que l’intelligence artificielle soit un domaine de recherche depuis les années 1950, que la réalisation de logiciels du type des Grands Modèles de Langage (LLM) ait été un objectif clairement énoncé dès le départ et…
-
Vidéo – Gödel’s legerdemain. The demonstration of his incompleteness of arithmetic theorem betrays his contempt for his fellow mathematicians
-
« … la logique appartient – avec la syntaxe – à la catégorie des comportements de type « règle » qui émergeront de l’auto-organisation dans un système connexionniste, même s’il opère au niveau symbolique… (P. J. 1990)
Illustration par DALL·E (+PJ) Paul Jorion, An alternative neural network representation for conceptual knowledge, paper presented at the British Telecom CONNEX Conference, Martlesham Heath, January 1990 (l’article a été mis en ligne en 1997 sur le serveur de l’Université de Californie à Irvine où j’étais à l’époque « Regents’ Lecturer » ; il est resté disponible en…
-
Vidéo – Thought as Word Dynamics #17 – What is Objective Reality?
-
Vidéo – Thought as Word Dynamics #15 – Taking the best from East and West
-
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 praticiens de ces quatre disciplines envisagées séparément mais qui apparaissent rapidement opaques quand leurs points de vue sont rapprochés, les présupposés de chacun…
-
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. Bien qu’il y…
-
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…
-
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é…
-
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…
-
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…