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


Commentaire de daqwqmp+coneu4

sur La renaissance du temps : pour en finir avec la crise de la physique ?


Voir l'intégralité des commentaires de cet article

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

Voir ce commentaire dans son contexte


Derniers commentaires




Palmarès