archiveindecidibilità

Non esiste un solo tipo di infinito. Crediti immagine: Martin Fisch, Flickr MELTING POD – Gli infiniti non sono tutti...

MELTING POD – Certe affermazioni sono indecidibili, ormai l'abbiamo capito. Oggi andiamo oltre: un enunciato indecidibile ha un suo status di vero...

MELTING POD – I matematici non dormono tranquilli dal 1931, l'anno in cui Kurt Gödel dimostrò i suoi teoremi di incompletezza. Ecco che cosa...