Discussion fermée
Affichage des résultats 1 à 7 sur 7

Preuve ontologique de Gödel..



  1. #1
    Ptitseb

    Preuve ontologique de Gödel..


    ------

    Tout d'abord mes excuses si, ce message n'a pas sa palce ici mais j'avoue que je ne savais absolument pas dans quelle section de FS poster..

    Bref je recherche des infos sur lapreuve ontologique de Gödel.. Que dit elle? Qu'implique-t-elle?

    Si vous avez des infos ou des sites web ca m'intéresse!!
    (j'ai cherché sur google.. et .. rien )

    Merci

    -----

  2. Publicité
  3. #2
    erik

    Re : Preuve ontologique de Gödel..

    Salut à toi,

    Je pense que tu veux parler du théorème de Gödel (preuve ontologique ça me laisse perplexe, enfin bon peut importe).

    Gôdel à démontré que tout systeme formel suffisamment vaste il existe des indémontrables.

    Je développe un p'tit peu :
    Si je prend un systèmes d'axiomes (non contradictoires) muni des règles habituelles de déduction, le tout permettant au minimum de construire l'arithmétique, il va exister dans ce systeme des propositions qu'on ne peut ni démontrer ni infirmer.

    L'exemple le plus simple est la théorie des ensembles (ZFC zemerlo-Fraenkel avec l'axiome de choix), cette théorie (c'est en fait un ensemble d'axiomes et de regles, rien à voir avec une théorie en physique) permet de construire rigoureusement l'ensemble N des entiers naturels, Gödel nous apprend donc qu'il y'a à l'intérieur de cette théorie des propriétés dont il est impossible de démontrer qu'elles sont vrais ou fausses.
    Ainsi tu sais peut être qu'il existe au moins deux types d'infinis : l'infini des entiers, dénombrable et l'infini dit du continu (par exemple l'ensemble des réels) non dénombrable. Cantor a émis l'hypothèse qu'il n'y avait pas d'ensemble de cardinal strictement supérieur à N et strictement inférieur à R. Et bien, paf, cette proposition est une proposition indémontrable dans la théorie ZFC.

    Erik

  4. #3
    matthias

    Re : Preuve ontologique de Gödel..

    Si tu veux creuser le sujet, voici une très bonne lecture :
    "Le théorème Gödel" par Ernest Nagel/ James R.Newman, Kurt Gödel/ Jean-Yves Girard, collection Points Sciences.
    Je suis pas censé faire de pub mais bon, à lire absolument.

  5. #4
    C.B.

    Re : Preuve ontologique de Gödel..

    Plus précisément dans les théorèmes de Gödel on a :

    1) Toute théorie récursive contenant Q (une sous théorie de l'arithmétique de Péano) est incomplète.

    2) Si T est une théorie contenant ZF et que T est non contradictoire alors la théorie T à laquelle on ajoute la formule "T est inconsistante (i.e. n'a pas de modèle)" est consistante.

  6. #5
    bardamu

    Re : Preuve ontologique de Gödel..

    Salut,
    je pense que Ptitseb voulait parler de la preuve ontologique de l'existence de Dieu par Gödel. Ce serait plutôt pour le forum philo que math.
    Un aperçu ici : http://www.tribunes.com/tribune/alli...ifreddi_43.htm

    A noter que, outre Descartes et Leibniz, sa démonstration n'est pas sans rappeler Spinoza et son "dieu" comme pure positivité d'un Etre-Existence.

  7. A voir en vidéo sur Futura
  8. #6
    Ptitseb

    Re : Preuve ontologique de Gödel..

    Génial! Merci bardamu! Je note le lien.. je regarderais ca plus tard.. (pas le temps pendant la pause déjeuner!) Bref merci Et non désolé je ne parlais pas du théorême de Gödel (qui est trouvable beaucoup plus facilement via google! ) Merci en tout cas pour toutes les réponses!

  9. Publicité
  10. #7
    Yoyo
    coresponsable des forums

    Re : Preuve ontologique de Gödel..

    Vu la question, et son lieu, etant donné que la réponse a été donnée.
    Je ferme.
    YOyo

Discussions similaires

  1. théorème de Gödel
    Par treborliryc dans le forum Mathématiques du supérieur
    Réponses: 37
    Dernier message: 05/12/2009, 16h38
  2. TPE Gödel
    Par morgann dans le forum TPE / TIPE et autres travaux
    Réponses: 1
    Dernier message: 04/10/2005, 02h09
  3. L'Ambre : premier transport paléontologique chez la fourmi !
    Par RSSBot dans le forum Commentez les actus, dossiers et définitions
    Réponses: 2
    Dernier message: 14/09/2005, 14h57
  4. L'Ambre : Le premier transport paléontologique chez la fourmi !
    Par RSSBot dans le forum Commentez les actus, dossiers et définitions
    Réponses: 0
    Dernier message: 03/08/2005, 09h19
  5. Theorème de Gödel
    Par Fufu dans le forum Mathématiques du supérieur
    Réponses: 2
    Dernier message: 23/04/2004, 11h14