[¯|¯] L'ineffabile leggerezza dell'indecidibilità

sabato, Febbraio 2nd, 2019

matematico,sogno,gödel,hilbert,branduardi
.

In soldoni: se io dico "Tizio sta mentendo", tale enunciato può essere verificato o confutato. Nel primo caso, Tizio è un bugiardo, nel secondo, non è un bugiardo. Ma se dico: "io sto mentendo", ne consegue che io sto dicendo la verità se e solo se dico una bugia.

(altro…)



Posted in Logica Matematica | No Comments »