Citazione Originariamente Scritto da Su Malloru Visualizza Messaggio
e se dicessi "questa proposizione è falsa", starei dicendo la verita?


Questa proposizione è indecidibile
E' una questione di linguaggio e metalinguaggio che Bertrand Russel risolse con la famosa "Teoria dei Tipi".
Il famoso Paradosso del Mentitore, enunciato da voi, è un problema alla base della logica e della matematica moderne.
Su di esso è fondato il principio del Teorema di Godel, cioè del teorema dell'incompletezza dei sistemi formali.