Unisciti a noi in un viaggio nel mondo dei libri!
Aggiungi questo libro allo scaffale
Grey
Scrivi un nuovo commento Default profile 50px
Grey
Iscriviti per leggere l'intero libro o leggi le prime pagine gratuitamente!
All characters reduced
Incompleteness and logic - cover

Incompleteness and logic

Emanuele Gambetta

Casa editrice: Aracne

  • 0
  • 0
  • 0

Sinossi

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.
Disponibile da: 27/06/2023.

Altri libri che potrebbero interessarti

  • Vago - Il mio nervo più importante - Gli esercizi per superare ansia depressione emicrania mal di schiena e molti altri disturbi psico-emotivi - cover

    Vago - Il mio nervo più...

    Stephen Porges, Stanley Rosenberg

    • 0
    • 0
    • 0
    Al cuore della nostra capacità di adattamento – specialmente allo stress – c’è il nervo vago, il nervo cranico che gioca un ruolo cruciale nel determinare il nostro benessere fisico e i nostri stati psicologici ed emotivi.Molti sintomi comuni - dall’ansia alla depressione a emicranie e mal di schiena – indicano infatti che il nervo vago non funziona correttamente.Questa guida pratica illustra, attraverso una serie di semplici esercizi, massaggi e manipolazioni, come possiamo intervenire sul nervo vago per attivare un profondo rilassamento, migliorare il sonno e recuperare situazioni di sofferenza da lesioni e traumi.Basato su uno dei più importanti e recenti sviluppi nel campo della neurobiologia umana, la teoria polivagale di Stephen Porges ,questo è un testo fondamentale per psicoterapeuti, medici, operatori di terapie psicocorporee, così come per tutti coloro che sperimentano i sintomi dello stress cronico e della depressione.GUARDA Il Booktrailerhttps://www.youtube.com/watch?v=dU2Yu6HcBag
    Mostra libro
  • PlayHer - Rappresentazioni femminili nei videogiochi - cover

    PlayHer - Rappresentazioni...

    Francesco Toniolo, Giulia Martino

    • 0
    • 0
    • 0
    Chi sono le figure femminili che popolano i videogiochi? E cosa ci raccontano su di noi, sul nostro immaginario, sulla società?
    Dalla principessa Zelda alla strega Bayonetta, dalle eroine di Mass Effect alle creature di mondi distopici e fantastici, PlayHer indaga ruoli e rappresentazioni del femminile che si intrecciano con miti antichi, fiabe, storia e cultura pop. Alcune di queste figure combattono, altre curano; alcune sono dee, vampire, soldate o ia. Alcune vivono ai margini, altre al centro di universi narrativi che riflettono – e talvolta sovvertono – simboli e narrazioni di genere.
    I videogiochi sono più di un semplice intrattenimento: sono uno spazio culturale potente e in continua evoluzione. Giulia Martino e Francesco Toniolo li osservano come veri e propri laboratori di narrazione, capaci di ridefinire modelli, identità e possibilità all'interno dell'immaginazione collettiva.
    Mostra libro
  • Un Sindacalista - cover

    Un Sindacalista

    Vitaliano Bilotta

    • 0
    • 0
    • 0
    La vita di un sindacalista può essere aspra, perchè deve mediare tra interessi che si contrastano e che spesso si violentano. Ma un sindacalista può anche leggere il suo lavoro come l'esatto prodotto di una legge tanto perfetta da essere divina: la legge della reincarnazione. Grazie a questa Legge ogni individuo e ogni collettività vivono soltanto ciò che gli serve per superare se stessi
    Mostra libro
  • La genetica della cannabis: una visione microscopica - cover

    La genetica della cannabis: una...

    Pharmacology University

    • 0
    • 0
    • 0
    Nel seguente audiolibro, conoscerete la cannabis a partire dalla sua unità fondamentale, cioè quella che la identifica e le conferisce le sue importanti caratteristiche, rendendola una specie unica, basata sul suo materiale genetico o le informazioni presenti nei geni della pianta. Questa rete di DNA (acido desossiribonucleico) e RNA (acido ribonucleico) controlla tutti i processi di difesa, nutrizione e comunicazione della cannabis, e allo stesso tempo produce molecole meravigliose come i fenilpropanoidi, i cannabinoidi e i terpeni, che ci offrono importanti proprietà medicinali.  
    	Le nuove tecnologie di sequenziamento hanno permesso uno studio più approfondito del genoma della Cannabis e grazie a questo, ora si conoscono più proteine importanti per la pianta, così come i percorsi biologici in cui agiscono, permettendo alle specie vegetali di essere modificate geneticamente, fornendo grandi benefici alle colture.  
    	Inoltre, l'ingegneria genetica sta trasformando le tecniche agricole, essendo un'alternativa utile nel monitoraggio delle fasi di coltivazione, inoltre, questi progressi stanno rivoluzionando la comprensione della farmacogenetica, che è il modo in cui il nostro corpo assimila le medicine a base di Cannabis. 
    	Se siete interessati a saperne di più sullo straordinario mondo della genetica della cannabis, vi invitiamo a godervi questo audiolibro offerto da Pharmacology University.
    Mostra libro
  • Lavoro da sogno ESportsman: Come può migliorare rapidamente le sue abilità con metodi semplici diventare un giocatore professionista e ottenere un punto d'appoggio negli eSport - cover

    Lavoro da sogno ESportsman: Come...

    Adrian Eris

    • 0
    • 0
    • 0
    Quasi il 40% della popolazione mondiale gioca ai videogiochi. Che si tratti di smartphone, console o PC, l'industria del gioco è in rapida crescita, senza segni di stagnazione. Ma lei probabilmente fa parte di una percentuale molto più piccola, perché non si limita a giocare qualche partita a Candy Crush nel tempo libero di tanto in tanto, ma lo fa un po' più seriamente.
    Forse ha pensato a cosa significherebbe essere un e-atleta, oppure sa benissimo che il grado successivo è alla sua portata. Ecco perché ha deciso di acquistare questa guida, perché vuole raggiungere il livello successivo e sa di avere le carte in regola. In questo libro, scoprirà che tipo di giocatore è e come può utilizzare efficacemente i punti di forza che ne derivano. Le mostrerò come e dove trovare l'hardware, il software o persino i siti web giusti e cosa può imparare dai migliori giocatori. Inoltre, le illustrerò a cosa prestare attenzione al di fuori dei giochi, in modo da poter affrontare la prossima sessione di gioco con la massima energia e il massimo potenziale di prestazione. I consigli di questa guida possono essere applicati immediatamente per aiutarla a raggiungere il livello successivo il più rapidamente possibile. Tutto ciò che serve è un po' di motivazione.
    Mostra libro
  • Io non ho paura del lupo - cover

    Io non ho paura del lupo

    Tommaso D'Errico

    • 0
    • 0
    • 0
    Il ritorno del lupo in Italia e in Europa, con la recente espansione della specie giunta a ridosso delle grandi città, riguarda ormai tutti noi ed è il simbolo di un tema più vasto: quello della convivenza tra esseri umani e animali selvatici. Mentre la crisi ambientale rivela le nostre fragilità, la presenza del lupo ci spinge a riflettere sulla necessità di riadattare prospettive e comportamenti, per far fronte a minacce che riguardano non solo la conservazione delle altre specie, ma la nostra stessa capacità di sopravvivenza. 
    Tra paure ataviche e un diffuso bisogno di natura, tra miti da sfatare e l'urgenza di superare sterili contrapposizioni ideologiche, la via del dialogo – tra noi e gli altri esseri viventi – appare al tempo stesso una scelta coraggiosa e una grande occasione (forse l'ultima) per adeguarci ai mutamenti della nostra epoca e ritrovare un rapporto equilibrato e consapevole con l'ambiente. Una prova complessa e stimolante, che ci chiama a concepire soluzioni creative e a cambiare noi stessi, a progredire e imparare a coesistere. In una parola, a evolverci.
    Mostra libro