<blockquote id="quote"><font size="1" face="Verdana, Arial, Helvetica" id="quote">quote:<hr height="1" noshade id="quote"><i>Originally posted by Crook</i>
Ho letto sia il libro di Hofstadter che il libro consigliato da Mistral sulla prova di Godel. Avevo provato a leggere anche il libro di Godel con la dimostrazione vera e propria, ma vi assicuro che se non si è esperti di logica è impossibile comprenderlo. In GEB ci sono più o meno gli stessi concetti, a volte con sprazzi di genialità, altre volte con digressioni assai evitabili.
giacor86, buona scelta per la tesina. Anch'io sono interessato di preparare più o meno lo stesso argomento.
<hr height="1" noshade id="quote"></font id="quote"></blockquote id="quote">
Qui trovi una dimostrazione abbordabile e rigorosa e degli appunti di logica per capirla.
http://www-math.mit.edu/~bkim/
Saluti
Mistral