Libri di
Bibliografia di : tutti i libri in vendita online editi da Giappichelli pubblicati nella collana Digitalica
Teoria algoritmica della complessità Chaitin Gregory J. - Giappichelli, 2006 - Digitalica
"Il filo conduttore di tutti questi saggi è dato dalla nozione di complessità, definita in modo assai specifico come la misura dell'informazione contenuta in una proposizione matematica. Chaitin mostra che la stessa matematica ha infinita complessità, ciò che tra le altre cose comporta la sua inesauribilità; presa come oggetto finito, la mente umana è incapace già solo di creare quel Sacro Graal caro ai fisici, una "teoria del tutto" contenente tutte le possibili verità matematiche. Il dato che emerge con la stessa inesauribilità della matematica è la più forte conferma possibile del fatto che la pratica della matematica è più come una scienza fisica, che un semplice esercizio di logica. Le idee che troverete qui, rappresentano il nucleo stesso della filosofia della matematica e meritano la più ampia audience possibile. La ricerca di Greg Chaitin sarà ricordata affianco a quelle di Godel, di Turing, di von Neumann e di altre semidivinità presenti nel Pantheon della matematica, le cui idee hanno cambiato la nostra prospettiva su ciò che è e ciò che non è. I saggi presentati in questo volume rappresentano una essenza distillata di questa ricerca." (John Casti).
Prova e giustificazione Chiffi D. (Cur.) Di Giorgio A. (Cur.) - Giappichelli, 2013 - Digitalica
I saggi che compongono questo libro intendono presentare in maniera organica e interdisciplinare, anche se da una prospettiva fondazionale logico-filosofica, il ruolo che il concetto di prova svolge in differenti ambiti del sapere. L'elemento innovativo e caratterizzante del volume è quello di stabilire e formulare quali sono le condizioni di adeguatezza materiale e formale per una corretta esplicazione del concetto di prova nelle sue differenti applicazioni. Si cercherà, inoltre, di cogliere cosa ha qualificato storicamente e qualifica tuttora il concetto di prova tentando di individuarne, da un lato, le caratteristiche persistenti o invarianti e, dall'altro, le differenze specifiche che esso assume in molteplici settori della ricerca. Vengono così presentati sette saggi che spaziano sui seguenti temi: dalle procedure logiche di prova medievali (Alfredo Di Giorgio), si va alla nozione di prova da Frege a Wittgenstein (Carlo Penco), al problema delle verità delle proposizioni gödeliane (Sergio Galvan), alla fondazione delle leggi logiche (Ciro De Florio), ai fondamenti del linguaggio pragmatico (Antonio Negro e Davide Sergio), alla relazione tra conoscibilità e prova (Massimiliano Carrara e Daniele Chiffi), fino all'analisi del paradosso del buon samaritano (Andrea Favaro e Silvia Gaio).
Il pubblico dominio nella società della conoscenza Ciani Sciolla Jacopo - Giappichelli, 2021 - Digitalica
Il pubblico dominio nella società della conoscenza - Giappichelli