jordan ha scritto:Fai il bravo cittadino italiano: scaricali illegalmente .
La ricerca ha trovato 126 risultati
- 14 gen 2010, 00:50
- Forum: Cultura matematica e scientifica
- Argomento: Cerco Herstein-Rudin
- Risposte: 6
- Visite : 4118
- 11 gen 2010, 14:09
- Forum: Algebra
- Argomento: applicazione suriettiva
- Risposte: 10
- Visite : 4356
- 11 gen 2010, 00:24
- Forum: Algebra
- Argomento: applicazione suriettiva
- Risposte: 10
- Visite : 4356
- 09 gen 2010, 01:07
- Forum: Algebra
- Argomento: applicazione suriettiva
- Risposte: 10
- Visite : 4356
- 08 gen 2010, 18:31
- Forum: Algebra
- Argomento: applicazione suriettiva
- Risposte: 10
- Visite : 4356
- 21 dic 2009, 04:22
- Forum: Glossario e teoria di base
- Argomento: Ma l'induzione non fallisce?
- Risposte: 25
- Visite : 8873
- 20 dic 2009, 20:15
- Forum: Glossario e teoria di base
- Argomento: Ma l'induzione non fallisce?
- Risposte: 25
- Visite : 8873
OK. Penso mi sia tutto chiaro. Solo alcune domande per chiudere, almeno per quanto mi riguarda ed almeno per il momento, la questione: quando apro un libro di logica, il linguaggio con cui viene spiegata la logica (i.e. le frasi in italiano od in inglese) è un metalinguaggio, giusto? Tornando alla t...
- 20 dic 2009, 04:58
- Forum: Glossario e teoria di base
- Argomento: Ma l'induzione non fallisce?
- Risposte: 25
- Visite : 8873
- 20 dic 2009, 01:53
- Forum: Glossario e teoria di base
- Argomento: Ma l'induzione non fallisce?
- Risposte: 25
- Visite : 8873
Innanzitutto ti ringrazio per il libro: sembra interessante. Prima di chiederti altro materiale voglio però leggermelo tutto cercando di capire qualche cosa. Nel mentre tornavo sul foro e trovavo il tuo ultimo post mi son messo a cercare un pò di cose su metamatematica, metateoremi e metadimostrazio...
- 19 dic 2009, 17:35
- Forum: Glossario e teoria di base
- Argomento: Ma l'induzione non fallisce?
- Risposte: 25
- Visite : 8873
- 19 dic 2009, 17:04
- Forum: Glossario e teoria di base
- Argomento: Ma l'induzione non fallisce?
- Risposte: 25
- Visite : 8873
- 19 dic 2009, 06:21
- Forum: Glossario e teoria di base
- Argomento: Ma l'induzione non fallisce?
- Risposte: 25
- Visite : 8873
A Tibor Gallai. Posso dire che non ho capito la distinzione che fai? Come dimostri senza il principio di induzione che in \mathbb{N} vale quella proprietà? Comunque la dispensa in questione tratta la costruzione di \mathbb{N} con gli assiomi di Peano (che non sono espressi in linguaggio formale), qu...
- 16 dic 2009, 03:11
- Forum: Glossario e teoria di base
- Argomento: Ma l'induzione non fallisce?
- Risposte: 25
- Visite : 8873
- 16 dic 2009, 02:48
- Forum: Glossario e teoria di base
- Argomento: Ma l'induzione non fallisce?
- Risposte: 25
- Visite : 8873
Penso di essere effettivamente in errore. Si vuole provare per induzione che \forall a,b,d \in \mathbb{N}, a+b=a+d \implies b=d . Per a=0 si ha 0+b=b=d=0+d \implies b=d che è banalmente vera. Occorre poi provare che (a+b=a+d \implies b=d) \implies ((a+1)+b=(a+1)+d \implies b=d) : supposto dunque ver...