Vorrei capire perché in una teoria assiomatica le proposizioni sono talvolta
chiamate come

teoremi
proposizioni
corollari
lemmi

quale è la differenza?
Cioé, come faccio a stabilire se una proposizione è un teorema, un lemma o
un corollario?

Grazie per l'aiuto!

ciao
tommaso

--------------------------------
Inviato via http://arianna.libero.it/usenet/

> Vorrei capire perché in una teoria assiomatica le proposizioni sono
talvolta
> chiamate come
> teoremi
> proposizioni
> corollari
> lemmi
> quale è la differenza?
> Cioé, come faccio a stabilire se una proposizione è un teorema, un lemma o
> un corollario?

non so se è ben specificata la distinzione. ti dico cosa penso io:
Lemma è un risultato intermedio che si ottiene durante la dimostrazione di
un teorema, ma ch epuò essere usato anche in altre dimostrazioni. diciamo
che è un risultato intermedio che può sempre tornare utile
Teorema è il risultato più generale.
Corollario è un risultato che si ottiene immediatamente dal teorema, entro
"pochi" passaggi. in genere si dovrebbe vedere a occhio la dimostrazione del
corollario
proposizione è un risultato intermedio, in genere si usa quando dimostri che
una definizione è ben posta, o similia...
questa divisione è perfettamente sindacabile

> Grazie per l'aiuto!
> ciao
> tommaso

ciao stefano
ps: e ora via agli sfanculamenti, Giovanni!

TOMMONE <tutorl@yahooNOSPAMMEEE.com> scrive:

> Vorrei capire perché in una teoria assiomatica le proposizioni sono talvolta
> chiamate come
>
> teoremi
> proposizioni
> corollari
> lemmi
>
> quale è la differenza?
> Cioé, come faccio a stabilire se una proposizione è un teorema, un lemma o
> un corollario?

Non esiste una regola, in realtà tutte significano "enunciato
deducibile dagli assiomi" (all'incirca).

Si tratta di un artificio espositivo. Facciamo qualche esempio.

Lemma di solito indica un fatto tecnico che potrebbe essere usato
in più dimostrazioni; può anche essere un passo delicato in una
dimostrazione, la cui trattazione potrebbe distrarre il lettore dalla
linea della dimostrazione principale.

Proposizione indica un enunciato importante, ma non così tanto
difficile dare una graduazione).

Teorema invece è un punto fondamentale della teoria.

Corollario è un enunciato facilmente deducibile da un teorema
o una proposizione.

Insomma, chi stabilisce che cos'è un teorema, una proposizione,
eccetera è l'autore del testo che espone la teoria.

Ciao
Enrico

"Enrico Gregorio" <gregorio@math.unipd.it> ha scritto nel messaggio
news:011220031835320344%gregorio@math.unipd.it...
> Proposizione indica un enunciato importante, ma non così tanto
> difficile dare una graduazione).
>
> Insomma, chi stabilisce che cos'è un teorema, una proposizione,
> eccetera è l'autore del testo che espone la teoria.

ah però. a parte la proposizione le avevo azzeccate!
:-) ciaoo