Newsgroup: it.arti.musica.classica
Titolo: Poesia dedicata a Mariateresa

Hai finto di piangere, hai simulato
disperazione; e poi meraviglia quando l'email
e` tornata indietro. Non avrei mai dovuto
credere alle tue lacrime. Se non avessi visto io
coi miei occhi nella tua rubrica l'indirizzo giusto, non avresti
mai confessato il tuo imbroglio. Sei falsa.
Giovanni 

Anche a me da fastidio la falsità.
ma...
sei sempre così arrabbiato?
A.
-- 
alex
------------------------------------------------------------------------
Inviato via 
http://www.freenfo.net/usenet
Profilo di alex: 
http://www.freenfo.net/usenet/member.php?userid=772

Gigà che ti è successo ? Stai male ?

 Gigą che ti č successo ? Stai male ?
No no, tutto risolto.
G 

Davvero ? Mi fa piacere. Lo sai ... All'inizio ti ho giudicato male.
Poi pero mi sono accorto che non sarai un "vero" matematico, ma sei
umanamente molto migliore di tanti esseri immondi che stanno su questo
ng.
Sti cazzi della matematica : prima la persona, poi si vede ...
Bacioni.
Anzi sai che ti dico : la mia email è :
mcat...@bancafideuram.it
se tiva mandami una email che parliamo un po ... 
Ciao !

 non sarai un "vero" matematico
In che senso??
G 

>In che senso??
Be me l'hai detto tu no ? Che ti interessi piu alla filosofia della
matematica ecc ecc ...
Non ti ricordi ?
Oh mo non è che mi ti stranisci !?!

 Non ti ricordi ?
Si`, e al riguardo voglio dire una cosa.
Si puo` fare "nuova matematica" almeno in due sensi.
Il primo e` aggiungere nuove conoscenze nell'ambito del paradigma gia` 
esistente. Ed e` quello che fanno quelli che tu chiami "veri matematici", i 
working mathematicians: gli analisti, gli algebristi, eccetera.
Il secondo senso e` fare matematica *sostanzialmente nuova*, esplorando 
*nuovi paradigmi*. Questo, tradizionalmente, invece che dai working 
mathematicians (=gli analisti, gli algebristi, eccetera), viene fatto nella 
maggior parte dei casi da coloro che si occupano di fondamenti della 
matematica, di filosofia della matematica.
La differenza e` che i working mathematicians si muovono in un territorio 
dai confini ben definiti (gli assiomi di spazio di hilbert sono gia` li`, 
gli assiomi di gruppo sono gia` li`, eccetera), mentre gli studiosi di 
fondamenti si muovono nello "spazio libero", predisponendo le cose in modo 
tale da ritrovarsi con le proprieta` desiderate.
E` un po' la differenza che c'e` tra chi aggiunge l'ennesimo romanzo alla 
montagna di romanzi esistenti di un dato genere, e chi crea *nuovi generi* 
letterari.
G 

Giovanni Lagnese ha scritto:

eh ma sti cazzi, ho fatto la stessa identica cosa anni fa! la
disperazione e' una brutta bestia...
d

tale da ritrovarsi con le proprieta` desiderate.
Interessante.
Mi fai venire in mente Godel. Ma tu indendevi qualcosa di piu.
Fammi un esempio. Intendo : con parole discorsive, fammi un esempio di
nuovo paradigma.
Attendo.

 fammi un esempio di nuovo paradigma.
Ad esempio la matematica intuizionista di Brouwer.
G 

>Ad esempio la matematica intuizionista di Brouwer.
vabbe ma questo non è molto recente ! Ok : non moltissimo !
Qualcosa di piu "arrapante" ?

 Qualcosa di piu "arrapante" ?
La logica lineare.
G 

Ops ... ! 
Che cos'è ? (se ti va di spiegarmelo ...)

 Che cos'è ? (se ti va di spiegarmelo ...)
Una logica in cui da A-->C e B-->C non segue A-->(B and C).
G

 Una logica in cui da A-->C e B-->C non segue A-->(B and C).
Scusa, che rimbambito. Volevo dire:
da A-->B e A-->C non segue A-->(B and C).
G 

Se conosci un po' di teoria della categorie, beh, si tratta sostanzialmente 
della logica delle categorie monoidali chiuse.
G 

>Una logica in cui da A-->C e B-->C non segue A-->(B and C).
... Ok : mi hai dato da pensare.

 ... Ok : mi hai dato da pensare.
Guarda che volevo scrivere:
da A-->B e A-->C non segue A-->(B and C).
G 

da A-->B e A-->C non segue A-->(B and C).
Ti ringrazio ... Ci stavo gia diventando matto !
Non lo fare piu : è come dire a uno che ha un tumore e poi dirgli "non
no scusa mi sono sbagliato ..."
;0)