Li dimostra il matematico

Curiosità su Li dimostra il matematico: Gödel enunciò il suo primo teorema di incompletezza in una tavola rotonda a margine della Seconda Conferenza sull'Epistemologia delle Scienze esatte di Königsberg. In logica matematica, i teoremi di incompletezza di Gödel sono due famosi teoremi dimostrati da Kurt Gödel nel 1930. John von Neumann, presente alla discussione, riuscì a dimostrare il teorema per conto suo verso la fine del 1930 e, inoltre, fornì una dimostrazione del secondo teorema di incompletezza, che annunciò a Gödel in una lettera datata 20 novembre 1930.