Patrice Pissavin : Gödel et Hilbert. L impact des théorèmes de Gödel de 1931 et apparentés sur le programme de Hilbert

Contribution majeure à la philosophie des mathématiques du début du siècle précédent, le programme de Hilbert s’est heurté aux théorèmes d’incomplétude de Gödel. Le présent ouvrage est d’abord une […]

Continuer la lecture