Le theoreme de godel

• Date de parution : 28/01/2011
• Editeur : Editions Universitaires Europeennes
• EAN : 9786131561658
• Série : (-)
• Support : Papier

• Nombre de pages : (-)
• Collection : (-)
• Genre : Lettres et linguistique
• Thème : Critiques et Essais de Lettres et linguistique
• Prix littéraire(s) : (-)

Le premier théorème d''incomplétude de Gödel affirme qu''une théorie mathématique permettant de faire de l''arithmétique contient nécessairement des énoncés indécidables, c''est-à-dire des énoncés que l''on ne peut ni prouver ni réfuter. Ce théorème a marqué l''histoire des mathématiques en... Voir plus

Le premier théorème d''incomplétude de Gödel affirme qu''une théorie mathématique permettant de faire de l''arithmétique contient nécessairement des énoncés indécidables, c''est-à-dire des énoncés que l''on ne peut ni prouver ni réfuter. Ce théorème a marqué l''histoire des mathématiques en mettant à jour une limitation de la science mathématique elle-même. Quel que soit le système d''axiomes choisi, nous savons désormais qu''il existe nécessairement des énoncés mathématiques dont la vérité est inaccessible. Cet ouvrage présente une démonstration, qui se veut aussi simple que possible, de ce théorème fondamental.