Elio Fabri, in data Mon, 19 May 2003 20:57:27 +0200, ha scritto in
"it.scienza.fisica" nel thread "Re: crisi fisica classica":
> E' interessante soprattuto il richiamo al positivismo, che oggi si usa
> tirare da tutte le parti, sempre in senso negativo: perfino come
> antesignano del marzismo, quando e' noto che sono sempre stati
> inconciliabili... Altra prova d'ignoranza, visto che anche i fondatori
> della m.q. erano fortemente influenzati dal positivismo, soprattutto
> nella versione della scuola di Vienna.
Personalmente non ci vedo nulla di male nel positivismo.
La mia insegnante di filosofia mi defin� "il principale rappresentante in
5^C del neopositivismo logico"... ;-)
> > Io ho capito che il programma di Hilbert voleva rendere definitivamente
> > inossidabile ogni risultato della matematica. Mi sbaglio?
> "La teoria matematica dicui sispera di provare la compatibilita' diviene
> allora essa stessa oggetto di uno studio matematico, che Hilbert chiama
> 'metamatematica' o 'teoria della dimostrazione'."
Tutte cose di cui poi si occuparono, oltre a Goedel, anche Turing, Tarski,
Church. Sbaglio?
E alla fine il succo di tutti i loro lavori � che la nozione di verit�
(ovviamente matematica) � pi� forte di quelle di dimostrabilit� e di
computabilit�.
E, filosoficamente, questi non sono forse "limiti intrinseci" al sapere?
> > Certo, che fu preso seriamente fino a che Goedel non lo demoli', dimostrando
> > l'esistenza di teoremi non derivabili internamente al proprio sistema
> > formale!
> Questo l'hai imparato da Zichicbi? :) Se non sono derivabili non sono
> teoremi...
Scusa, ho scritto di fretta (il che nel dominio della matematica e delle
scenze � cosa grave). Volevo dire "l'esistenza di verit� non derivabili
internamente al proprio sistema formale".
Per fortuna hai messo lo smiley, se no l'accenno a Zicchichi, mi avrebbe
offeso... :-)
Diciamo che lo conosco poco, e quel poco mi basta a schierarmi dalla parte
di Odiffreddi...
> Comunque l'importante e' che i risultati di Goedel sono appunto
> risultati della metamatematica, costruiti quindi nella linea del metodo
> indicato da Hilbert.
Sempre da quello che so a livello divulgativo, uno degli almeno due colpi di
genio della dimostrazione di Goedel fu proprio quello di usare le "armi" di
Hilbert per ridimensionarne le aspettative del suo programma. Se non sbaglio
il secondo fu di porre in corrispondenza i simboli "tipografici"
dell'aritmetica con i numeri della stessa, permettendo quindi ad un numero
(molto grande, ma comunque finito e computabile) di essere
contemporaneamente un numero ed un teorema.
> Non e' la parola che manca, e' la realta' che non corrisponde. Certo
> c'era anche chi pensava cosi', ma altrettanti che avevano atteggiamenti
> opposti
Spesso ti irriti quando si parla, in svariati contesti, di "climi
culturali". Perch� ne neghi l'esistenza? O forse invece perch� temi che
dietro questo termine si celi qualche tentativo di legittimazione della
fisica newage e analoghe amenit�, e quindi, nel dubbio, preferisci tagliare
subito le gambe a chi ne parla?
Poi � evidente che in qualunque clima c'� chi ne contesta certe tesi, di
solito quelle pi� comunemente accettate nel clima stesso, e sono questi che,
se l'azzeccano, diventano gli scienziati "immortali".
(Mio Dio! Spero che Sorrentino, Dinelli, Fraterno & C siano voltati
dall'altra parte...)
> Sinceramente, almeno per il momento non mi sento. Ti faccio al massimo
> una lista di nomi: cerca di riempirla tu.
> Calore, luce, campi e cariche, termodinamica, atomi (realta',
> struttura), etere...
> Qui siamo in pieno '800, dall'inizio alla fine. Tutti problemi,
> discussioni a non finire, difficolta' risolte e non risolte...
Sei gi� gentile cos�, cercher� di lavorarci sopra. Al limite, se ti viene in
mente al volo qualche nome di scienziato protagonista di celebri battaglie,
quelle che ai congressi di solito iniziano con "mi consenta di dissentire,
esimio collega,..." ;-)
Ciao, e grazie.
--
Roberto Rosoni
<roberto.rosoni_at_liberoLock.it> (Remove the Lock in your replies)
Noi Elaboratori della Serie 9000 siamo incapaci di sbagliare (2001ASO)
Received on Mon May 19 2003 - 22:15:12 CEST