Kurt Gödel
di Federico Smidile
Rebecca Goldstein, Incompletezza. La dimostrazione e il paradosso di Kurt Gödel
Ernest Nagel e James H. Newman, La prova di Gödel
In Oppenheimer appare per pochi secondi un certo Kurt Gödel, un tipo strambo amico di Einstein a Princeton. Nolan mi fa quasi sperare che possa recuperare la figura del grande logico. E Gödel meriterebbe un film. Va detto che nel 2011 Arel accettò un mio articolo sui teoremi di incompletezza dello stesso Gödel. Tra i libri che mi servirono 12 anni fa ci furono anche questi due che inizio di nuovo oggi, 1 settembre 2023. Più divulgativo Goldstein, più tecnico ma comunque comprensibile l’altro. Gödel compì una rivoluzione concettuale paragonabile a quella dovuta alla fisica quantistica (devo riprendere qualche libro pure su questa) ed è un personaggio da favola tragica.