Logica da zero a Gödel.pdf

Logica da zero a Gödel

Francesco Berto

Ci sono libri che propongono piacevoli escursioni turistiche nel territorio della logica, ma non consentono di impadronirsi davvero della disciplina. E ci sono manuali di logica scientificamente validi, ma difficili e faticosi. Questo volume propone una via intermedia e si rivolge a chi non sa nulla di logica, proponendosi di condurlo a padroneggiare la morfologia, la sintassi e la semantica della logica elementare. Introduce inoltre alcuni dei nodi logico-filosofici più interessanti del pensiero contemporaneo, dalla contraddizione scoperta da Bertrand Russell nella teoria ingenua degli insiemi ai teoremi di incompletezza di Gödel, passando per Wittgenstein, la teoria della verità di Tarski e il problema del paradosso del mentitore.

L'intento dichiarato di questo manuale importante e di piacevole lettura è quello di essere una via di mezzo tra il testo scientifico, difficile e faticoso, e l'escursione turistica nei territori della logica: Logica da zero a Gödel, appunto. L'uso del testo è didattico, la sua specificità è quella di accompagnarci lungo i sentieri della logica elementare: insegnarne la morfologia, la

5.37 MB Dimensione del file
8842086347 ISBN
Logica da zero a Gödel.pdf

Tecnologia

PC e Mac

Leggi l'eBook subito dopo averlo scaricato tramite "Leggi ora" nel tuo browser o con il software di lettura gratuito Adobe Digital Editions.

iOS & Android

Per tablet e smartphone: la nostra app gratuita tolino reader

eBook Reader

Scarica l'eBook direttamente sul lettore nello store www.bayareabarnsandtrails.org o trasferiscilo con il software gratuito Sony READER PER PC / Mac o Adobe Digital Editions.

Reader

Dopo la sincronizzazione automatica, apri l'eBook sul lettore o trasferiscilo manualmente sul tuo dispositivo tolino utilizzando il software gratuito Adobe Digital Editions.

Note correnti

avatar
Sofi Voighua

23. Juli 2019 ... In seinem Gastbeitrag anlässlich der Konferenz "Kurt Gödels Erbe" beschreibt Mathematiker Karl Sigmund wichtige Stationen dieser Beziehung. " ...

avatar
Mattio Mazio

[2]Francesco Berto, Logica da zero a Goedel, Laterza, Roma-Bari, 2007; pagg. 218 [3] Franca D'Agostini, I mondi comunque possibili: logica ... tigo "Reducjao Logica da Filosofia em Wittgenstein", em Re vista Portuguesa de Filosofia 38 ... Godel, etc. propoe uma nova S0IU9S0 : a matematica sao formalmente ... operagao-potencia de expoente zero, sobre a variavel x. Porque.

avatar
Noels Schulzzi

«Il Teorema di Gödel è stato preso come icona della cultura contemporanea: una cultura, si ritiene, governata ... Per i nostri tipi, Logica da zero a Gödel (20075).

avatar
Jason Statham

11 Nov 2013 ... “0” is the only constant and denotes the number zero. ... “The scope of Gödel's first incompleteness theorem,” Logica Universalis, 8: 499–552.

avatar
Jessica Kolhmann

tigo "Reducjao Logica da Filosofia em Wittgenstein", em Re vista Portuguesa de Filosofia 38 ... Godel, etc. propoe uma nova S0IU9S0 : a matematica sao formalmente ... operagao-potencia de expoente zero, sobre a variavel x. Porque.