l-longob.txt (Gabriele Lucchini, 2013-09-12; 2013-09-19: [], NB3, NB4)


NB1 - E` il Giuseppe Longo che lavora a Parigi,
      amichevolmente chiamato Peppe,
      da non confondersi con quello che lavora a Trieste
      [Giuseppe O. Longo]

Giuseppe Longo
INCOMPLETEZZA
(per "La Matematica", vol. 4, Einaudi, 2010, pp. 219-262)

http://www.di.ens.fr/users/longo - pp. 1-37

p.   1  -    Introduzione
        1.   Da Laplace a Poincare'
     6  2.   Dalla eometria alla logica
     8  3.   Da Hilbert a Goedel
     9  3.1   ... passando per Poincare' e Weyl
    11  3.2   L'Aritmetica, un assoluto
    12  4.   Il teorema
    16  4.1   E la "verira`"
    19  5.   Poincare' vs. Goedel
    21  5.1   Turing: dai sistemi formali alle dinamiche continue
    23  6.   Eistein e la tesi di incompletezza della Meccanica Quantistica
    27  7.   L'incompletezza matematica delle teorie formali
    29  7.1   Verso i fondamenti cognitivi dell'induzione
    32  8.   L'informazione e le codifiche della cellula
    35  -    Riferimenti


NB2 - Nel libro sono presenti alcune variazioni rispetto al testo in internet.

NB3 - INCOMPLETEZZA e` reperibile con Google cercando
      Giuseppe Longo Incompletezza

NB4 - Utilizzando indicazioni del prof. Longo:
      - ho corretto Beppe in Peppe;
      - segnalo che la sua pagina web e` 
        http://www.di.ens.fr/longo/
      - segnalo che c'e` una pagina web
        http://www.di.ens.fr/longo/download.html
      (purtroppo in TXT non posso mettere i link)