Kurt Gödei è autore di un'opera che ha influenzato tutti gli sviluppi successivi della logica nonché l'ulteriore riflessione sui fondamenti della matematica. I risultati che hanno reso famoso Gödei sono la completezza semantica del calcolo dei predicati (1930), l'incompletezza dei sistemi assiomatici contenenti l'aritmetica - il cosiddetto teorema d'incompletezza di Godei (1930-31) - e, infine, la non contraddittorietà dell'assioma di.
Scaricare mobi eBook Opere: 4
PDF eBook Opere: 4
Opere: 4 leggere libri
No comments:
Post a Comment
Note: Only a member of this blog may post a comment.