Satana, Cantor e l'infinito

Voto medio di 41
| 18 contributi totali di cui 5 recensioni , 13 citazioni , 0 immagini , 0 note , 0 video
enigammi
Ha scritto il 22/01/13
cinque stelle a smullyan, che non è solo riuscito a selezionare i problemini da sottoporre ai suoi lettori senza stancare, ma è riuscito a dare un crescendo alla storia e far sì che si addentri mano a mano sempre più nella logica matematica con esemp...Continua
zar
Ha scritto il 10/08/09
Bello, un trattato di logica molto ben "dematematizzato". Si parla delle solite isole popolate da cavalieri e furfanti (qui chiamati semplicemente fanti), si passa all'autoreferenzialità, per arrivare al teorema di Goedel. Tutto molto piacevole. ...Continua
Luca
Ha scritto il 30/01/09

Logica matematica, ben piu' interessante rispetto ai precedenti libri della collana; li continuo a leggere per inerzia.

.mau.
Ha scritto il 16/11/08
Non solo problemini di logica, ma anche temi della logica matematica contemporanea
Non so se i rompicapi di questo libro siano così "inquietanti" come da sottotitolo. Sicuramente Smullyan, dopo il corso di logica sotto forma di matematica ricreativa del suo precedente Qual è il titolo di questo libro? (vedi la mia recensione a http...Continua
Marco Benini
Ha scritto il 20/12/07
Un libro di enigmi logici e matematici. Tuttavia non deve spaventare: non serve fare conti, ma solo ragionare bene (anche se in certi casi è molto difficile...). Diviso in tre famiglie di enigmi, ognuna facente capo ad una specie di racconto: prima e...Continua

bit
Ha scritto il Apr 21, 2010, 15:45
9 • [...] Y asserisca che C è refutabile. [...] Poi mostrate che uno di essi è vero e non dimostrabile, e che l'altro è falso ma non refutabile.
Pag. 193
bit
Ha scritto il Apr 21, 2010, 15:04
7 • [...] Se X non è vero, allora Y non è dimostrabile (perché X è vero se e soltanto se Y non è dimostrabile); 9 • [...] Soluzione 1: Y = P°QP°Q
Pag. 200
bit
Ha scritto il Apr 21, 2010, 15:01
3 • [...] è dimostrabile.
Pag. 198
bit
Ha scritto il Apr 17, 2010, 17:32
Naturalmente questa è la stessa cosa dell'espressione NQ_1NQ_1 del sistema del professor Quincy
Pag. 180
bit
Ha scritto il Apr 17, 2010, 17:30
4 • [...] Ci sono un x e un y tali che x crea ay e x crea bx.
Pag. 165

- TIPS -
Nessun elemento trovato
Aggiungi per primo una immagine!

- TIPS -
Nessun elemento trovato
Aggiungi per primo una nota!

- TIPS -
Nessun elemento trovato
Aggiungi per primo un video!

Lorem Ipsum Color sit Amet
di Nome Autore
Lorem ipsum dolor sit amet, consectetur Suspendisse varius consequat feugiat.
Scheda libro
Aggiungi