> Tuttavia a distanza di decenni mipare si possa dire che l'analisi non
> standard proprio non ha sfondato. Probabilmente la ragione e' che il
> suo
> fondamento, al di la' del puro aspetto algebrico, non e' affatto
> semplice, in quanto richiede la teoria (logica) dei modelli.
Non sono un esperto e magari mi sbaglio, ma penso che il problema piu'
grosso di quella teoria sia che per studiare un oggetto che esiste in ZF
(mi pare proprio che l'esistenza dei reali non richieda Zorn) ne usa uno
che non esiste se non si assume anche C (o, equivalentemente, Zorn),
visto che l'esistenza di un ultrafiltro non principale (e quindi di *R)
e' uno degli equivalenti del lemma di Zorn.
S.
PS
Nell'universita' di Hull (v. e-indirizzo) c'e' un gruppo abbastanza
nutrito di analisti non-standard, quindi la disciplina non e' estinta...
--
Posted via Mailgate.ORG Server - http://www.Mailgate.ORG
Received on Fri May 09 2003 - 01:54:58 CEST