Storia della logica. Da Boole ai nostri giorni
Silvio Bozzi, Corrado Mangione
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.
వర్గాలు:
సంవత్సరం:
1993
ప్రచురణకర్త:
Garzanti
భాష:
italian
పేజీల సంఖ్య:
957
ISBN 10:
8811599660
ISBN 13:
9788811599661
ఫైల్:
PDF, 11.15 MB
IPFS:
,
italian, 1993