-
GENESIS IV. La machine vitalisée
Illustration par ChatGPT Voici le deuxième volet de la démonstration de complétude : comment la spirale téléodynamique opère une métamorphose de la machine de Turing en remplaçant la rigidité du calcul par la plasticité du vivant. Dans la machine de Turing, tout est séparation : – le ruban est un support inerte ; – la…
-
GENESIS III. Une machine de Turing vitalisée
Illustration par ChatGPT A. Version philosophique Quand Alan Turing rédige sa thèse en 1936, il cherche à répondre à une question qui, depuis Gödel (1931), hante les mathématiciens : toute vérité peut-elle être démontrée ? Gödel croyait avoir démontré que non : dans tout système formel suffisamment puissant pour rendre compte de l’arithmétique, il existerait…
-
XXVe Congrès Mondial de Philosophie : « Un réexamen du théorème d’incomplétude de Gödel » : Yu Li
Si vous suivez les activités de mon blog vous n’ignorez pas que Yu Li et moi collaborons depuis quelques années sur des questions liées aux fondements des mathématiques. Yu Li est professeur d’informatique à l’Université de Picardie, elle a mis sur pied une table-ronde qui se déroulera à Rome en août 2024 dans le cadre…
-
Vidéo – Qu’est-ce qu’une démonstration digne de ce nom ?