¡Acompáñanos a viajar por el mundo de los libros!
Añadir este libro a la estantería
Grey
Escribe un nuevo comentario Default profile 50px
Grey
Suscríbete para leer el libro completo o lee las primeras páginas gratis.
All characters reduced
Incompleteness and logic - cover

Incompleteness and logic

Emanuele Gambetta

Editorial: Aracne

  • 0
  • 0
  • 0

Sinopsis

For Gödel’s theorems there are truths that escape axiomatic systems. This phenomenon in mathematical logic is called incompleteness. This book deals precisely with mathematical truths that axiomatic systems fail to capture. In the first chapters the incompleteness of Peano’s arithmetic is addressed, Gödel’s sentences cannot be captured by the principles of Peano’s arithmetic. Thus in this book it is possible to see how Gödel was able to construct an arithmetic sentence that says about itself: I am unprovable. In addition to Gödel’s sentences, there are other truths such as Goodstein’s theorem and the finite extension of Ramsey’s theorem which Peano’s axioms fail to prove. In the second part of the book we will see that in modern set theory there is a sentence, namely the Continuum Hypothesis, that Zermelo-Fraenkel axiomatic system fails to prove. For a result of Gödel (1938) and a result of Cohen (1963) the Continuum Hypothesis is independent of the axioms of Zermelo-Fraenkel. These axioms fail to prove the Continuum Hypothesis. In the last part of the book we will see the attempt of Hugh Woodin to prove the Continuum Hypothesis that is called Woodin’s program.
Disponible desde: 27/06/2023.

