Théorème de compacité

Je ne connais pas la réponse, mais c'est une question d'histoire des maths. Peut-être auras-tu plus de chances de la recevoir dans cette rubrique (ça dépend comment les intervenants règlent leur forum personnalisé, moi c'est sur "messages récents", mais pas sûr que tout le monde fasse pareil, en particulier les historiens)?

Tu peux aussi mettre un fil d'une ligne dans "histoire" qui renvoie un lien vers le présent, comme ça tu tapes 2 rubriques ;-)

@sasaki93 : Je n'ai pas suivi la conférence dont tu parles, mais j'ai suivi un cours de Gabriel Sabbagh, dans lequel il nous a effectivement indiqué que Gödel n'en avait pas grand-chose à faire de la théorie des modèles... et cela m'a été confirmé au second trimestre par Alain Louveau, qui faisait un cours de "théorie des ensembles et théorie descriptive".
Cela est d'autant plus surprenant que, sauf preuve du contraire, c'est quand même Gödel qui a démontré l'équivalence entre la syntaxe et la sémantique... sans parler de sa construction du modèle des constructibles pour prouver la non-contradiction de HC.
(Bon, je crois que depuis il y a des gens qui ont donné une preuve syntaxique de ce genre de trucs, style "à partir d'une démonstration de 0=1 dans ZFC + HC, on fabrique une démonstration de 0=1 dans ZFC etc", mais je ne suis pas sûr de mon fait. Christophe confirmera ou infirmera).