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.
Kurt Gödel leggere online eBook
Scaricare mobi eBook Opere: 3
Leggere online libro in italiano Opere: 3
No comments:
Post a Comment
Note: Only a member of this blog may post a comment.