Godel
Répondre à la discussion
Affichage des résultats 1 à 3 sur 3

Godel



  1. #1
    invite815104ed

    Arrow Godel


    ------

    Pour tout ceux qui ne connaitraient pas Godel (comme moi il y encore 5mins), je vous conseille vivement ce site:http://membres.lycos.fr/godel/

    -----

  2. #2
    invite4e5046fc

    Thumbs up Re : Godel

    Merci; merci bien..

  3. #3
    inviteb1bc40d0

    Re : Godel

    Une précision qd même: ces théorèmes s'appliquent à l'arithmétique formelle.
    En gros, si on construit un système formel suffisament puissant pour décrire l'arithmétique, celui contiendra nécesairement soit une contradiction, soit une incomplétude (oméga-incomplétude).
    Dans ton système formel, qq soit n tu pourras démontrer une propriété P(n), mais tu ne pourra pas montrer la propriété "qq soit n P(n) vrai ! Tu pourras même supposer que cette dernière est fausse sans tomber sur des contradictions!

    Tu lire aussi le bouquin "Gödel, Escher et Bach" où tu trouvera une démonstration (vulgarisée, mais en plusieurs dizaines de pages qd même) des 2 théorèmes de Gödel.