Cliquer sur une vignette pour aller sur Google Books.
Chargement... I teoremi di incompletezza (Voci) (Italian Edition) (édition 2019)par Gabriele Lolli (Auteur)
Information sur l'oeuvreI teoremi di incompletezza par Gabriele Lolli
Aucun Chargement...
Inscrivez-vous à LibraryThing pour découvrir si vous aimerez ce livre Actuellement, il n'y a pas de discussions au sujet de ce livre. A Lolli piace parlare dei teoremi di incompletezza di Gödel, principalmente perché sa che vengono mal compresi. In questo ultimo suo libretto non parla però proprio dei teoremi, quanto di tutto quello che sta loro intorno. A me per esempio è molto piaciuta la parte sugli "anticipatori": conoscevo naturalmente i paradossi di Berry e di Richard, ma non sapevo che Post fosse andato vicino all'esposizione - e non avevo mai sentito parlare di Finsler. Un altro punto di forza è la considerazione di quei teoremi dal punto di vista della computabilità: in effetti la tesi di Church-Turing semplifica parecchio il contesto del teorema, e permette una via più semplice alla dimostrazione. Ah, dimenticavo: Penrose e (il secondo) Wittgenstein vengono blastati, come si suol dire. Le osservazioni di Lolli non sono mai banali, e quindi la lettura è piacevole: l'unico problema che ho trovato è quando parte con il formale, perché assume una serie di conoscenze tecniche, anche a partire dal formalismo, che non sono banali. Io per esempio non riesco a recuperare tutto. Il lettore è avvisato. ( ) aucune critique | ajouter une critique
Aucune description trouvée dans une bibliothèque |
Discussion en coursAucun
Google Books — Chargement... GenresClassification décimale de Melvil (CDD)511.3Natural sciences and mathematics Mathematics General Principles Mathematical (Symbolic) logicÉvaluationMoyenne:
Est-ce vous ?Devenez un(e) auteur LibraryThing. |