Demonstration de completude

[Anonyme]

Bonjour,

Je recherche une petite demo de la completude de l'arithmetique.

Quelqu'un pour me donner des liens/la derivation ?


Merci.

[Anonyme]

"Albert Cottier" a écrit dans le message de
news:Xns9508B5D53D4CElaakvionlolm@130.133.1.4...
>
>
> Bonjour,
>
> Je recherche une petite demo de la completude de l'arithmetique.
>
> Quelqu'un pour me donner des liens/la derivation ?
>
>
> Merci.
>
>
> Complétude ? Dans quel sens ?

[Anonyme]

Le 14 Jun 2004 15:49:08 GMT, Albert Cottier à écrit
>
>
>Bonjour,
>
>Je recherche une petite demo de la completude de l'arithmetique.
>
>Quelqu'un pour me donner des liens/la derivation ?
>
>
>Merci.
>
>
>
Le mieux est d'aller dans une BU et de chercher les bouquins se
rapportant aux théorèmes d'incomplétude de Gödel.

A Lille j'avais consulté le René Cori "logique mathématique" je crois
que ça s'appelait. Il me semble qu'il y a aussi une preuve accessible
dans un Smullyan dont je ne me rapelle plus le titre.

Mais il doit y en avoir d'autres à différents niveaux d'accessibilité,
et la théorie des ensemble peut vite se réveler ardue...
A chercher plutôt du côté du rayon "logique" que dans le rayon
"arithmétique".



--
zwim.
Rien n'est impossible que la mesure de la volonté humaine...