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