(juste en trois mots : en fait, pour Gödel, je l'avais un peu mis de côté parce que les probabilités ne sont pas gênées apparemment si au lieu de prendre des tribus (sigma-algèbres) on ne prend que des sigma-anneaux : la différence entre les deux, c'est qu'on ne suppose plus cet ensemble stable par passage au complémentaire, mais juste par différence entre ensembles, c-à-d. A \ B si A et B sont supposés dans le sigma-anneau. Et pour construire les énoncés qui posent problème avec Gödel, il faut supposer que les ensembles de propositions manipulés sont stables par la négation.
Mais regarder "sous le capot" de toutes ces théories pour vérifier, c'est un peu "gros" pour moi. Je garde juste un oeil attentif au cas où je croiserais un contre-exemple un jour... )
ps : merci pour les liens.
Partager