Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN Valid HTML 4.01 Transitional
Auteur(s) : Lehning Hervé

Titre : Bibliothèque Tangente. Num. 61. Kurt Gödel et l'indécidabilité. p. 70-73.

Editeur : Editions Pôle Paris, 2017 Collection : Bibliothèque Tangente Num. 61
Format : 17 cm x 24 cm, p. 70-73 ISBN : 2-8488-4213-X EAN : 9782848842134  ISSN : 2263-4908

Type : chapitre d'un ouvrage Langue : Français Support : papier

Public visé : élève ou étudiant, enseignant, tout public Niveau Niveau scolaire visé par l'article : lycée, 2de, 1ère, terminale, licence Age : 15, 16, 17, 18, 19

Classification : A34Revues, article de revue A35Revues, article de revue A38Revues, article de revue E64Ensembles. Relations. Théorie des ensembles E65Ensembles. Relations. Théorie des ensembles E68Ensembles. Relations. Théorie des ensembles 

Résumé :

En mathématiques, "vrai" et "prouable" semblent se confondre. Même s'il existe de nombreuses conjectures probablement vraies mais non prouvées : on pense ordinairement que la preuve existe mais que personne ne la encore mise à jour. Pourtant Kürt Gödel a montré qu'il n'en était rien. L'auteur de cet article présente ce problème fondamental d'autoréférence.

Notes :
Cet article est publié sous la rubrique "Savoirs". Il fait partie du dossier : Opérations, structures, nombres dans Bibliothèque Tangente n° 61 - Les ensembles.

Mots clés :


© ADIREM-APMEP -2003- ISSN 1292-8054 Mise à jour 24/02/2018
Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN