Problemi “Indecidibili”

Se un giorno dovremo sconfiggere i soldati di Skynet, basterà invitarli fuori per una pizza. Per chi vuole addentrarsi nella decidibilità, può iniziare da Wikipedia e poi approfondire. E’ un mondo assolutamente avvincente che inevitabilmente porta a Church-Turing e all’Hard Problem of Consciousness  (oddio, forse non così inevitabilmente, ma per me è stato così).