top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Da Euclide a Gödel / / Gabriele Lolli
Da Euclide a Gödel / / Gabriele Lolli
Autore Lolli Gabriele
Pubbl/distr/stampa Bologna, Italy : , : Società editrice il Mulino, , 2011
Descrizione fisica 1 online resource (192 pages)
Disciplina 190
Soggetto topico Philosophy - History
ISBN 88-15-30219-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Nota di contenuto Presentazione -- Capitolo primo -- Con gli occhi rivolti a Euclide -- 1. Euclide -- 2. Archimede -- 3. Algebra -- 4. Teorie senza assiomi -- 5. Assiomi oscuri -- 6. Assiomi non veri -- 7. Non contraddittorietà relativa -- 8. Assiomi vuoti -- 9. Il principio di dualità -- 10. La logica formale -- Capitolo secondo -- La stagione di Hilbert -- 1. Il metodo ipotetico-deduttivo -- 2. Una rivoluzione compiuta nei secoli -- 3. Vino vecchio e otri nuovi -- 4. Hilbert e la geometria -- 5. L'aritmetizzazione dell'Analisi -- Capitolo terzo -- Aspettando Gödel -- 1. Non contraddittorietà e completezza -- 2. Il programma di Hilbert -- 3. La ritirata di Bourbaki -- Capitolo quarto -- Incompletezza -- 1. Aritmetizzazione dei linguaggi -- 2. Paradossi -- 2.1. Il mentitore -- 2.2. Richard -- 2.3. Teorema di Tarski -- 2.4. Berry -- 3. I due teoremi di incompletezza -- Capitolo quinto -- Aspettando Turing -- 1. «Effettivo» e «calcolabile» -- 2. Macchine di Turing -- 3. Problemi indecidibili -- 4. Indecidibilità della logica -- Capitolo sesto -- Mente e macchine -- 1. Verità e coerenza -- 2. Wittgenstein contro Gödel -- 3. Intelligenza artificiale -- Con gli occhi rivolti al futuro -- Nota bibliografica -- Indice dei nomi.
Record Nr. UNINA-9910132651803321
Lolli Gabriele  
Bologna, Italy : , : Società editrice il Mulino, , 2011
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Da Euclide a Gödel / / Gabriele Lolli
Da Euclide a Gödel / / Gabriele Lolli
Autore Lolli Gabriele
Pubbl/distr/stampa Bologna, Italy : , : Società editrice il Mulino, , 2011
Descrizione fisica 1 online resource (192 pages)
Disciplina 190
Soggetto topico Philosophy - History
ISBN 88-15-30219-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Nota di contenuto Presentazione -- Capitolo primo -- Con gli occhi rivolti a Euclide -- 1. Euclide -- 2. Archimede -- 3. Algebra -- 4. Teorie senza assiomi -- 5. Assiomi oscuri -- 6. Assiomi non veri -- 7. Non contraddittorietà relativa -- 8. Assiomi vuoti -- 9. Il principio di dualità -- 10. La logica formale -- Capitolo secondo -- La stagione di Hilbert -- 1. Il metodo ipotetico-deduttivo -- 2. Una rivoluzione compiuta nei secoli -- 3. Vino vecchio e otri nuovi -- 4. Hilbert e la geometria -- 5. L'aritmetizzazione dell'Analisi -- Capitolo terzo -- Aspettando Gödel -- 1. Non contraddittorietà e completezza -- 2. Il programma di Hilbert -- 3. La ritirata di Bourbaki -- Capitolo quarto -- Incompletezza -- 1. Aritmetizzazione dei linguaggi -- 2. Paradossi -- 2.1. Il mentitore -- 2.2. Richard -- 2.3. Teorema di Tarski -- 2.4. Berry -- 3. I due teoremi di incompletezza -- Capitolo quinto -- Aspettando Turing -- 1. «Effettivo» e «calcolabile» -- 2. Macchine di Turing -- 3. Problemi indecidibili -- 4. Indecidibilità della logica -- Capitolo sesto -- Mente e macchine -- 1. Verità e coerenza -- 2. Wittgenstein contro Gödel -- 3. Intelligenza artificiale -- Con gli occhi rivolti al futuro -- Nota bibliografica -- Indice dei nomi.
Record Nr. UNISA-996337227403316
Lolli Gabriele  
Bologna, Italy : , : Società editrice il Mulino, , 2011
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Filosofia della matematica : l'eredità del Novecento / / Gabriele Lolli
Filosofia della matematica : l'eredità del Novecento / / Gabriele Lolli
Autore Lolli Gabriele
Pubbl/distr/stampa Bologna, : Società editrice il Mulino
Soggetto topico Mathematics - Philosophy - History - 20th century
ISBN 88-15-08510-6
88-15-14469-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Altri titoli varianti Filosofia della matematica: L'eredità del Novecento
Filosofia della matematica. L'eredità del Novecento
Record Nr. UNINA-9910139263803321
Lolli Gabriele  
Bologna, : Società editrice il Mulino
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Filosofia della matematica : l'eredità del Novecento / / Gabriele Lolli
Filosofia della matematica : l'eredità del Novecento / / Gabriele Lolli
Autore Lolli Gabriele
Pubbl/distr/stampa Bologna, : Società editrice il Mulino
Soggetto topico Mathematics - Philosophy - History - 20th century
ISBN 88-15-08510-6
88-15-14469-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Altri titoli varianti Filosofia della matematica: L'eredità del Novecento
Filosofia della matematica. L'eredità del Novecento
Record Nr. UNISA-996337181103316
Lolli Gabriele  
Bologna, : Società editrice il Mulino
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Guida alla teoria degli insiemi / / Gabriele Lolli
Guida alla teoria degli insiemi / / Gabriele Lolli
Autore Lolli Gabriele
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Milan, : Springer, 2008
Descrizione fisica 1 online resource (155 p.)
Disciplina 511
511.3
511.32209
Collana Convergenze
Soggetto topico Set theory
ISBN 1-281-37861-5
9786611378615
88-470-0769-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Nota di contenuto Prima parte -- Storia -- Fondamenti della matematica -- Seconda parte -- La teoria -- Applicazioni.
Record Nr. UNINA-9910484354703321
Lolli Gabriele  
Milan, : Springer, 2008
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui