Pourquoi invoquer toujours Gödel pour faire peur aux enfants ?

[Médiat]

En gros, tu dis qu'un système qui n'est pas récursivement axiomatisable ne peut pas être manipulable par un humain.

C'est un peu sur le même modèle que la thèse de Church Turing ; si j'ai un ensemble d'axiomes non récursif, par exemple les énoncés du premier ordre vrais dans , je (en tant qu'être humain) ne peut même pas lister tous ces axiomes (qui sont tous les théorèmes de l'arithmétique).

Je comprends un peu l'idée qui est derrière, de dire qu'en tout cas, si on continue à ajouter les axiomes uns à uns comme on le fait, on obtiendra toujours des théories incomplètes.

Oui, parce qu'en ajoutant unitairement des axiomes, ou même des schéma d'axiomes, on reste récursif.

Mais je comprends la différence entre récursivement axiomatisable et non-récursivement axiomatisable comme analogue entre un ensemble dénombrable et non-dénombrable

C'est plus compliqué que cela, d'ailleurs on peut très bien envisager un ensemble d'axiomes récursif et de cardinal non dénombrable (et même très très grand).
par exemple une théorie de l'égalité pure avec symboles de constantes , et les axiomes pour tout et pour tout : , théorie dont les modèles sont les ensembles de cardinal supérieur ou égal à (c'est pourquoi dans le théorème de Löwenheim Skolem, la borne inférieure pour le cardinal d'un modèle infini est (le cardinal du langage).

étant donné qu'il est possible de construire un ensemble non-dénombrable comme la fermeture d'un ensemble dénombrable et de manipuler cet ensemble de façon a peu près efficace (cfr R ),

Ce n'est pas le cas tous les ensembles non dénombrables, et les constructions qui permettent de passer du dénombrable au non-dénombrable ne sont, généralement, pas du premier ordre.

est t'il possible de donner procéder à une manip' similaire avec des ensembles d'axiomes ?

Pas que je sache ; il est possible de munir l'ensemble des théories complètes sur un certain langage d'une structure topologique, mais sur les ensembles quelconques axiomes, je ne sais pas (mais j'ai peu d'espoir que cela aille dans le sens que tu décris, car je ne vois pas (en tout cas, pas immédiatement) comment traduire topologiquement la récursivité d'un ensemble d'axiomes, il faudrait peut-être y réfléchir )


En espérant avoir éclairé un peu le débat, n'hésite pas à continuer ...

[invité576543]

par exemple une théorie de l'égalité pure avec symboles de constantes , et les axiomes pour tout et pour tout :

On peut l'envisager, l'imaginer. Mais que peut-on en faire de plus? Comment des humains pourraient-ils en utiliser plus qu'une partie dénombrable, la faire passer d'une potentialité virtuelle non dénombrable à quelque chose de pratique non dénombrable?

A quel sens pourrait-on dire que cette théorie est "manipulable par un humain" alors qu'on peut prédire que ne sera manipulée qu'au plus une partie dénombrable des symboles de constantes?

Cordialement,

[invitea691f20f]

en lisant ces trucs d'axiomatique ,de logique je me sens "husserl au monde " ...

excusez moi d'être terre à terre ,ça débouche sur quoi comme application Gödel ?

[Médiat]

en lisant ces trucs d'axiomatique ,de logique je me sens "husserl au monde " ...

Comme je le signalais dans mon premier post, Μηδείς Αγεωμέτρητος Εισίτω, même si je trouve ce vieux Platon un peu excessif, il vaut mieux se renseigner que se lamenter

excusez moi d'être terre à terre ,ça débouche sur quoi comme application Gödel ?

Cela évite de perdre son temps.

[A voir en vidéo sur Futura]

[Médiat]

C'est plus compliqué que cela, d'ailleurs on peut très bien envisager un ensemble d'axiomes récursif et de cardinal non dénombrable (et même très très grand).

Ooops, j'ai écrit un peu vite, un ensemble récursif étant un ensemble d'entiers, la phrase ci-dessus est manifestement fausse, je voulais en fait parler de théories non dénombrables et cependant "manipulables", définissables et compréhensibles, et l'exemple qui suit est correct de ce point de vue. De plus si quelqu'un exhibe un énoncé du langage considéré, il est très facile de savoir s'il s'agit d'un axiome ou non.


Par contre cela ne répond pas complètement à la question de Ising :

Mais je comprends la différence entre récursivement axiomatisable et non-récursivement axiomatisable comme analogue entre un ensemble dénombrable et non-dénombrable

Je crois que je commence à comprendre cette analogie, en effet la différence entre dénombrable et non-dénombrable est que l'on peut dire qu'il existe une bijection entre IN et un ensemble dénombrable, alors qu'il n'en existe pas entre IN et un ensemble non dénombrable.

La différence entre un ensemble dénombrable récursif et un ensemble dénombrable non récursif, c'est que dans le premier cas on peut calculer cette bijection, pas dans le deuxième, alors qu'elle existe.

[invité576543]

je voulais en fait parler de théories non dénombrables et cependant "manipulables", définissables et compréhensibles, et l'exemple qui suit est correct de ce point de vue. De plus si quelqu'un exhibe un énoncé du langage considéré, il est très facile de savoir s'il s'agit d'un axiome ou non.

Je n'arrive pas à comprendre par quelle méthode pratique je pourrais exhiber un énoncé du langage considéré en toute liberté.

Je vois bien le cas où on me décrit au préalable un sous-langage dénombrable, que j'utilise alors pour former l'énoncé. Mais cela limite fortement ma liberté sur les énoncés que je pourrais exhiber, il me semble.

Et je ne vois pas comment augmenter cette liberté.

Alors qu'avec un langage dénombrable, j'ai l'impression que je pourrais exhiber tout énoncé grammaticalement acceptable.

Si ce que j'écris au-dessus à un sens, j'aurais vu là une différence importante quand aux possibilités pour les humains de manipuler la théorie.

Cordialement,