• AgoraVox sur Twitter
  • RSS
  • Agoravox TV
  • Agoravox Mobile


En réponse à :

daqwqmp+coneu4 14 mai 2014 19:59

au cas où (moinssage non-justifié) : la suggestion est un conseil de la part d’un part d’un lecteur intéressé par le sujet, mais qui, faute de temps, a du mal à recevoir l’essence de l’article. comme il me semble que le but principal pour l’auteur est d’être lu/de partager de l’information, cela me paraît utile de le signaler. ça n’engage que moi.

la question est quant-à elle tout à fait sérieuse.
de façon grossière, les résultats d’incomplétudes statuent :

  1. dans toute théorie « aussi puissante que l’arithmétique », il est possible de construire des énnoncés qui ne peuvent être ni prouvés ni réfutés.
  2. la cohérence d’une théorie « aussi puissante que l’arithmétique » n’est pas démontrable dans cette même théorie.

plus précisemment, la notion de « aussi puissante que l’arithmétique » renvoyant aux théories

  1. récursivement axiomatisable (il est possible de calculer (tous) les énoncés de la théorie, sous entendu de façon « mécanique »)
  2. cohérente (pas possible de construire d’énnoncés contradictoires)
  3. suffisamment puissante pour représenter l’arithmétique (représenter les nombres entiers et les additionner, donc multiplier, et les comparer).
Répondre Signaler un abus Lien permanent

Ajouter une réaction

Pour réagir, identifiez-vous avec votre login / mot de passe, en haut à droite de cette page

Si vous n'avez pas de login / mot de passe, vous devez vous inscrire ici.


FAIRE UN DON


Palmarès