La matematica è esente da contraddizioni? Esistono verità oltre ciò che può essere dimostrato? È possibile codificare la nostra conoscenza matematica in un unico numero? La logica matematica moderna del ventesimo secolo fornisce risposte sorprendenti a tali domande; Risposte che hanno cambiato la matematica nello stesso modo in cui la teoria della relatività di Einstein ha cambiato la fisica. Oggi sappiamo che ci sono limiti epistemologici in matematica che non possiamo superare. Sono parte integrante delle leggi che tengono insieme questa scienza al suo interno. Questo libro ti accompagna in un viaggio attraverso le aree centrali della logica matematica fino ai limiti della matematica. Tra gli altri, vengono trattati i seguenti argomenti: storia della logica matematica, sistemi formali, teoria assiomatica dei numeri e teoria degli insiemi, teoria della dimostrazione, teoremi di incompletezza di Gödel, teoria della computabilità, teoria algoritmica dell'informazione, teoria dei modelli. Il libro contiene numerose illustrazioni a due colori e più di 70 compiti (con soluzioni sul sito web del libro). Per la seconda edizione, il capitolo "Teoria della dimostrazione" è stato ampliato tematicamente per includere il lemma di diagonalizzazione, il teorema di Tarski, il paradosso di Berry e il teorema di Löb. Commenti sulla prima edizione: "Lo stile di scrittura dell'autore - sempre attento alla comprensibilità - i numerosi riferimenti storici, la presentazione ben ponderata del libro con le sue numerose immagini, esempi e note e, ultimo ma non meno importante, i compiti assegnati a ciascun capitolo rendono il libro una perla." Rapporti del semestre di matematica "Un libro tanto atteso" "Non potresti scrivere un libro di saggistica più emozionante." "Sicuramente un must." Da varie recensioni di lettori su amazon.de
caricamento...
