*Godot est mort !*
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…
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…
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 :…
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 :…
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…
Les démonstrations par Gödel et Cook de leur théorème ne sont pas dignes de ce nom