*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
<span data-mce-type="bookmark" style="display: inline-block; width: 0px; overflow: hidden; line-height: 0;" class="mce_SELRES_start"></span> Et si le programme de Hilbert tenait toujours ? (Et si Gödel, Church, Turing, Kleene avaient été de mauvaise foi ?)
<span data-mce-type="bookmark" style="display: inline-block; width: 0px; overflow: hidden; line-height: 0;" class="mce_SELRES_start"></span>
Et si le programme de Hilbert tenait toujours ? (Et si Gödel, Church, Turing, Kleene avaient été de mauvaise foi ?)
Retranscription de