Je voudrais tenter ici d’avancer quant au programme de Hilbert, et les questions qui en découlent : consistance, complétude et surtout la question de la décidabilité qui va se trouver liée à celle de calculabilité. Encore un fois, je m’excuse d’emblée de mes propres lacunes en mathématiques.
Paris, le 22/08/2011.