Dall'Ottocento a oggi, la logica formale è stata protagonista di una evoluzione di straordinaria ricchezza e complessità. Ponendosi alla confluenza fra filosofia e matematica, informatica e linguistica, ha indubbiamente condizionato il loro sviluppo; d'altro canto queste discipline hanno spesso cercato nella logica una adeguata formalizzazione arricchendola con le loro problematiche. Questo percorso viene qui esposto per la prima volta nella sua completezza e organicità, cercando di chiarire anche al lettore non specialista i nessi fondamentali dell'evoluzione della logica matematica e i suoi rapporti con il resto del sapere.
Storia della logica. Da Boole ai nostri giorni
| Titolo | Storia della logica. Da Boole ai nostri giorni |
| Autori | Corrado Mangione, Silvio Bozzi |
| Collana | Saggi |
| Editore | Garzanti |
| Formato |
Libro |
| Pagine | 960 |
| Pubblicazione | 1995 |
| ISBN | 9788811599661 |
|
Acquistabile con Carta del docente o Carta Cultura Giovani |
