Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Shopper rossa
Dati e Statistiche
Fuori di libri Post sulla Community Fuori di libri
Wishlist Salvato in 8 liste dei desideri
Kurt Gödel, un profilo
Disponibilità immediata
13,30 €
-5% 14,00 €
13,30 € 14,00 € -5%
Disp. immediata
Chiudi
Altri venditori
Prezzo e spese di spedizione
ibs
13,30 € Spedizione gratuita
disponibilità immediata disponibilità immediata
Info
Nuovo
Libreria Viva - Athena Snc
7,10 € + 6,90 € Spedizione
disponibilità immediata disponibilità immediata
Info
Nuovo
Libreria Bortoloso
14,00 € + 6,30 € Spedizione
disponibile in 3 giorni lavorativi disponibile in 3 giorni lavorativi
Info
Nuovo
Libreria Internazionale Romagnosi snc
14,00 € + 8,90 € Spedizione
disponibile in 3 giorni lavorativi disponibile in 3 giorni lavorativi
Info
Nuovo
Libreria Nani
14,00 € + 6,50 € Spedizione
disponibile in 4 giorni lavorativi disponibile in 4 giorni lavorativi
Info
Nuovo
Libreria Nani
14,00 € + 6,50 € Spedizione
disponibile in 8 giorni lavorativi disponibile in 8 giorni lavorativi
Info
Nuovo
9,90 € + 6,00 € Spedizione
disponibilità immediata disponibilità immediata
Info
Usato Usato - In buone condizioni
10,00 € + 6,00 € Spedizione
disponibilità immediata disponibilità immediata
Info
Usato Usato - In buone condizioni
Altri venditori
Prezzo e spese di spedizione
ibs
13,30 € Spedizione gratuita
disponibilità immediata disponibilità immediata
Info
Nuovo
Libreria Viva - Athena Snc
7,10 € + 6,90 € Spedizione
disponibilità immediata disponibilità immediata
Info
Nuovo
Libreria Bortoloso
14,00 € + 6,30 € Spedizione
disponibile in 3 giorni lavorativi disponibile in 3 giorni lavorativi
Info
Nuovo
Libreria Internazionale Romagnosi snc
14,00 € + 8,90 € Spedizione
disponibile in 3 giorni lavorativi disponibile in 3 giorni lavorativi
Info
Nuovo
Libreria Nani
14,00 € + 6,50 € Spedizione
disponibile in 4 giorni lavorativi disponibile in 4 giorni lavorativi
Info
Nuovo
Libreria Nani
14,00 € + 6,50 € Spedizione
disponibile in 8 giorni lavorativi disponibile in 8 giorni lavorativi
Info
Nuovo
Altri venditori
Prezzo e spese di spedizione
9,90 € + 6,00 € Spedizione
disponibilità immediata disponibilità immediata
Info
Usato Usato - In buone condizioni
10,00 € + 6,00 € Spedizione
disponibilità immediata disponibilità immediata
Info
Usato Usato - In buone condizioni
Chiudi
Kurt Gödel, un profilo - Riccardo Bruni - copertina
Chiudi

Promo attive (0)

Chiudi
Kurt Gödel, un profilo

Descrizione


Kurt Gödel è stato certamente il logico più influente del Novecento. I suoi lavori, visti come delle pietre miliari e come tali richiamati ancora oggi nella letteratura specialistica, investono aspetti fondamentali per la ricerca in campo matematico, quali la relazione tra verità e dimostrabilità o questioni relative alla natura e ai limiti della conoscenza matematica. Questo profilo nasce dal tentativo di correggere l'impressione che la grandezza del personaggio possa essere ricondotta a uno dei suoi molteplici contributi in particolare, come ad esempio il teorema di incompletezza per le teorie assiomatiche al quale egli deve gran parte della sua fama. Al contrario, il volume cerca di offrire una panoramica per quanto possibile esaustiva dell'opera logica e matematica di Gödel, così da valutarne meglio la portata.
Leggi di più Leggi di meno

Dettagli

2015
5 marzo 2015
170 p., Brossura
9788843075133
Chiudi

Indice

Prefazione

1. L’uomo, l’opera e il contesto storico e culturale

La vita di Gödel: alcune notizie fondamentali/Lo sviluppo della logica matematica/L’opera di Gödel

2. Il teorema di completezza semantica

Linguaggi, mondi, dimostrazioni/Se A è comunque vera, allora è dimostrabile/Completezza semantica e indecidibilità/Complementi storici e bibliografici

3. I teoremi di incompletezza

Funzioni e predicati ricorsivi/L’aritmetizzazione della sintassi di un linguaggio/Il lemma di diagonalizzazione/Enunciati aritmetici formalmente indecidibili/I teoremi di incompletezza: qualche istruzione per l’uso/Gödel e il programma di Hilbert/La mente e le macchine/Complementi storici e bibliografici

4. L’incompletezza all’opera: l’ipotesi del continuo di Cantor

Il concetto matematico di insieme/La teoria assiomatica degli insiemi/Il problema del continuo/Gli insiemi costruibili/Il risultato di Gödel/Proposizioni matematiche assolutamente indecidibili/L’incompletabilità della matematica/Complementi storici e bibliografici

5. Gli altri contributi logici di Gödel

I rapporti tra la logica classica e quella intuizionista/Un metodo di decisione per alcune classi di formule del prim’ordine/Sulla logica proposizionale classica/Sulla lunghezza delle dimostrazioni/La consistenza dell’aritmetica/Altri temi nell’opera logica e matematica di Gödel

6. Gödel e la filosofia

L’esistenza dei concetti matematici/Natura e limiti della conoscenza degli enti matematici/La mente umana e la dinamica della conoscenza matematica/La filosofia nell’opera di Gödel e l’immagine di Gödel “filosofo”

Bibliografia

Chiudi
Aggiunto

L'articolo è stato aggiunto al carrello

Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Chiudi

Inserisci la tua mail

Chiudi

Chiudi

Siamo spiacenti si è verificato un errore imprevisto, la preghiamo di riprovare.

Chiudi

Verrai avvisato via email sulle novità di Nome Autore