Logica e informatica contemporanea

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 2 voti.

Titolo originale:

Contemporary Logic and Computing

Contenuto del libro:

Il presente volume nasce da una proposta di libro fatta circa due anni fa al College Publications di Londra. L'idea principale era quella di illustrare l'interazione tra il lavoro contemporaneo in logica e la matematica tradizionale.

La divisione del volume in due sezioni - argomenti di “logica” e argomenti di “informatica” - è più o meno convenzionale. Alcuni contributi sono incentrati su dettagli storici e tecnici volti a mettere in prospettiva l'impatto del lavoro di alcuni matematici e filosofi di spicco sulla ricerca contemporanea in logica e informatica. Altri contributi, anch'essi di carattere storico, dovevano evidenziare metodi di ricerca puntuali e concetti o argomenti specifici, come ad esempio la decidibilità, la calcolabilità, la casualità e la complessità computazionale o descrittiva. In generale, i lavori erano intesi come indagini specifiche sui risultati.

Altri volumi - che usciranno successivamente nella stessa collana - delineeranno auspicabilmente aspetti del panorama logico contemporaneo che non sono stati illustrati in questa sede.

Il pubblico a cui si rivolge il libro è composto da studenti di logica matematica, fondamenti di matematica e scienze informatiche, nonché da filosofi, matematici e, eventualmente, altri scienziati interessati alle recenti ricerche sulla logica e l'informatica.