zibaldone

Sono vivo, sono vivo. E non è che non abbia niente da dire...

Qualche commento sparso che mi ero appuntato di passaggio, giusto per rendere la cosa verosimile.

 

• Settimana scorsa sono finalmente passato a Lucid Lynx, ma la vera novità è vecchia già di qualche mese: ho deciso di provare GNOME... e non me ne sono ancora pentito!
  KDE era KDE 3.5. KDE4 è un'altra cosa, ha fatto il pieno di aspettative, tutte puntualmente deluse. Il punto forte di KDE era la completa customizzabilità, e con KDE4 è stata completamente rasa al suolo. Inoltre un sacco di applicazioni ora sono piene di bachi e prive di funzionalità: da konsole alla mitica gwenview, ora diventata amorfa e inutile.
  Ma sto sparando sulla crocerossa, ormai anche pollycoke parla male di KDE4 :-)
  E GNOME? Non è male. KDE 3.5 si rimpiange sempre, ma rispetto a KDE4 in cui sembrava sempre di essere in un ambiente trabalante e contraddittorio GNOME ha quell'aria di desktop uniforme e funzionante che è stato un piacere ritrovare. Finalmente non c'è più quell'eterna sensazione di precarietà, di cose che un giorno — sì, certo, un giorno — saranno fantasmagoriche — ma intanto non funzionano. A parire da Konsole... ehm, da gnome-terminal, che si apre sempre con le stesse dimensioni, e si può persino — ma pensa! — scegliere quali.
  E poi così potrò assaggiare "subito" tutte le novità che Mark Space Cowboy Shuttleworth sta macchinando... o farà, GNOME, la stessa fine di KDE 3.5?

• Per metterci anche un pizzico di attualità, rendo qui omaggio ad Arnold, venuto a mancare settimana scorsa. Non è certo per questo che é diventato famoso, ma a me piace comunque ricordarlo così:

  Mathematics is a part of physics. Physics is an experimental science, a part of natural science. Mathematics is the part of physics where experiments are cheap.

• 
  accessi al sito
  (pochiiiissima ggente)
  Quasi sicuramente nessuno se ne sarà accorto, visto che da queste parti passa pochiiiissima ggente e del tutto per caso (meno male che esistono i feed... ehi, Fabristol, come fai a farne a meno?!?), nessuno se ne sarà accorto, dicevo, ma da un po' di tempo google non permette più il link diretto alle immagini hostate su un googlegroups, il che ha la spiacevole conseguenza che la maggior parte delle mie immagini di corredo ai miei post ora non è più visibile.

  
  meno male che esistono i feed

  Non credo riuscirò a trovare il tempo per spostare tutte le immagini che stanno qui e metterle qui e soprattutto correggere tutti i link e i src in tutti i vecchi post. Magari lo farò per qualcuno dei vecchi post più significativi, ad esempio questo, in onore a Borges oppure il finale della serie sulla visione delle api, in cui le immagini non sono solo accessorie ma sono lo scopo finale di tutto il thread.
  Ma, inutile precisarlo, i tempi saranno i soliti di questo blog.

• Ho letto l'intervista a Eco di AubreyMcFato. Se riesco provo a scriverci un breve post, credo lo intitolerò "Non toccatemi Eco" (ma visti i precedenti, non fatevi troppe aspettative basandovi sul titolo...)

