Disgustosi viandanti percorrono un viale piastrellato 'a la Penrose. Ma la piastrellatura è incompleta: presenta dei bachi che forse rappresentano le proposizioni indecidibili in senso gödeliano. (altro…)
L'indecidibilità in Matematica è data dall'esistenza di proposizioni indecidibili in un assegnato sistema formale, ossia proposizioni che non possono essere né dimostrate né confutate. (altro…)