le probleme c’est de crée la régle absurde avec les regles dans le systeme de Godel
KOubiak
[quote]Godel c’est le proposition que dans tout systeme axiomatique, il existe des propositions vraies indemontrables.[/quote] Pas tout a fait, il manque l’hypothese de consistance (le fait qu’on ne puisse pas demontrer une chose et son contraire). Le theoreme de Godel, tel qu’il l’a formule en 1931, est juste une implication : pour tout systeme formel suffisament complexe, la consistance entraine l’incompletude.
Sinon Godel, Escher, Bach, c’est pas le gros botin ? Jamais eu le courage de lire ce truc.
la différence entre vous et moi, c’est que j’ai une fonction interne pour oublier ces machins après l’examen… et je me rappelle m’être dit “oh put… le prof aurait pu être un vrai sadique en posant ses questions sur cette matière”