<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">Il giorno 27 maggio 2016 14:20, enrico franchi <span dir="ltr"><<a href="mailto:enrico.franchi@gmail.com" target="_blank">enrico.franchi@gmail.com</a>></span> ha scritto:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_extra"></div><br><div class="gmail_extra"><br></div></div></blockquote><div>Non ti seguo nel discorso logico e matematico: la mia formazione non comprende<div>proprio l'insiemistica: tout court, quel poco che so non è di certo avanzato o altro.</div><div>Io mi sono formato soloai sistemi di equazioni alle differenze finite.</div><div>Quindi prendo per buono quello che dici e mi fido.</div><div><div>Eh, no. Di certo non sono un matematico: mi piace e mi diverto se qualcuno mi spiega</div><div>qualcosa di nuovo, ma non ho voglia di rimettermi davvero a studiare. Al limite chiamo</div><div>qualche amico quando ne ho davvero bisogno.</div><div><br></div><div>Ah, prolog. Non era casuale se ieri citavo pyDialog. Sostanzialmente implementa</div><div>in python una logica prolog e parte della sua sintassi. </div></div></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_extra"></div><div class="gmail_extra">E qui si scopre che uno dei primi concetti da gestire e' quello di modello stabile e poi di modello ben fondato (incidentalmente, la mia tesi magistrale era su sta roba). E si scopre anche che non ci sono modi efficienti per implementare la semantica di modello ben fondato in un linguaggio di programmazione. Wikipedia sostiene che ci siano algoritmi quadratici per calcolarlo (ma a suo tempo mi pare fosse ben piu' complicato, io ricordo che eravamo molto contenti di averlo fatto in modo cubico). E quindi si arriva ad answer set programming.</div><div class="gmail_extra"><br></div><div class="gmail_extra"><br></div><div class="gmail_extra">Ma insomma... TL;DR</div><div class="gmail_extra"><br></div><div class="gmail_extra">MediciSet("is zero of Zeta Function") & MediciSet("is complex and has real part == 1/2")</div><div class="gmail_extra"><br></div><div class="gmail_extra">Se hai veramente implementato gli insiemi "come li vuoi tu", mi sai anche calcolare quella roba lassu'. Se sai calcolare quella roba lassu', hai appena dimostrato (o disprovato) l'ipotesi di Riemann e diventi il matematico piu' importante della nostra generazione. Si... ho saltato un botto di passaggi per arrivare dal pappardello a questa versione breve. </div></div></blockquote><div><br></div><div>:-) magari, ma non credo proprio. </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_extra"> </div></div></blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_extra"></div><div class="gmail_extra">Ora... buona fortuna. Ma per un uso pratico degli insiemi, non ti serve niente di cui sopra... e li hai gia'. Per esempio... vuoi sapere se un ente matcha certe proprieta'? Banale. Ci sono anche librerie -- tipo hamcrest -- che ti rendono facile scrivere le regole. Se le regole sono relativamente semplici computazionalmente e parti da un insieme finito, puoi anche calcolarlo facilmente. Se l'insieme e' infinito, beh... amen. Puoi comunque comporre regole e compagnia e testare ogni candidato.</div></div></blockquote><div><br></div><div>hamcrest? Ok, in cartella anch'esso. Peccato che non ho mesi di ferie :-) </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><br></div><div class="gmail_extra">Quindi non capisco cosa siano i tuoi insiemi. Non possono essere "i veri insiemi" (scusa, ma sono scettico sul fatto che in un estate rifondi tutta la logica computazionale risolvendo alcuni dei problemi piu' ardui della materia). E quindi che resta... quello che gia' abbiamo. O mi sono perso qualcosa?</div></div></blockquote><div><br></div><div>Verissimo: non sono veri insiemi sal punto di vista matematico. Purtroppo non ricordo</div><div>neppure esattamente il cosa, come e perché mi servivano.</div><div>Ricordo solo, e vagamente, che stavo scrivendo qualcosa relativo</div><div>alla previsione degli andamenti futuri di alcuni fatti aziendali. Ricordo ancora</div><div>che utilizzavo sostanzialmente un metodo basato su medie mobili inventato da un tizio</div><div>che, allora, lavorava per la Fiat, e che si chiamava Lewandoskj. E che cercavo di accoppiare</div><div>diverse situazioni per vedere quanto, come e dove, si potevano trovare indicatori storici</div><div>di previsione chiamiamoli A, B, ... per una ragionevole previsione di un altro valore futuro Teta.</div><div><br></div><div>A quei tempi bastava e, stranamente, funzionava anche decentemente. Oggi, con </div><div>il mondo che cambia così alla svelta, avrei dei dubbi molto grossi sulla fattibilità</div><div>di previsioni di quel tipo non dico a 12 mesi, ma anche a 3/6.</div><div><br></div><div>Il che non toglie nulla al fatto che la voglia mi è rimasta e quindi indagherò sul</div><div>tema. E credo non sia casuale, di nuovo, che cercando mi sia imbattuto in pyDialog.</div><div><br></div><div>Il fatt'è, tutto sommato, che programmare ed imparare cose nuove mi diverte</div><div>oggi come allora.</div><div><br></div><div>Alex</div><div><br></div><div>ps: anche se non c'entra una mazza: a voi risulta che Anaconda implementi il threading </div><div>in modo molto più efficiente (intendo veloce) di Cpython su Linux?</div></div></div></div>