Un énoncé du théorème de Gödel
[ Follow Ups ] [ Post Followup ] [ debord of directors ] [ FAQ ]
Posted by on April 05, 2001 at 06:10:26 AM EDT:
In Reply to: Bavard macaronique : tu essayes de noyer le poisson. posted by on April 04, 2001 at 04:40:33 PM EDT:
Un énoncé du théorème d'incomplétude
par Yann Ollivier de l'ENS.
Un énoncé du théorème de Gödel est le suivant : pour tout système formel S contenant le langage de l'arithmétique, il existe une proposition G indémontrable dans S (sauf si S est contradictoire, auquel cas il démontre n'importe quoi).
Il y a une restriction supplémentaire : le système doit être récursif, c'est-à-dire, en gros, qu'on doit pouvoir reconnaître les axiomes par un programme.
Follow Ups:
Post a Followup