Vai al contenuto
  • iptv.png

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


iTALiANO
 Condividi

Messaggi raccomandati

cover1bjb0.jpg



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

Please login or register to see this code.


Please login or register to see this code.




Link al commento
Condividi su altri siti

Partecipa alla conversazione

Puoi pubblicare ora e registrarti più tardi. Se hai un account, accedi ora per pubblicarlo con il tuo account.

Ospite
Rispondi a questa discussione...

×   Hai incollato il contenuto con la formattazione.   Rimuovere la formattazione

  Sono consentiti solo 75 emoticon max.

×   Il tuo collegamento è stato incorporato automaticamente.   Mostra come un collegamento

×   Il tuo contenuto precedente è stato ripristinato.   Pulisci editor

×   Non puoi incollare le immagini direttamente. Carica o inserisci immagini dall'URL.

 Condividi

×
×
  • Crea Nuovo...