Kurt Gödel - Opere. Vol.3. Saggi inediti e conferenze (2006)

Kurt Gödel - Opere. Vol.3. Saggi inediti e conferenze (2006)
PDF

Kurt Gödel è autore di un'opera che ha influenzato gli sviluppi successivi della logica nonché l'ulteriore riflessione sui fondamenti della matematica. I risultati che lo hanno reso famoso sono la completezza semantica del calcolo dei predicati, l'incompletezza dei sistemi assiomatici e, infine, la non contraddittorietà dell'assioma di scelta. Questo terzo volume delle Opere, traduzione del corrispondente volume dell'edizione americana pubblicata sotto gli auspici della Association for Symbolic Logic, contiene una ricca selezione di articoli non pubblicati e testi di conferenze, trovati nel Nachlass di Gödel, che aggiungono elementi preziosi alla nostra comprensione e al nostro apprezzamento del suo pensiero filosofico e matematico.

Download Links



_________________________________

Per Estrarre i FILE RAR usate la Versione 5.7 che potete TROVATE QUI

In caso di link offline inviami un messaggio privato cliccando QUI

Come segnalare i link off-line (o altri problemi)?
Come si scarica da EasyBytez?
Come si scarica da Backin?
Come fare con Filecrypt?
Come fare con Keeplinks?