Come Formalizzare una Dimostrazione?

[josquino]

.Inoltre già trovo difficoltà con dimostrazioni che usano l'analisi e l'algebra,figuriamoci la geometria euclidea..

A me sembra il contrario. Non sono più difficili le serie, le successioni, gli insiemi rispetto ai triangoli, alle parallele, ecc..?

[mklplo]

@josquino:questo penso che sia più qualcosa di soggettivo.

[Indrjo Dedej]

Io gli ho detto un sacco di volte che la geometria euclidea serve...

[vict85]

Proprio per il fatto che l'infinito non è un numero che prima avevo usato $omega$,che indica il più piccolo numero ordinale transfinito.Inoltre ho scelto di usare un numero che non appartiene ad $NN$,ma più grande di qualsiasi altro numero naturale,proprio per evidenziare il fatto,che il minimo non esiste,e che il suo $i n f$ sia uguale a $0$.Ora non so se sia o meno corretto,usare i numeri ordinali in questa dimostrazione,ma nel caso non lo sia,mi piacerebbe sapere anche il perché(per cercare di evitare errori futuri).
@Indrjo Dedej:grazie per il link,farò qualche ricerca in merito.

Non mescolare cose. Una successione non è altro che una funzione \(a\colon \mathbb{N}\to X\). Al fine di estenderlo ad ordinarli superiori devi avere un modo per farlo. I limiti sono ciò che si usa generalmente a questo scopo, e potrebbero non esistere. Detto questo è raro incontrare ordinali e cardinali al di fuori di corsi di logica.

[mklplo]

Grazie della risposta.Quindi gli ordinali e i cardinali,mi conviene non usarli nelle dimostrazioni.Giusto?

[axpgn]

@josquino
Stai parlando al vento ... ha aperto un post su consigli per "imparare" a dimostrare ma siccome i consigli non gli piacciono, li ignora ... film già visto ...

[mklplo]

@axpgn:In realtà,buona parte dei consigli li provo a seguire,come ad esempio,il provare a dimostrare anche cose che consideravo banali,per non parlare del fatto,che non proseguirò gli studi,finchè non avrò,un po' di rigore in più nelle dimostrazioni.Quindi,potresti dirmi,il perchè dici che tanto i consigli non li seguo?

[axpgn]

Se li segui non si nota ... se vuoi fare il muratore inizi col costruire un muro anzi tanti muri anche se può essere noioso, non con una casa intera ... ovviamente sei libero di fare quello che più ti piace così come io ritengo inutile darti consigli ... IMHO ...

[mklplo]

@axpgn:va bene,solo per curiosità,cosa intendevi con la frase "..se vuoi fare il muratore inizi col costruire un muro,anzi tanti muri,anche se può essere noioso,non con una casa intera.."(nel senso,perchè dire questa frase proprio in questo discussione,in cui cerco di fare prima le cose più semplici)?

[Indrjo Dedej]

... io ritengo inutile darti consigli ... IMHO ...

Hai già mollato?