• Invece che uno solo, vorrei tanto scriverne un'intera serie, di post, a tema libertario (il sostantivo è più equivoco, almeno in italiano: libertarianismo? libertarismo?). E' una di quelle "scoperte" che, e non sto esagerando, ti cambiano radicalmente il modo di vedere e concepire praticamente tutte le cose. Vedremo se e cosa riuscirò a comporre... (a proposito, Fabristol, com'è che non hai ancora scritto un post in chiave libertaria su Falcon 9 e Space X?).

Quine - 1+2i

In attesa di un reale post su Quine, faccio seguito al thread su una sua ipotetica sottoscrizione "letterale" dell'affermazione di Arnold secondo cui anche la matematica sarebbe, in fondo, una scienza "empirica".

Non ho tempo ma soprattutto capacità di difendere, qui e ora, nessuna delle due tesi — quella sulla matematica, e il fatto che Quine la sottoscriverebbe. Mi limito, forse più per giustificare la seconda che per convincervi della prima, a citare Quine stesso, da un passo di uno dei suoi ultimi libri. Includo una premessa, per contestualizzare:

[Definendo questa formalizzazione di somma e prodotto] mediante '∈', in uno qualsiasi dei modi conosciuti possiamo immergere questo linguaggio chiuso in un altro linguaggio formalizzato che ha come unico predicato la stessa '∈', e che comprende l'intera matematica classica. Naturalmente, esistono innumerevoli linguaggi formalizzati estranei alla matematica classica; un esempio banale è quello di parentela, i cui predicati sono 'F' (femmina), a un posto, e 'G' (genitore), a due posti. [...] Tipiche verità espresse in questo linguaggio sono: che le relazioni di fratello, coniuge e cugino sono simmetriche, che quella di genitore è asimmetrica, che quello di fratello germano è transitiva. Pur essendo estranea alla matematica, la teoria della parentela, nel suo modo banale, ne conserva chiaramente il sapore, e io non esito a farvela rientrare.

Tuttavia non si può dire che la nozione di "linguaggio formalizzato" catturi, per sè sola, l'essenza della matematica. Le cose che ci fanno sentire (forse) un sapore di matematica sono il numero limitato di predicati primitivi e la valorizzazione della costruzione logica che ne consegue; forse la matematicità è una questione di grado. In ogni caso, io non ho un criterio di demarcazione da proporre: il fatto che le variabili della matematica classica prendano come valori oggetti astratti, mentre quelli della teoria della parentela prendono esseri umani o altri animali non costituisce una differenza significativa; dopotutto la stessa '∈' ha alla sua base, come argomenti primi, oggetti concreti.

ma il passo più succoso è quello che segue immediatamente:

Se liberiamo la geometria dal letto di Procuste della teoria astratta delle relazioni e la reintegriamo nella sua condizione originaria, quella dei tempi di Euclide, essa non rientrerà più nel linguaggio formalizzato basato su '∈', e diverrà un linguaggio formalizzato a se stante, nonchè un analogo (sostanzioso e venerabile) della mia banale teoria della parentela: i suoi predicati torneranno a denotare superfici, curve e punti dello spazio reale. La geometria, come la teoria della parentela, è una matematica con un oggetto marcatamente empirico. Ciò che ha finito per esiliarla nel limbo delle matematiche non interpretate è l'anomalia logica del postulato euclideo delle parallele, la sua resistenza alla deduzione dagli altri postulati, più semplici. Questa circostanza ha stimolato l'esplorazione di postulati alternativi, quelli delle geometrie non euclidee, e a lungo andare anche l'esplorazione dello sterminato dominio dei sistemi non interpretati, o algebre astratte.

Se ancora conserva il suo vecchio statuto di teoria matematica dotata di un oggetto, la geometria euclidea lo ha perduto nel momento in cui Albert Einstein ha stabilito che lo spazio stesso, definito dai percorsi dei raggi luminosi, non è euclideo. Si deve inoltre ricordare che, al di là del caso della geometria, la de-interpretazione già svolgeva un ruolo indispensabile nella teoria della dimostrazione, e forse ciò ha avuto l'effetto di esagerare la frattura, grande o piccola, che si avvertiva tra la matematica e il resto della scienza.

Ovviamente, la matematica non interpretata è non solo priva di contenuto empirico, ma anche estranea a ogni problema di verità e falsità. La disciplina che tratta questi sistemi non interpretati, e quindi le algebre astratte, fa invece parte della teoria delle relazioni; quindi è matematica interpretata, e rientra nella teoria degli insiemi.

Dallostimolo alla scienza, capitolo 5 Logica e Matematica.

Quine - 1+i

Grazie a ToMaTe (new-entry nel mio google-reader) scopro una bellissima "sentenza" di Vladimir Arnold (sì, proprio quell'Arnold della meccanica razionale di Galgani e Giorgilli):

Mathematics is a part of physics. Physics is an experimental science, a part of natural science. Mathematics is the part of physics where experiments are cheap.

e indovinate un po' chi mi è venuto in mente? Esatto, Quine! (be', la prossima volta che farò queste domande cercherò un titolo un po' più criptico per il post...)

Il pezzo dell'Arnold linkato, On teaching mathematics, chiarisce meglio il senso dell'incipit che ho citato, e continuare a leggervi Quine è forse oggettivamente una forzatura.

Ma vale comunque, moltissimo, una lettura.

 

E sì, sì, questo non vale come post su Quine (e infatti, nella numerazione dei post, non siamo avanzati dal numero uno...)

 

Comunicazione di servizio per Marco Ferrari: qui ritornavo sulla questione evoluzione con una domanda per te...

 

UPDATE: segue qui.