In questo mondo c'è qualcosa di sbagliato, se adesso pure Mind si è dato al cibo dietetico...
MindFlyer ha scritto:Definizione: a divide b se e solo se esiste c intero tale che ac=b.
Oh, oh, oh... Posso e debbo dunque dedurne che zero è divisibile per zero?!?
MindFlyer ha scritto:Lemma 1: i divisori di un intero positivo n sono minori o uguali di n.
Dimostrazione: se a divide n, esiste c intero tale che ac=n. c non può essere 0, quindi dev'essere >=1. [...]
In verità, siccome non è detto in alcun dove che la divisione sia condotta in $ \mathbb{N} $, tanto che di interi più volte si legge, e genericamente, nel corso del tuo intervento, beh... direi che quella tua conclusione andrebbe un po' rivisata, non ti pare?!? Del resto, in $ \mathbb{Z}_0 $ gli opposti si dividono, là dove in altre circostanze avremmo detto invece che si attraggono, ahmmm...
Massì, vabbe', suvvìa, mettiamo tutto lì nel calderone! Tanto, una boiata in più, una boiata in meno, che differenza volete mai che faccia, uh?!?
MindFlyer ha scritto:Lemma 2: ogni intero divide sé stesso. [...]
Lemma 3: ogni intero divide 0.
Ecco, come sopra, direi ch'è fermamente il caso d'escludere lo zero da tutti questi bei discorsi... E non mi si venga a dire che sono sempre il solito lezioso! Non mi pare proprio il caso di sponsorizzare verità parziali o peggio ancora di educare errate convinzioni. D'altro canto, è fatto per il bene della comunità, tutto lì!