Recensioni dei lettori
Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 2 voti.
Titolo originale:
Classical Mathematical Logic: The Semantic Foundations of Logic
Contenuto del libro:
In Logica matematica classica, Richard L. Epstein mette in relazione i sistemi di logica matematica con le loro motivazioni originali per formalizzare il ragionamento in matematica. Il libro mostra inoltre come la logica matematica possa essere utilizzata per formalizzare particolari sistemi matematici. Il libro illustra la formalizzazione non solo dell'aritmetica, ma anche della teoria dei gruppi, della teoria dei campi e degli ordinamenti lineari. Questi portano alla formalizzazione dei numeri reali e della geometria del piano euclideo. La portata e i limiti della logica moderna sono resi evidenti da queste formalizzazioni.
Il libro fornisce spiegazioni dettagliate di tutte le prove e delle intuizioni alla base delle stesse, oltre a esempi e problemi dettagliati e non banali. Il libro contiene più di 550 esercizi. Può essere utilizzato in corsi avanzati di laurea o di specializzazione e per lo studio autonomo e la consultazione.
La Logica Matematica Classica presenta una trattazione unificata di materiale che finora era disponibile solo consultando molti libri e articoli di ricerca diversi, scritti con vari sistemi di notazione e assiomatizzazioni.
Altre informazioni sul libro:
| ISBN: | 9780691123004 |
| Autore: | |
| Editore: | |
| Lingua: | inglese |
| Rilegatura: | Copertina rigida |
| Anno di pubblicazione: | 2006 |
| Numero di pagine: | 544 |
Acquisto:
Attualmente disponibile, in magazzino.
