Bollati Boringhieri: Opere di Gödel

Kurt Gödei è autore di un'opera che ha influenzato tutti gli sviluppi successivi della logica nonché l'ulteriore riflessione s

Kurt Gödei è autore di un'opera che ha influenzato tutti gli sviluppi successivi della logica nonché l'ulteriore riflessione s

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.

I risultati che hanno reso famoso Gödel sono la completezza semantica del calcolo dei predicati, l'incompletezza dei sistemi a

Kurt Godel è autore di un'opera che ha influenzato praticamente tutti gli sviluppi successivi della disciplina nonché tutta l'