La più grande scoperta del ventesimo secolo forse non è la bomba atomica o la penicillina o la radio o il computer, ma il teorema di Gödel, che dimostra come un sistema logico non può contenere in se stesso il suo ubi consistam. Sarà anche la scoperta dell’acqua calda, però bisognava dimostrarla perché le migliori menti dell’umanità smettessero di avvolgersi nei circoli viziosi.