[i][c]
Lolli, Gabriele
Sotto il segno di Gödel
Il Mulino
[Intersezioni 321]
Bologna 2007.09
ISBN: 9788815120236
Cover
#matematica #logica
ig01#matematica ig01#logica
ig02#matematica ig02#logica

Privacy Policy

  [i][c] INDICE:
7Prefazione
11I.Il secolo di Gödel
      1.Il programma di Hilbert.
      2.Il teorema di completezza
      3.I teoremi di incompletezza.
      4.Calcolatori e informatica.
      5.La teoria degli insiemi.
      6.Il realismo matematico.
      7.Filosofia della mente.
      8.Cosmologia.
      9.L'influenza di Gödel.
37II.Incompletezza
      1.L'aritmetizzazione dei linguaggi.
      2.Paradossi.
      3.I teoremi di Gödel.
65III.Indecidibilità
      1.Funzioni ricorsive.
      2.Macchine di Turing.
      3.Problemi indecidibili.
79IV.Gödel e gli insiemi
      1.Modelli interni.
      2.Insiemi costruibili.
      3.Gödel e gli insiemi.
      4.Filosofia dela matematica.
      5.Altrii contributi.
95V.Gödel filosofo
      1.Matematica.
      2.Cosmologia.
      3.Mente e macchine.
      4.Aspirazione alla metafisica.
113VI.La filosofia della matematica
      1.Il programma di Hilbert.
      2.Il realismo.
      3.La Gibbs Lecture del 1951.
      4.Il realismo concettuale.
145VII.Gödel umorista
149VIII.I cosa credeva Gödel?
163Riferimenti bibliografici
173Indice dei nomi
174_

 
 [i][c] CRONOLOGIA:
 
 
1900 1900 2000 2000 1950 2050 Lolli, Gabriele ( 1942.1231 - ) https://it.wikipedia.org/wiki/Gabriele_Lolli Opere di Lolli, Gabriele ( 1942.1231 - ) Lolli, Gabriele Gödel, Kurt ( 1906.0428 - 1978.0114 ) https://it.wikipedia.org/wiki/Kurt_G%C3%B6del Opere di Gödel, Kurt ( 1906.0428 - 1978.0114 ) Gödel, Kurt 1806.0428 2119.0906 2007.09



Generato il giorno: 2019-09-06T17:47:29+02:00 (Unix Time: 1567784849)
Precedente aggiornamento il giorno: 2017.1201
Prima registrazione il giorno: 2016.1128
Aggiornato 13 volte
Dimensione approssimata della pagina: 18738 caratteri (body: 17252)
Versione: 1.0.42

Privacy Policy