| |
Par Sylvain (Administrateur), le jeudi 28 septembre 2006 Thu 11h33.
[Répondre à ce fil de discussion] |
Ben non on ne peut pas tout demontrer: le theoreme de Godel enseigne qu'il y a des verites non demontrables.
D'autre part en pratique, il peut y avoir des choses dont on est temoins mais qu'on ne peut pas demontrer aux autres.
D'un autre cote, il est bon d'essayer de baser ses conceptions sur des demonstrations lorsque c'est possible. Il y a du bon travail a faire a developper des definitions, demonstrations et verifications plus completes de choses qui n'etaient pas claires avant. |
|