Sotto il segno di Gödel - 9788815120236

Sotto il segno di Gödel: I lavori di Kurt Gödel (1906-1978), considerato il più grande logico dopo Aristotele, uniscono la trasparenza della logica agli oscuri miraggi della magia, una combinazione da cui deriva il fascino tutto speciale del loro autore, un personaggio schivo e imprevedibile che, con Einstein, Schrödinger, von Neumann, Crick e pochi altri, ha a buon diritto un posto tra i protagonisti del Novecento responsabili della chiusura definitiva con il passato e della proiezione nel futuro. Ma queste grandi figure della scienza sono spesso ridotte a simboli caricaturali di una divulgazione semplificata, così che, se per Einstein si dice che tutto è relativo, nel caso di Gödel si citano i limiti della ragione, o addirittura la giustificazione della fede. Evitando ogni imprecisione e approssimazione, Gabriele Lolli sgombra il campo dalle versioni inesatte ed esagerate del pensiero gödeliano facendo luce, con uno stile chiaro e accessibile, sui temi che più colpiscono i non specialisti: la completezza logica, l'incompletezza e l'indecidibilità della matematica formale, la teoria degli insiemi, le origini dell'informatica, la filosofia della matematica.
The work of Kurt G??del (1906-1978), considered the greatest logician after Aristotle, combine the transparency of logic the dark mirages of magic, a combination hence the special charm of the contributor, a bashful and unpredictable character who, with Einstein, Schr??dinger, von Neumann, Crick and a few others, has to be a place among the protagonists of the nineteenth century responsible for definitive closure with the past and projecting into the future. But these great figures of science are often reduced to a simplified disclosure caricatured symbols, so that, if Einstein said that everything is relative, in the case of G??del citing the limits of reason, or even the justification of faith. Avoiding all inaccuracy and approximation, Gabriele Lolli cleared the field by inaccurate and exaggerated versions of thought g??deliano making light, clear and accessible style, on the issues that most affect non-specialists: the logical completeness, undecidability and incompleteness of formal mathematics, set theory, the origins of computer science, the philosophy of mathematics.