Otros libros que te pueden interesar

  • Il Nuovo Ascolta la tua pancia - Perché tutte le malattie nascono nel "colon (intestino prego!) irritabile - cover

    Il Nuovo Ascolta la tua pancia -...

    Gabriele Prinzi, Livia Emma

    • 0
    • 0
    • 0
    Nuova edizione aggiornata e ampliata
    Le malattie non sono altro che l'interruzione della comunicazione tra due importanti strutture tubolari: il tubo digerente e il tubo neuronale; il primo e secondo cervello. Due organi che dalla loro nascita non smettono mai di parlarsi. E in questo continuo dialogo per la salute un fondamentale ruolo di intermediazione viene svolto da un terzo sistema, un organo di recentissima scoperta, costituito dalla totalità dei microrganismi che ci ospitano: il microbiota. Gli autori svelano, un capitolo dopo l'altro, le connessioni segrete tra questi tre sistemi, tutti fondamentali per un equilibrio salutare. E ne traducono il linguaggio per te. Sapere cosa captare e sapersi ascoltare ti fa capire le preziose informazioni che questi tre sistemi si scambiano e ti permette di metterle in pratica. Il libro affronta l'impatto della nutrizione su una serie di patologie intestinali (reflusso, gastrite, tumore gastrico, intestino irritabile, celiachia e sensibilità al glutine non celiaca ecc.), alla luce della ricerca scientifica di ieri e di oggi. Con il monito a non abusare dei farmaci, puntando invece molto di più sul cibo, e alcune integrazioni, come prevenzione e terapia. Un viaggio all'interno di te, completato da semplici e pratici suggerimenti, attraverso la dieta (con ricette, idee e suggerimenti sfiziosi) e l'integrazione alimentare. Compreso l'uso dei cibi fermentati e della vitamina D, per rendere il tuo intestino davvero raggiante e restituirti la capacità della manutenzione ordinaria della salute intestinale.
    Perché la tua salute vale!
    Ver libro
  • Un alpinista qualunque - Storie di monti e natura - cover

    Un alpinista qualunque - Storie...

    Giancarlo Pauletto

    • 0
    • 0
    • 0
    Fin da ragazzo l'autore, nato nel Veneto orientale, ha avuto sotto gli occhi il Monte Cavallo. Questo Fujiyama della pianura veneta ha sempre rappresentato, per lui, la porta sull'avventura: finché un giorno, tredicenne, se ne andò in mezzo ai monti in bicicletta, alla scoperta del favoloso Campanile di Val Montanaia. Quasi  vent'anni dopo salì anche in cima, al favoloso Campanile, e questa fu la più grande impresa del suo alpinismo qualunque. Dedicato sì alle vette, ma quasi sempre di non grande impegno, tra amicizie, canti, ricche colazioni, baite o rifugi felicemente raggiunti. E poi c'è stata la scoperta, pur tardiva, dei fiori di montagna, campanule e gigli, scarpette di Venere e clematidi, eriofori cirsi e  globularie...: fonte di meraviglie forse anche più vive di quelle regalate dalle cime. Infine ha provato la montagna invernale, con sci di fondo o racchette da neve ai piedi. La montagna per lui è sempre incanto e natura, un luogo dove ritrovare se stessi.
    Ver libro
  • Abbecedario adriatico - Natura cultura e sapore - cover

    Abbecedario adriatico - Natura...

    Fabio Fiori

    • 0
    • 0
    • 0
    Il racconto dell'Adriatico attraverso le parole dei marinai e dei viaggiatori, di ieri e di oggi. Un nuovo abbecedario, dedicato alla natura e alla cultura adriatica, rivisto e arricchito di una saporita appendice gastronomica, perché i luoghi si scoprono anche a tavola, nei bacari veneziani, nelle gostilne istriane, nelle konobe dalmate, in osterie e taverne portuali che sono da sempre incroci di genti e culture. Pagine che restituiscono il piacere di venti e di onde, di tradizioni e ricette, dando vita a un abbecedario emozionante come un viaggio d'avventura, appassionante come una lettera d'amore. Perché  l'Adriatico è un mare orientale, è un'attrazione fatale.
    Ver libro
  • Le grandi epidemie - cover

    Le grandi epidemie

    Barbara Gallavotti

    • 0
    • 0
    • 0
    Tutta la storia dell'umanità è stata una lunga battaglia contro i microbi responsabili delle malattie infettive. Una battaglia che abbiamo combattuto per decine di migliaia di anni solo con gli strumenti messi a disposizione dall'evoluzione. Nel complesso, l'abbiamo costantemente persa. I microbi infatti evolvono molto più in fretta di noi e così, storicamente, le malattie infettive hanno fatto strage. Sempre. L'evoluzione però ci ha dotato di qualcosa che i microbi non possiedono: l'intelligenza. Grazie a essa negli ultimi decenni abbiamo messo a punto strumenti in grado di proteggerci dalle infezioni che hanno sterminato i nostri antenati: principalmente vaccini e antibiotici. Eppure oggi queste straordinarie armi di difesa rischiano di perdere efficacia per la scelta di non utilizzarle o di utilizzarle in modo inappropriato. Dal morbillo alla poliomielite, dalla peste all'Hiv, l'autrice ripercorre la lunga strada che ha portato l'umanità a contrastare morbi terribili, raccontando storie e retroscena e sfatando pregiudizi ben radicati. Del resto la fiducia nella ricerca medica passa soprattutto per la conoscenza di come essa funziona, e di come agiscono i nostri minuscoli «nemici». È questa conoscenza a evitare che dati di fatto divengano materia di scontri ideologici che possono realmente mettere in pericolo le nostre vite. Il libro di Barbara Gallavotti spiega i rischi che corriamo e come evitarli. Perché ciò di cui dobbiamo davvero aver paura sono ancora le malattie, e non i progressi della ricerca e della medicina.
    Ver libro
  • Il sacrificio di Kinga - cover

    Il sacrificio di Kinga

    Vitaliano Bilotta

    • 0
    • 0
    • 0
    Presso un Cenacolo che deve rimanere anonimo, le guide hanno fatto manifestare, a scopo d’insegnamento, un'entità che ha ripetutamente affermato di essere stata sacrificata durante una messa nera. 
    Questa entità, che chiamiamo Kinga (non è questo il suo vero nome) si è manifestata per diverso tempo, sempre molto sofferente, perché sopraffatta dalla sua stessa fine, tanto da sentirsi “sporca”. 
    Fu rapita, violentata e infine uccisa da una setta satanica che aveva bisogno dell’”energia” che alla setta sarebbe giunta dallo stupro e dall’uccisione di una donna molto giovane. 
    I dirigenti della setta erano un magistrato e il vice capo della polizia di una grande città, che abbiamo chiamato T. 
    Sia le guide del Cenacolo, sia la stessa Kinga, hanno più volte ripetuto che molte persone, soprattutto giovani, scompaiono per essere sacrificate nelle messe nere. Le stesse guide hanno spesso commentato, attraverso la legge di reincarnazione, gli stati d’animo di Kinga e dei suoi assassini.
    Ver libro
  • Le parole giuste - cover

    Le parole giuste

    AA. AA.VV.

    • 0
    • 0
    • 0
    In tempi di negazionismo climatico e di narrazioni distorte, usare un linguaggio corretto e comprensibile è fondamentale per capire la realtà e poter agire di conseguenza. Che si tratti di crisi climatica, di conflitti ambientali o di economia circolare le insidie di un linguaggio scorretto sono dietro l'angolo. Perché parlare di maltempo se si tratta di eventi estremi? O raccontare come sostenibile un'impresa che fa solo greenwashing? Come si raccontano le sfide del secolo? Quanto è importante usare le parole giuste per comprenderle e provare a vincerle? Come far capire a tutt3 cosa sia l'antropocene, l'ecofemminismo o il land grabbing? Da queste domande nasce il Glossario ecologista, lavoro corale e strumento prezioso per orientarsi nel mare magnum dell'informazione (e della disinformazione) che riguardano l'ambiente e il clima. Curato da A Sud, associazione indipendente attiva sui temi dell'ecologismo, il glossario conta sui contributi di tanti nomi provenienti dal mondo della scienza, della divulgazione, dell'attivismo, dell'informazione e dell'accademia: Luca Mercalli, Cristina Mangia, Laura Greco, Marco Cervino, Marco Armiero, Marica Di Pierri, Alessandro Coltré, Letizia Palmisano, Lorenzo Fargnoli, Sarah Gainsforth, Rahma Nur, Michele Carducci, Lorenzo Manni e tante e tanti altri. Il risultato è assieme una bussola per orientarsi e una cassetta degli attrezzi per approfondire teoria e pratica: dalle nozioni e concetti chiave fino alle sigle e ai vocaboli indispensabili per conoscere e capire le questioni ambientali nelle loro molteplici sfumature. Ma è anche un invito a leggere il mondo che cambia da un punto di vista ecologista e circolare
    Ver libro