Utente:Lutherigo/Laboratorio/Kurt Gödel: differenze tra le versioni

{{dialogo|Kurt Gödel|I miei teoremi di incompletezza affermano l'indimostrabilità di teoremi che sono purtuttavia veri.|Bertrand Russell|Dimostralo!|Kurt Gödel|Per dimostrare la verità dei miei teoremi applico i miei teoremi ai miei stessi teoremi, quindi, applicando i teoremi di incompletezza ai teoremi di incompletezza, si evince che sono veri.|Bertrand Russell|Che razza di dimostrazione sarebbe?|Kurt Gödel|Questa è la versione scrausa, perché quella con le formule non me la ricordo mica. Ma lo sai tu che, in realtà, solo uno su diciottomila dei tremila professori di [[logica]] del pianeta ha capito davvero quel che nemmeno io ho capito davvero?|Bertrand Russell|Non ho capito.|Kurt Gödel|Ma lo vedi allora che ho ragione io?}}

 

{{cit2|Kurtino, se confronto le altre conferenze alla tua, non c'è confronto!|Quella cretina di Adele, moglie di Kurt Gödel}}