[zxspectrum] Re: ZX Coding competition
- From: Roberto Montaruli <rmontaruli@xxxxxxxxx>
- To: zxspectrum@xxxxxxxxxxxxx
- Date: Fri, 24 Oct 2003 02:13:58 -0700 (PDT)
--- Enrico Maria Giordano <e.m.giordano@xxxxxxxxxxxxxxx> wrote:
>
>
> Roberto Montaruli wrote:
> >
> > > Infatti ho sbagliato a dire che "l'insieme vuoto appartiene a". Avrei
> > > dovuto dire "il contenuto dell'insieme vuoto appartiene a"...
> >
> > Tutto quello che vuoi, ma qui subentra quel concetto di "Assioma
> indecidibile"
> > per cui non si puo' dimostrare proprio niente.
>
> Non ti seguo...
Andiamo pesantemente OT.
Non si riesce a riassumere la teoria di Cantor, e tutte le argomentazioni di
Gauss sugli assiomi indecidibili in un paio di righe...
Il punto e' che quando si parla di insiemi che contengono altri insiemi, si
finisce inevitabilmente a cozzare contro paradossi indecidibili.
Pur operando nel rigore logico matematico, si puo' tranquillamente giungere a
conclusioni diverse in contrasto tra loro.
E questa e' una anomalia con la quale tocca convivere perche' e' stato
dimostrato che non se ne esce...
=====
//
// In a world without walls and fences
// you would not need windows and gates.
// (Confucio)
==
P'n'P: http://cnn.com/TECH/computing/9804/20/gates.comdex/index.html
__________________________________
Do you Yahoo!?
The New Yahoo! Shopping - with improved product search
http://shopping.yahoo.com
Other related posts:
