Aritmetica di Robinson
I teoremi di Gödel vi sembrano troppo complicati? Eccovi un modo molto semplice per trovare una proposizione indecidibile secondo certe regole aritmetiche. Continue reading
backup del Post
Uno dei blog di .mau.
Tag Archives: logica matematica
Logica e paragnostica
A quanto pare, per risolvere alcuni quiz di logica non basta solo la logica, ma bisogna inferire affermazioni che non sono indicate nel testo Continue reading