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

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.