La ricerca ha trovato 126 risultati

da WiZaRd
14 gen 2010, 00:50
Forum: Cultura matematica e scientifica
Argomento: Cerco Herstein-Rudin
Risposte: 6
Visite : 2405

jordan ha scritto:Fai il bravo cittadino italiano: scaricali illegalmente :lol: .
:lol: :lol: :lol: :lol: :lol: :lol: :lol: :lol: :lol: :lol: :lol: :lol:
da WiZaRd
11 gen 2010, 14:09
Forum: Algebra
Argomento: applicazione suriettiva
Risposte: 10
Visite : 2271

Ma infatti nelle mie risposte non c'era nessun intento polemico. Mi scuso se ho dato quell'impressione.
da WiZaRd
11 gen 2010, 00:24
Forum: Algebra
Argomento: applicazione suriettiva
Risposte: 10
Visite : 2271

Beh, io quell'esercizio lo trovato negli appunti di Algebra 1 scritti dal mio Prof. di Algebra lo scorso A.A.
da WiZaRd
09 gen 2010, 01:07
Forum: Algebra
Argomento: applicazione suriettiva
Risposte: 10
Visite : 2271

Io ho detto che hai sbagliato forum perché quello non è un quesito olimpico ma una caratterizzazione della suriettività che si studia in ogni corso di Algebra al primo anno di una triennale di Matematica.
da WiZaRd
08 gen 2010, 18:31
Forum: Algebra
Argomento: applicazione suriettiva
Risposte: 10
Visite : 2271

Hai sbagliato forum.
da WiZaRd
02 gen 2010, 03:31
Forum: Algebra
Argomento: Funzioni
Risposte: 13
Visite : 2097

In generale l'inversa di $ a(b(x)) $ è $ b^{-1}(a^{-1}(x)) $.
da WiZaRd
21 dic 2009, 04:22
Forum: Glossario e teoria di base
Argomento: Ma l'induzione non fallisce?
Risposte: 25
Visite : 4659

OK. Grazie mille :D
da WiZaRd
20 dic 2009, 20:15
Forum: Glossario e teoria di base
Argomento: Ma l'induzione non fallisce?
Risposte: 25
Visite : 4659

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...
da WiZaRd
20 dic 2009, 04:58
Forum: Glossario e teoria di base
Argomento: Ma l'induzione non fallisce?
Risposte: 25
Visite : 4659

Credo di aver capito.
Adesso però vado a dormire e domani me lo rileggo per essere sicuro.
Ad ogni modo è un gioiellino: lo stampo e lo azzecco sulla parete di fronte alla scrivania.
Grazie.
da WiZaRd
20 dic 2009, 01:53
Forum: Glossario e teoria di base
Argomento: Ma l'induzione non fallisce?
Risposte: 25
Visite : 4659

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...
da WiZaRd
19 dic 2009, 17:35
Forum: Glossario e teoria di base
Argomento: Ma l'induzione non fallisce?
Risposte: 25
Visite : 4659

No, non sono costretto.
Se mi vuoi proporre qualche lettura.
da WiZaRd
19 dic 2009, 17:04
Forum: Glossario e teoria di base
Argomento: Ma l'induzione non fallisce?
Risposte: 25
Visite : 4659

Purtroppo non posso linkartela perché non è in rete ma in forma cartacea. Se però hai tempo e voglia di aspettare un apio di orette, passo al LaTeX un paio di paginette e te le invio, così almeno ti fai un'idea, sempre che la cosa posse esserti di utilità per valutarla.
da WiZaRd
19 dic 2009, 06:21
Forum: Glossario e teoria di base
Argomento: Ma l'induzione non fallisce?
Risposte: 25
Visite : 4659

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...
da WiZaRd
16 dic 2009, 03:11
Forum: Glossario e teoria di base
Argomento: Ma l'induzione non fallisce?
Risposte: 25
Visite : 4659

OK. Grazie mille. E buona notte.

P.S.
Scusami ma non avevo visto il tuo primo post: stavamo scrivendo in contemporanea.
da WiZaRd
16 dic 2009, 02:48
Forum: Glossario e teoria di base
Argomento: Ma l'induzione non fallisce?
Risposte: 25
Visite : 4659

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...