*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
<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 ?)
