L’articolo è stato aggiunto alla lista dei desideri
IBS.it, l'altro eCommerce
Cliccando su “Conferma” dichiari che il contenuto da te inserito è conforme alle Condizioni Generali d’Uso del Sito ed alle Linee Guida sui Contenuti Vietati. Puoi rileggere e modificare e successivamente confermare il tuo contenuto. Tra poche ore lo troverai online (in caso contrario verifica la conformità del contenuto alle policy del Sito).
Grazie per la tua recensione!
Tra poche ore la vedrai online (in caso contrario verifica la conformità del testo alle nostre linee guida). Dopo la pubblicazione per te +4 punti
Tutti i formati ed edizioni
Anno edizione: 2019
Anno edizione: 2019
Promo attive (0)
Recensioni pubblicate senza verifica sull'acquisto del prodotto.
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.
Recensioni
Recensioni pubblicate senza verifica sull'acquisto del prodotto.
L'articolo è stato aggiunto al carrello
Gli eBook venduti da IBS.it sono in formato ePub e possono essere protetti da Adobe DRM. In caso di download di un file protetto da DRM si otterrà un file in formato .acs, (Adobe Content Server Message), che dovrà essere aperto tramite Adobe Digital Editions e autorizzato tramite un account Adobe, prima di poter essere letto su pc o trasferito su dispositivi compatibili.
Gli eBook venduti da IBS.it sono sincronizzati automaticamente su tutti i client di lettura Kobo successivamente all’acquisto. Grazie al Cloud Kobo i progressi di lettura, le note, le evidenziazioni vengono salvati e sincronizzati automaticamente su tutti i dispositivi e le APP di lettura Kobo utilizzati per la lettura.
Clicca qui per sapere come scaricare gli ebook utilizzando un pc con sistema operativo Windows
L’articolo è stato aggiunto alla lista dei desideri
Siamo spiacenti si è verificato un errore imprevisto, la preghiamo di riprovare.
Verrai avvisato via email sulle novità di Nome Autore