Qui est l'auteur du ''théorème de Gödel'' ?
C'est Kurt Gödel, né à Brrno, ignare !
Lui : ''Les systèmes formels sont indécidables''.
Mais qu'est-ce qu'il veut dire ?
Mon frère : ''maitresse, vous ne démontrez pas
que un plus un égal deux...''
Un système formel est conçu à l'aide de règles
sans contradictions comme les théories mathématiques.
L'idée de Kurt est qu'un système ne peut faire sa propre
preuve,
c'est-à-dire, de prouver, par ses propres règles que
tout ce qu'il contient est vrai.
Que penser des 2 affirmations ?
- mon père est un menteur
- lui répond : ma fille dit toujours la vérité.