Un petit modèle peut-il comprendre les ensembles infinis ?
Le théorème de Löwenheim-Skolem montre que les théories infinies ont des modèles dénombrables. Cela crée un paradoxe où de petits modèles 'comprennent' de vastes infinis. Cela remet en question notre vision de la vérité mathématique.
Le théorème de Löwenheim-Skolem révèle une vérité étonnante. Toute théorie mathématique décrivant des structures infinies, comme les nombres réels, a aussi un modèle plus petit et dénombrable. Cela signifie que même les théories prouvant l'existence d'ensembles indénombrables peuvent être représentées. Leurs modèles sont, d'un point de vue extérieur, dénombrables. Cela mène au paradoxe de Skolem. Comment un modèle dénombrable peut-il 'connaître' des infinis indénombrables ? La réponse réside dans la relativité. Ce qui est indénombrable à l'intérieur du modèle apparaît dénombrable à l'extérieur. Cela montre que la vérité mathématique peut être relative au modèle. Cela remet en question nos notions absolues de taille et d'infini.