*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…
Retranscription de Qu’est-ce qu’une démonstration digne de ce nom ?, le 25 août 202. Bonjour, nous sommes le mercredi 25 août 2021 et, aujourd’hui, mon exposé s’intitulera : « Qu’est-ce qu’une démonstration digne de ce nom ? ». Si vous suivez un peu l’actualité de…
Retranscription de Qu’est-ce qu’une démonstration digne de ce nom ?, le 25 août 202.
Bonjour, nous sommes le mercredi 25 août 2021 et, aujourd’hui, mon exposé s’intitulera : « Qu’est-ce qu’une démonstration digne de ce nom ? ».
Si vous suivez un peu l’actualité de…
Les démonstrations par Gödel et Cook de leur théorème ne sont pas dignes de ce nom
Et si le programme de Hilbert tenait toujours ? (Et si Gödel, Church, Turing, Kleene avaient été de mauvaise foi ?)
Et si le programme de Hilbert tenait toujours ? (Et si Gödel, Church, Turing, Kleene avaient été de mauvaise foi ?)