Cet émission a été classée comme "Clean" par le producteur.
- W.V.O. Quine et la philosophie analytique:La vision des logiciens américains d'appliquer des structures logiques rigoureuses pour organiser et clarifier les domaines de la compréhension humaine. Référence: Quine, W.V.O. (1951). Two Dogmas of Empiricism, The Philosophical Review, 60(1), 20-43; Stanford Encyclopedia of Philosophy:Entrée sur Quine : https://plato.stanford.edu/entries/quine/
- Kurt Godel et les Théorèmes d'Incomplétude :Limites fondamentaux en logique formelle, où les systèmes cohérents contiennent des énoncés vrais qui ne peuvent pas être prouvés. Référence : Godel, Kurt (1931). Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme, I; Stanford Encyclopedia of Philosophy:https://plato.stanford.edu/entries/goedel/
- Le paradoxe de Russell et la logique formelle :La quête historique des fondements logiques des mathématiques et les contradictions exposées par des paradoxes tels que le paradoxe du barbier. Référence : Russell, Bertrand, et Alfred North Whitehead (1910–1913). Principia Mathematica, Cambridge University Press; Stanford Encyclopedia of Philosophy:https://plato.stanford.edu/entries/russell-paradox/
- Arbres syntaxiques abstraits (AST) :Structures de données arborescentes hiérarchiques utilisées par les outils d'analyse statique pour décomposer, analyser et évaluer le code source informatique complexe. Référence : Article Wikipédia :https://en.wikipedia.org/wiki/Abstract_syntax_tree
- Spécifications formelles et vérification logicielle :Utilisation de preuves mathématiques pour vérifier la correction du programme à partir des principes fondamentaux, sans se fier uniquement aux tests d'exécution empiriques. Référence : Woodcock, Jim, et al. (2009). Formal Methods: Practice and Experience, ACM Computing Surveys, 41(4).
- Systèmes déterministes vs. Grands modèles de langage :La division architecturale entre les moteurs de logique déterministes basés sur des règles et les réseaux neuronaux non déterministes basés sur des données.
- Steven Wolfram et l'irréductibilité computationnelle :Les limites de la prédictibilité dans les systèmes computationnels complexes et les efforts pour cartographier les règles universelles de la connaissance. Référence : Wolfram, Stephen (2002). A New Kind of Science, Wolfram Media ; Ressource Wolfram Language :https://www.wolfram.com/language/anks/