Primo annuncio pubblico del teorema di incompletezza di Gödel che dimostra che qualsiasi sistema che permette di definire i numeri naturali è necessariamente incompleto o contraddittorio: esso contiene affermazioni di cui non si può dimostrare né la verità né la falsità, oppure affermazioni contraddittorie fra loro. Avra’ anche un’altra interpretazione esprimibile nel contesto informatico.
Ma la prima enunciazione pubblica non andra’ bene, e “solo” von Neumann ne capisce le implicazioni…:
https://cronologia-universale.it/7-settembre-1930/
https://cronologia-universale.it/?s=godel
Image credit: Alfred Eisenstaedt/ LIFE Picture Coll./Getty