Sign in or Join FriendFeed
FriendFeed is the easiest way to share online. Learn more »

AdRiX › Comments

GePs
Ora non ditemi che questa non somiglia ad Alessandra Mussolini - http://ring.cdandlp.com/rarissi...
Ora non ditemi che questa non somiglia ad Alessandra Mussolini
So benissimo di espormi a un OALD gigantesco, ma per una volta che c'è una scusa buona per postare puppe su un gruppo pubblico ne approfitto... - GePs from Bookmarklet
Quindi? È lei? - GePs
direi di sì - AdRiX
Secondo me no - Lopo
no - taz
CI assomiglia appena vagamente... assomiglia più alla MUssolini di adesso di quando aveva 25 anni... NON è lei - SteveAgl-May WP be with u
assomiglia - Valerio
quella di 25 qui con Francesco Totti: http://www.dailymotion.com/video... - GePs
il disco è del 1977, lei avrebbe avuto 14 anni. - Lopo
la mussolini apparve su playboy italia nell'agosto '80.. potreste aver ragione - AdRiX
je sarebbe piaciuto! - Dyoniso
nel 77 la mussolini aveva 14 anni, e compare in "Una giornata particolare", di Scola http://www.kino-teatr.ru/acter... - dario
Comunque il fatto che ci somigli potrebbe portare a usi "gentisti" della foto... - GePs
basta un commento solo a smerdarli... (se proprio hai voglia di metterti a discutere con certa gente) - Dyoniso
non mi sembra lei, comunque le foto di playboy per fare il confronto dovrebbero trovarsi - thomas morton ☢
Minciaroni™
Da 1 a 10, quanta è la possibilità *reale* che la Grecia esca dall'euro e torni alla dracma?
4 - Braga
0,1 - Rob
1 - Guiseppe
0 ? - Bunnyzone
facciamo come quelli che sanno la matematica. la probalilità va da 0 a 1, la mia stima è <0.05 - AdRiX
ecco come pensavo. A pranzo tutti dicevano " appena la grecia esce dall'euro andare in vacanza lì non costerà niente per via della svalutazione", secondo me invece l'uscita dalla moneta unica è un evento altamente improbabile, ma ero in minoranza e sono stato zitto - Minciaroni™
0 - MarcoScud
boh, questo we ho parlato a lungo con il mio amico greco, che dice che assolutamente no -- e pare non sia mai stata questione di. - frugola
Paradossalmente, siamo più in dubbio oggi di ieri: perché prima delle elezioni Tsipras diceva che non voleva uscire dall'euro ma rinegoziare, ma ora si porta al governo una forza che mi sembra più radicale nella critica all'UE. - Braga
anche secondo me. Come operazione costa di piu' che starci dentro dal mio punto di vista e non e' che si fa in 5 minuti. Questo dipende qundi da quanto l'Europa ti aiuta ad uscire. - sciack
Braga
Il candidato di Civati è… Prodi. Originale vero? Nessuno ci aveva pensato. - http://video.repubblica.it/dossier...
Il candidato di Civati è… Prodi. Originale vero? Nessuno ci aveva pensato.
"“Io un nome in mente ce l'avrei, si chiama Prodi. Ce l'ho in testa da 2 anni”. Così il parlamentare della minoranza del Pd Giuseppe Civati, arrivando all'evento organizzato da Sel a Milano, Human Factor. E su l'ipotesi Amato, Civati ironizza su quella che doveva essere la rottamazione di Renzi." - Braga from Bookmarklet
propone prodi e ironizza su amato e la rottamazione di renzi? - thomas morton ☢
comunque facciamo così, accontentiamolo, prodi sia il candidato del nazareno - thomas morton ☢
Perché, dice, la rottamazione doveva essere culturale. Oh, lo dice lui. - Braga
poi lo sanno tutti che civati è stato il capo dei 101 (no, niente, questa la butto lì per il lol) - thomas morton ☢
e insomma, anche sto giro ce lo siamo bruciato. - M. from Flucso
l'hashtag però è bello #prodemos (ufficiale da blog) http://www.ciwati.it/2015... - elrocco
lol - Ciocci
#prodemos, ormai il greco è di moda e va su tutto - Mitì Vigliero
(no, sono sincero. a me ha fatto ridere in senso positivo) - elrocco
Mitì, è spagnolo :D - M. from Flucso
lo so (podemos storpiato), ma come suono sembra greco προδήμος - Mitì Vigliero
si legge prodomòs - AdRiX
piatto a base di olive, melanzane, carne di montone e capperi - AdRiX
Io glielo vedo, romano, che facepalma, brucia bozze di discorsi di insediamento e grida "porca troia, statti zitto una buona volta!" - Michele from Android
ma boh, si saranno parlati spero. - M.
Ma figurati. - Braga
Si saranno parlati tipo "pippo, guarda, sto in fissa con world of warcraft,non posso mollare per fare il presidente. Fammi diventare il tuo candidato" - Michele from Android
Durante le primarie per il segretario PD Civati aveva cercato, inseguito, implorato l'endorsement di Prodi. - Braga
del tipo "ma sì candidami pure (tanto nessuno ti caga)" - M. from Flucso
AdRiX
Michael Hedges - Aerial Boundaries - AdRiX
matteov***le
pat pat - AdRiX
quanto sei magro che invidia porcamiseria - AdRiX
argh - AndreaR
Pat pat lo voglio oggi che lavoro (dopo aver lavorato ieri). Ho male ovunque. Giao - matteov***le from iPhone
Leonardo Blogspot
Ieri un ragazzo di seconda mi ha debunkato il Visconte Dimezzato, per via che con l'emisfero destro si controlla il braccio sx e viceversa.
mia reazione: "MA CHE STAI DICENd... uhm... in effetti". - Leonardo Blogspot
gli hai messo un +1 sul registro? - thomas morton ☢
non c'è posto, è elettronico. - Leonardo Blogspot
sono combattuto nel laicare o meno - Haukr
mmmm... in realtà da reminescenze dei miei studi non dovrebbe essere così, almeno per quanto riguarda i movimenti - Minchi ♡
come il tipo che si è accorto dell'errore nel Signore delle mosche - Elia Spallanzani
mentre il resto dell'ipotesi, ovvero che una metà funzioni tranquillamente, è invero assai realistica - AdRiX
che errore nel signore delle mosche? io ricordo quello degli occhiali da miope usati come lente per accendere il fuoco. ma quello è il minore, se consideriamo lo stesso assunto della trama - thomas morton ☢
Errore nel signore delle mosche? - Federico D'Ambrosio
é invece notevole - Elia Spallanzani
e meno male che Calvino era tra i pochi scrittori italiani ad avere una cultura scientifica, tsk - miic from fftogo
Ma infatti questa cosa degli emisferi io non sono mica sicuro. - Leonardo Blogspot
sempre da reminescenze universitarie :D Gli emisferi ricevono gli stimoli esterni dalle varie parti del corpo in modo controlaterale (ossia l'emisfero sinistro riceve stimolti dalla parte destra del corpo) ma se parliamo di movimenti autonomi questi sono sotto il controllo del cervelletto che li comanda in modo ipsilaterale - Minchi ♡
ma se scrivi ad esempio la mano destra è comandata dall'emisf sx e viceversa - thomas morton ☢
Però se non erro in caso di lesione un emisfero può fare le veci, o sbaglio? - Emma Woodhouse from iPhone
E le emiparesi opposte rispetto all'emisfero lesionato in caso di ictus? - Duiglio
una semi risposta alle vostre domande http://fisioter.unipr.it/didatti... @Emma non sono certissima, dipende dall'entità della lesione e del periodo di insorgenza e dall'integrità del corpo calloso - Minchi ♡
È in comic sans, non mi fido. - Leonardo Blogspot
... Va be' consiglio anche i libri di Oliver Sacks tipo il noto "L'uomo che scambiò sua moglie per un cappello" - Minchi ♡
Minchi sì immaginavo, però diciamo, nella sfera dell'impossibilità del racconto, si può presumere che l'emisfero, trovandosi improvvisamente isolato, abbia deciso di fare da sé. :-) - Emma Woodhouse from iPhone
la vedo un po' dura :D - Minchi ♡
Ma una volta ho visto una puntata di House in cui CHISSENEFREGA voglio sapere l'errore nel signore delle mosche! - Leonardo Blogspot
Povero bambino, sarà un adulto che farà puntacazzismo sulla fisica di Interstellar. - Marcello from Android
è pronto per il frenfì - Haukr
Beh fa la scuola media, questo posto è praticamente la stessa cosa. - Marcello from Android
Gli occhiali del bambino grasso aka Piggy? (Non ricordo) non potevano essere utilizzati per accendere il fuoco - Marcello from Android
Dato che era cecato della malattia sbagliata e solo quelli dell'altro tipo funzionano - Marcello from Android
Il libro cade miseramente? Fanculo, è un capolavoro. - Marcello from Android
C'è anche da dire che uno scarafaggio grosso come un commesso viaggiatore non riuscirebbe ad alzarsi sulle zampette a causa del peso dell'addome. - Leonardo Blogspot
Anche il fatto che scendendo fino al fondo del l'inferno si sbuca agli antipodi è incompatibile con la fisica terrestre, Dante cialtronazzo. - Duiglio
<3 - Marcello from Android
E perché? È il fatto che si facciano la salita a piedi dal centro della Terra che mi ha sempre un po' lasciato perplesso. - Leonardo Blogspot
C'è anche da dire che un corpo diviso a metà non funzionerebbe per via degli organi pari mancanti, tipo cuore, fegato, pancreas, vescica per fare esempi. Forse hai in classe un futuro ingegnere - Chiaracaffè
Se hai in classe un futuro ingegnere fai i dovuti esorcismi.. :D - luciano g.
ora vi rivelerò una cosa sulle armature vuote - vic
vic: Treguna Mekoides Trecorum Satis Dee - Lopo
il riferimento non era quello, ma è ben trovato :-) - vic
più che altro all'inizio del libro viene detto che l'altra metà si era spappolata, e poi magicamente si scopre che era intera. (Il *mio* puntacazzismo di quando ero alle medie) - .mau.
Sei alle medie?! - Davide in the TARDIS from Android
l'errore nel Signore delle mosche? - ffdfftyhbhuhrdfg
L'errore segnalato sopra da thomas, illeggibile; vedi anche http://eliaspallanzanivive.wordpress.com/2014... - bianca from Android
Come voleva dirvi Vic, Agilulfo is not amused. - Stefano. Wondarbroot
.mau., quello è un esempio di scuola di inattendibilità del narratore. - Leonardo Blogspot
epperò in un libro, in mezzo alla suspension of disbelief, c'è anche la parte per cui il narratore non ti frega, o perlomeno deve esplicitamente dirti che ti aveva fregato - .mau.
il signore delle mosche è sbagliato perché esprime una visione pessimistica della natura umana che non è quella giusta: racconta una storia dove la maggior parte dei ragazzi inizialmente schierati dalla parte dell'ordine e della ragione si abbandonano ai loro istinti selvaggi e cominciano a uccidersi fra loro. ora, il fatto che si uccidano fra loro non è sbagliato, ma invece di vedere... more... - thomas morton ☢
guarda che quello che dici tu é vampiri vs lupi mannari - Elia Spallanzani
Mitì Vigliero
Aita, accorr'uomo! - Fabs
Nessuno gli ha ancora proposto niente, ma loro hanno già risposto di no. La storia della sinistra radicale italiana. - Borgognoni
"cose ne pensi di..." "NO" - AdRiX
Eh - Borgognoni
visti gli ultimi vent'anni di storia italiana, un no a priori a qualsiasi proposta che sia avallata da berlusconi mi sembra più un fatto di sanità mentale che di posizionamento politico, ma sarò senz'altro io a essere scemo. - l'uomo senza gravità
Ciampi lo abbiamo eletto insieme a Berlusconi. Napolitano anche. - Borgognoni
Napolitano non era stato fatto coi soli voti della maggioranza? (la prima volta) - Federico D'Ambrosio
Numericamente è vero però: "Positivo anche il commento di Silvio Berlusconi, nonostante la Cdl abbia votato scheda bianca: «Voglio esprimere i nostri auguri di buon lavoro al nuovo presidente Giorgio Napolitano e auspichiamo che intenda svolgere il ruolo che la Costituzione gli assegna con vera imparzialità»." http://it.wikinews.org/wiki... - Braga
Comunque per tornare in topic, il Ciwa ha pubblicato un post sul blog (ovviamente!) intitolato "Quello che non (siamo)" http://www.ciwati.it/2015... io stoltamente pensavo si riferisse a Montale ("Codesto solo oggi possiamo dirti, / ciò che non siamo, ciò che non vogliamo") che già mi sembrava problematico se applicato al dibattito politico, invece apparentemente è una citazione di… Guccini ("la sublime poetica del maestro di Pàvana") - Braga
Sphera
Sharpest ever view of the Andromeda Galaxy. Zoomate lentamente. http://www.spacetelescope.org/images...
OGNI singolo puntino è UNA STELLA. *____________________________* - Sphera
È meraviglioso *_* - Valentina Quepasa
Molto più che meraviglioso, lascia senza parole. - Sphera
!!!!! - AdRiX
"Mio Dio! E' pieno di stelle!" - AdRiX
è.... "organica", davvero mozzafiato - AdRiX
File completo disponibile come torrent (4,3 GB) (Link magnet/torrent: magnet:?xt=urn:btih:5BE3C93B5C5D9150AB819B14B90360182BD3E26C&tr=udp://tracker.publicbt.com:80&tr=udp://tracker.openbittorrent.com:80&tr=udp://tracker.istole.it:80&tr=http://denis.stalker.h3q.com:6969/anno... ) - Sphera
C'è anche il video, tanto per dare (mandare in tilt) il senso delle proporzioni http://www.youtube.com/watch... - Sphera
E dire che "seconda stella a destra" sembrava un'indicazione facile. - Sphera
io lo sapevo che l'universo è un posto incredibilmente vasto e pieno di stelle... ma quante cazzo di stelle ci sono? porca miseria! - Antonio
"Milioni di milioni" (cit.) - Angelo Ghigi
che trip assurdo raga - Antonio
E quella è una galassietta tra milioni e milioni di altre, e stanno tutte lì tranquille a farsi le loro cose. Poi tu stai qui a preoccuparti del traffico in tangenziale. - Sphera
Dicono che ci siano più stelle di quanti granelli di sabbia ciò sono su tutta la terra. - Invernomuto from Flucso
poi il bello è che tu vedi una cosa piiiiiccola piccola di colore diverso da tutto il resto e tu pensi che magari quella deve essere una piccola stella particolare, vai a zoomare, e niente raga, è una fottutissima GALASSIA, chissà quanto sarà lontana e quanto sarà grande. - Antonio
Che la galassia con tutte le sue stelline vi accompagni nel weekend che inizia, miei cari. - Sphera
A quelli che si sentono figli di qualche Dio il brivido della certezza di non essere figli unici. - Isola Virtuale
Isola <3 - Sphera
Grazie di cuore! Che meraviglia! - Massimo Frezza from iPhone
AdRiX
Fwd: Sharpest ever view of the Andromeda Galaxy. Zoomate lentamente. http://www.spacetelescope.org/images... (via http://friendfeed.com/sphera...)
bastioni di Orione: PUPPAH - AdRiX
AdRiX
Auto blu, un flop la rottamazione di Renzi. Il governo ne ha 1.060 di troppo - Il Fatto Quotidiano - http://www.ilfattoquotidiano.it/2015...
Auto blu, un flop la rottamazione di Renzi. Il governo ne ha 1.060 di troppo - Il Fatto Quotidiano
PERCHé CLICCO GLI ARTICOLI DEL FATTO? PERCHé? - AdRiX from Bookmarklet
ma come? non valevano tantissimo? Perché non le danno in blocco a quelli del Fatto e vediamo se riescono a venderle? - Mr.Potato
fai come me: se vedi fatto, libero, post, salcazzo nel link non cliccarci. non è risolutivo, ma aiuta - ((°} from Android
che non siano vendibili è un motivo in più per sostenere che sono state comperate infischiandosene dei costi. Tanto pagavamo noi - obe
continueranno a comperarle comunque, i nuovi modelli, casomai con la scusa del motore ibrido. Preparate i denari - obe
sono troppe? quante ne servono? - Mr.Potato
Sleepers
Cause e prevenzione degli infortuni del podista | FisioRun - http://www.fisiorun.it/infortu...
Cause e prevenzione degli infortuni del podista | FisioRun
Divulgativo, sintetico e con link agli studi originali. - Sleepers from Bookmarklet
uh la cosa dell'alternanza delle scarpe non l'avevo mai sentita. - signora maria - OoA from Flucso
sì invece, è uno dei primi consigli che ti danno. - Roux
Sulle scarpe vale come per la vita di tutti i gg, cambiarle, non usare sempre lo stesso paio - Monaca di V.le Monza
Cause: correre. Prevenzione: NON correre. - AdRiX
in realtà il fattore di rischio più importante è il sovrappeso. - Roux
Tipo "Marriage is the sole cause of divorce". - Sleepers
sta cosa che essere pinzi fa male a chi corre per non essere pinzo è un po' un catch 22 che mi fa incazzare... - effemmeffe
cioè, è più divertnete correre per poter mangiare che non mangiare per poter correre, uffa! - effemmeffe
Roux mannaggia non l'ho mai letto neanche qui ed ero convinta che la cosa migliore fosse "squadra che vince" o_O - signora maria - OoA from Flucso
dipende anche dal lavoro che fai e dalla superficie: se faccio il lungo su asfalto prendo le nimbus, per 5k veloci in pineta metto delle new balance poco ammortizzate ma 'veloci' - Roux
ed è meglio comprare scarpe nuove a metà ciclo vitale delle vecchie, così hai sempre scarpe in ottimo stato da alternare. - Roux
ops, tra un paio di mesi quindi dovrò comprare delle scarpe nuove CHE PECCATO PROPRIO (mi sa brooks :D) - signora maria - OoA from Flucso
anch'io mi dolgo sempre:-D - Roux
in questo momento ho quattro paia di scarpe in diversi stadi di usura, ahr ahr ahr - Roux
Però :) - signora maria - OoA from Flucso
AdRiX
AdRiX
Stefano Fassina attacca Matteo Renzi sul Quirinale: "È il capo dei 101, non è un segreto" - http://www.huffingtonpost.it/2015...
Stefano Fassina attacca Matteo Renzi sul Quirinale: "È il capo dei 101, non è un segreto"
mi sciogliete il dilemma: era scemo da prima o lo sta diventando a poco a poco come tutti noi? - AdRiX from Bookmarklet
era scemo da prima - Elvis Presley
era scemo da prima ma prima giocava in squadra quindi non si vedeva tanto - Braga
non si vedeva tanto, ma il sospetto già c'era - Mitì Vigliero
era scemo da prima - .mau.
è come se fosse la BSOD del PD: esce fuori sempre al momento sbagliato con quelle scritte piene di numeri che non interessano a nessuno - Isola Virtuale
E soprattutto non puoi capirne il perché (del BSOD) - Fabs
Mi ripeto: la B sta per Bocconi. - Braga
i bocconiani o rovinano questo paese, o tirano l'acido in faccia agli ex - chamberlain
O fanno film porno discutibili. - Sabrina Briganti from FFHound(roid)!
AdRiX
Hands-on: Microsoft’s HoloLens is flat-out magical | Ars Technica - http://arstechnica.com/gadgets...
Hands-on: Microsoft’s HoloLens is flat-out magical | Ars Technica
forse mi sbaglio ma se jobs fosse vivo e avesse presentato sta roba i fanbois avrebbero emesso un AAAAWWWWW smisurato - AdRiX from Bookmarklet
è un oggetto che sembra uscito da un film di fantascienza - mario leone
sia verge che ars ne parlano estasiati - AdRiX
l'ho scritto prima, è il miglior prodotto nerd degli ultimi 5 anni, dopo kinect, google glass puppah - quel *** di Luca
Sembra figata col botto, vediamo come arriva sul mercato - Federico D'Ambrosio
a me mi piasce. - Isola Virtuale
(sul mercato forse nel 2016) - quel *** di Luca
E vediamo il come arriva, se arriva come il kinect rispetto alle promesse - Federico D'Ambrosio
pure a me piace, il fatto è che pare funzioni alla grandissima - AdRiX
su kinect c'è grosso misunderstanding: msft aveva parlato delle capacità di certe tecnologie, che oggi si reincarnano in questo occhialone, noi avevamo capito che l'avrebbe fatto kinect - quel *** di Luca
garibaldi
garibaldi su via, sia serio - Maubauis
area popolare - Snowdog ★ ★ ★
vedo argomenti autenticamente popolari - Braga
poppohlare - tepepa
le occhiaie alla zuava contribuiscono a quel certo non so che - AdRiX
questa in pratica si è fatta tutti i partiti - mario leone
ma solo io leggo NCUCDC? - miki
eh, quasi - mario leone
Mitì Vigliero
Borgognoni
Vi dirò, a me mi pare una buona legge.
Chiudo i commenti. Ciao. - Borgognoni
sì ma bersani chiede rispetto - thomas morton ☢
meh. il ballottaggio è pericoloso e non mi piacciono i collegi con ripartizione nazionale - Federico D'Ambrosio
Diciamo che probabilmente è il miglior compromesso possibile. Io preferivo comunque il consultellum - Ciocci from Android
Le modifiche successive l'hanno chiaramente migliorato - Federico D'Ambrosio
la prima versione era un orrore. questa non è una meraviglia, ma è per molti versi meglio delle due precedenti che abbiamo avuto. per dire come stavamo messi. - bgeorg from iPhone
Tutto sta in piedi ad elezioni del Senato abolite, altrimenti kabum - Federico D'Ambrosio
Io sono già alcune ore che non sento parlare di fine della democrazia e colpi di Stato, si può sapere che cazzo sta succedendo? - mi volsi e considerai
Sono in corso le trattative tra Civati e sua madre. - Braga from iPhone
a leggere la scheda di Rep. (scritta coi piedi) è un cammello, un cavallo descritto da un comitato. meno peggio delle precedenti ma "buona" non è. - AdRiX
invece è abbastanza equilibrata, su. peraltro rischia di non favorire molto proprio il PD (al ballottaggio M5S assieme a destre eurofobe e sciikimiki e ciao core) - svinho dos santos
certo che è equilibrata, è un cammello! - AdRiX
è un proporzionale con sbarramento basso, i seggi sono attribuiti con un meccanismo misto uninominale-preferenze, con un premio di lista su base nazionale e un eventuale ballottaggio se non si raggiunge il premio. in pratica è un misto di tutti i sistemi presenti sul pianeta, la cosa incredibile è che potrebbe funzionare. - bgeorg
Fulgido esempio che illustra e realizza il genio italico di ingegneria e progettazione istituzionale. - AdRiX
l'eclettismo alla macgyver è sempre stata una qualità dello stivale. - bgeorg
vi dirò che essendo così complessa la prima cosa che mi è venuta in mente è stata "se dovessi scrivere un pezzo di software che computa i risultati di qs legge elettorale AAAAARGHHH" - AdRiX
(comunque i meccanismi del mattarellum non erano affatto più semplici, eh) - bgeorg
Minchia il Mattarellum. Lo scorporo, le liste civetta. - Braga from iPhone
"buona legge" 'sto par di palle, si può concedere che è meglio del Porcellum (che è come concedere a uno di essere meglio di Hannibal Lecter), di più no. - TAFKAeP
Ma infatti mi sembra un mattatellum pompato alla fine - Ciocci from Android
somiglia al mattarellum in aspetti di cui abbiamo già parlato mille volte, ma è un filo meglio perché disincentiva le coalizioni (aggirabile con liste omnibus, ma se modificano anche i regolamenti parlamentari può funzionare) - bgeorg from iPhone
Per smontare le liste omnibus mi sa che a parte cambiare la testa del ceto politico non c'è soluzione. - Braga
elrocco
thread di pubblica utilità coi motori torrent alternativi a piratebay
uh, eztv non è più raggiungibile neanche da proxy - Lucretia, my reflection ൠ
merd - Ubikindred
cercate ettv (non è un errore ettv) su uno dei motori generalisti tipo kickass e ordinateli per data----> EZTV - elrocco
sì, l'ho appena fatto su kickass infatti: http://kickass.so/user... - Lucretia, my reflection ൠ
comunque incrociate le dita http://178.175.135.122/ - elrocco
tanto sappiamo tutti che tornerà presto. - Lucretia, my reflection ൠ
Vi segnalo questa pratica lista http://www.ukispcourtorders.co.uk/ - Marco d'Itri
Eztv é tornato online - elrocco from Android
Segno / grazie - valerio fiandra
mancano i sticky post in questo social network - Aldo Oldo
segnalibro - Verguenza
Ma eztv.ch? L'ho provato ieri notte e funzionava - Dyoniso
Torrentz.eu è un metamotore molto comodo. - Smeerch
ma ultimamente buona parte dei risultati di ricerca è bloccata. - signora maria - OoA from Flucso
io uso bitche e li cerca lui - AdRiX
Molto utile, grazie - Signoralia from FFHound!
@signora maria. Vero. Ma io ho scaricato più cose negli ultimi 10 giorni che negli ultimi 6 mesi. Sono riuscito a completare file che avevo in coda da Natale dell'anno scorso ^__^ - Smeerch
Non sono Bob
chi ha usato mosaic quando è uscito metta il dito sotto qui.
era bellissimo! - wolly
un po', come dire, "BASIC" - Non sono Bob from Flucso
presente - Habu Paschett Jôji
eppure funzionava :) - tozzill@
eravamo tutti sorpresi... - Non sono Bob from Flucso
Credo di sì, ma non sul mio computer (a casa avevo solo posta e news). - Marco d'Itri
aspe'. Basic presente, ma non confondiamo i thread - Smeerch
o/ - Federico from Flucso
Eccomi - GG...
avoja - .mau.
forse un paio di volte, quando si poteva telefonare in Sardegna e usare internet gratis per mezz'ora - zar from Flucso
Eh, oh. Pure basic. - PaperDoll
Eccomi - AndreaR from FFHound!
Basic sul vic20 e sul c64 - zar from Flucso
dito - AdRiX
/dito - Xabaras (G.O.) from FFHound!
proprio proprio quando è uscito no... '95. - GePs
'95 +1 - cogitabondo from iPhone
usato su PC dell'università - van der Baarft from Flucso
(era un po' BASIC == mosaic aveva poche funzionalità) - Non sono Bob from Flucso
1993 compilato su hp-ux - valvola
o/ - sooshee
'95 +1 su workstation (si diceva così) hp-ux - Ivan Crema
Eccomi. - Fabio
Io all'università - Minciaroni™ from iPhone
/dito - Marco Delmastro
io sul mio mac a fine '93 (poi passai al più versatile MacWeb), fu per quello che decisi come tema della tesi di architettura la rappresentazione delle relazioni spaziali in forma di ipertesto (tesi rimasta comunque incompiuta, alla fine ho optato per una progettuale classica) - vic
tanto amore per mosaic - jAs͌O͞͝n̡̛͡
Al dipartimento di elettronica del Polimi, '93. Gli studenti del quinto ci facevano fare le bibliografie della tesi su Berkeley.edu e su mit.edu - alex milani
o/ - Nervo
_o/ - Angelo Ghigi
1993 compilato su vax/vms e digital ultrix. prima nel 1992 avevo provato MidasWWW e Viola. Il primo browser su Vax/VMS pero' era testuale ma non ricordo come si chiamava, forse www o forse era l'alias che gli davo io. - nagual
@nagual quello testuale su VMS non era lynx? - Professor Al
o/ - L'Andre
o/ - Guiseppe from Flucso
o/ (windows dal computer della mamma in ufficio. Perche` sono su internet da tanto tempo, ma da molto giovane :D) - d☭snake
O/ - Pryntyl from FFHound!
/dito, a UniBO - MatteC
o/ funzionare funzionava. - Stefano. Wondarbroot from Flucso
@professor anche a me veniva in mente il nome Lynx ma non vorrei che fosse un client testuale per Linux piu' recente. - nagual
AdRiX
La Stampa - L’Italicum avanza al Senato, sì al “super canguro”. L’asse Renzi-Berlusconi stravolge gli equilibri - http://www.lastampa.it/2015...
La Stampa - L’Italicum avanza al Senato, sì al “super canguro”. L’asse Renzi-Berlusconi stravolge gli equilibri
vi prego spiegatemi cosa DIAVOLO E' IL SUPERCANGURO - AdRiX from Bookmarklet
Un emendamento che ha dentro scritto "gli altri emendamenti vengono cassati". - Braga
sembra la barzelletta dei cento tizi nel deserto che trovano la lampada col genio dentro. - Maya de Rorschach
Sono schifato di questo paese. - L'Uomo con la Papera
schifato da, non schifato di. - bgeorg
Guarda, nel dubbio schifato di a da in con su per tra fra. - L'Uomo con la Papera
Schifato perché una procedura parlamentare supera alcune decine di migliaia di emendamenti palesemente ostruzionistici? Non so, a me vengono in mente un'ottantina di motivi più validi, ma forse sono sfortunato io. - Braga
questo tipo di emendamenti dovrebbe essere la prassi - mario leone
dovrebbe essere la prassi +1 - M.
Dal Supertelegattone al Supercanguro - Alez☭
Diciamo che un rinnovato regolamento parlamentare potrebbe farla diventare la prassi magari legata a una super-maggioranza. Ciò renderebbe il tutto un poco simile al Senato americano, dove però il meccanismo è abusato e in pratica senza super-maggioranza (60 voti su 100) non fai nulla. - Braga
Partito della Nazione? Super canguro? Ma uno non si può allontanare due minuti. - Haukr
haukr, vero, non ci si può distrarre un attimo che arriva un marsupiale sodomita - ((°} from Android
il supercanguro c'ha una bella rima, dài! adattissima a FF - Professor Al
Non capisco la sorpresa. Se una camera si esprime in un senso, tutti gli emendamenti di senso opposto si precludono (anche per evitare votazioni schizofreniche: se prima si vota che è uninominale e poi che è proporzionale, quale vince?) - Federico D'Ambrosio
Nella ormai malata pratica parlamentare italiana le questioni vengono cassate mettendo la fiducia che fa cadere tutti gli emendamenti, non è né troppo diverso né troppo peggio. - Braga
L'emendamento Esposito non dice che gli altri sono cassati (sarebbe più una mozione che un emendamento) ma bensì mette i principi generali della legge elettorale all'articolo 1. Così tutti gli emendamenti in contrasto con tali principi generali decadono. Qua il testo: http://www.senato.it/japp... - Federico D'Ambrosio
Grazie della spiega. - Braga
haha, che italianata GENIALE. Io dico Esposito presidente della repubblica subito :D - M. from Flucso
voi che siete capiscioni, quindi c'è di nuovo il grande centro di una volta? - Haukr
Haukr, troppo tardi. La domanda andava posta (retoricamente) il 20 aprile 2013. - Smeerch
grazie Federico - AdRiX
grazie Federico + 1 - Smeerch
mi sembra meglio un supercanguro fatto così che una fiducia così d'amblè, oggettivamente. - .mau.
concordo - Federico D'Ambrosio
antoh
ma voi, dieci anni fa, tutte queste cose a chi le dicevate? dove le scrivevate?
blog. altri sn. chat. - Letizia
blog, chat - Professor Al
blog, email. post lunghissimi, email chilometriche. - signora maria - OoA
blog.. venti anni fa, smemoranda.. - spad
alla prima persona che incontravo per strada - mumucs brittany
blog, email formato lenzuolo, chat con msn - latartaruga
ancora prima, mIRC. - signora maria - OoA
Dici le cazzate che scrivo qui? Prima ne dicevo meno. - Giuliana Dea
chat, lettere, telefonate con Teleconomy. - Claudiappì
Tentativo di "a persone" altrimenti a me. - LilaLaMarea from Android
quali cose? - Maubauis
blog - AdRiX
in realtà era rivolto agli utenti di Twitter svalvolati - antoh
forum e blog - SpiKkiA
ci stai dicendo che non siamo svalvolati? Potremmo offenderci. - Haukr
non quanto quelli lì - antoh
e hai ragione pure tu. - Haukr
it.arti.cinema - Appleseed
(per quanto mi riguarda non le dicevo, se non a voce, in giro, sms o nei forum) - Haukr
blog, mailing list, sito,. Vent'anni fa: usenet, sito, mail. Trent'anni fa: chat (so' vecchio, che ci volete fare) - .mau.
... - gıørgıø from Flucso
blog, mail e un po' prima anche mIRC - astry
ehmm sorry io "venti" anni fa.. #over (IRC server dell'allora Telecom) Ed ancora prima la BBS dei Radicali.. - Yeridiani
bravo Yeri, stavo quasi in pensiero - Maubauis
Usenet. E dieci anni prima su Fidonet. - Nicola D'Agostino
Fidonet era 25 anni fa per me, non entra bene nei decenni - .mau.
io trollavo in un forum, e non sapevo di star trolando, l'ho scoperto poi - Pepper Mind
Forum - Daffery from Flucso
Forum, blog. Sono almeno 15 anni che scrivo puttanate su Internet. - Tony Maestri from iPhone
it.arti.cinema - Lopo from Flucso
fidonet era per i bravi ragazzi, qui si frequentava cybernet.cyberpunk - d☭snake
e quindi poi irc (grazie numero verde di video online), dopo ho saltato tutti i social fino ad approdare qui per la vostra gioia - d☭snake
ML - plus1gmt
blog e sms - Ladra di Caramelle
splinder - Ubikindred
a nessuno, ed era un mondo migliore. - eddie
Forum, blog - ratavolòira
amiche, diario (sì, sì. sono arrivata tardi nel mondo della tecnologia) - did from Flucso
Chat, pure le community di msn - ratavolòira
A nessuno. - Lilith
newsgroup - Elia Spallanzani
newsgroup +1 - Non sono Bob from Flucso
splinder - Yoshiniski from Flucso
gli svalvolati di twitter lo dicevano al bar - AdRiX
Eddie, dieci anni fa su splinder c'eri pure tu - Ubikindred
io avevo un eddie tra i miei link, eri tu?? - spad
io dicevo tutto nei commenti del blog di eddie e ci trovavo sempre a Ubi, tra l'altro. Ma nessuno ci dicevea WYENI WYA all'epoca. - sooshee
blog - GePs
certo che ero io, spad (ma poi sul blog ci scrivo ancora, mica che scrivo le stesse minchiate che scrivo qui (cioè, scrivo minchiate diverse)) - eddie
anche io Splinder. E chat, ma 20 anni fa - Signoralia from FFHound!
carrambata! pure yeridiani stava su agorà telematica? sta a vedere che ci siamo già incrociati. - vic
SPLINDER .!! Un bagno di sangue quando ci ha mollato. Anni di forum. .. - Yeridiani
Agorà certo. . Ma confesso che mi dovevano aiutare. . Quel libretto era scritto dal primo sciagurato addetto ai lavori del cazzo. . - Yeridiani
Telefonavo a gente a caso (no). - Leonardo Blogspot
@Yeridiani: io mi son persa tutto il mio Splinder. Non ho visto la loro mail e mi son persa tutto.... - Signoralia from FFHound!
Libretto? Quello era Mao, no Pannella. - vic
AdRiX
If Superheroes Were From The Elizabethan Age - http://www.buzzfeed.com/danield...
If Superheroes Were From The Elizabethan Age
If Superheroes Were From The Elizabethan Age
(è così oald che credo la prima volta sia uscito proprio in età elisabettiana) - vic from iPhone
io SONO oald - AdRiX
mi volsi e considerai
uhuhhhhhhh - micia
EH? - AdRiX
(micia sta già pensando di prendersene un po' rossi, è quasi natale dopotutto) - van der Baarft
Imperdibili - Daffery from Flucso
bianca
.
lv.jpg
bel culo btw - foia
Che fa? MI FISSA IL CULO? No, no, sono un papa boys °_° - Pepper Mind
date una carezza al papa - Unkcoso
ahahah - Pepper Mind
"e dite che è la carezza del Pap... uhm." - Pepper Mind
cosa diav... - AdRiX
Braga
buona, benché tecnicamente sbagliata (sta governando con alfie) - Luca Simonetti
Poi naturalmente deve sempre fare il ganassa – TgLa7: @matteorenzi: l'Italicum ce lo copieranno in Europa, è una legge positiva. - Braga
già me li vedo: lo svizzerum, il portoghesum, il polaccum... - bgeorg
il sardum - AdRiX
:) - bgeorg
che esiste, la legge regionale è un premiomaggioritellum sotto steroidi - AdRiX
Ha scritto "Berlusocni" apposta per poter negare tutto, in seguito, se gli dovesse ricapitare di governare con Berlusconi - tamas
@matteorenzi: "se ci fosse stata questa legge elettorale #Bersani sarebbe andato al ballottaggio e sarebbe diventato premier. - garibaldi
In realtà Bersani sarebbe diventato premier se non aveva contro il Senato – che questa legge non tratta – ma ok, buona anche questa. - Braga
(poi io non sono fan delle elezioni vinte al ballottaggio ma il messaggio è chiaro) - Braga
Berlusocmel - ॐ Máximo Ω
AdRiX
In amore vince chi sugge
Chi non sugge, strugge - AdRiX
Mitì Vigliero
Come si dice "sì" in svedese: il suono più bizzarro del mondo http://video.corriere.it/come-si...
vi sento eh, che state provando tutti... - Mitì Vigliero
lo so bene. i miei capi sono svedesi. la prima volta che mi sono presentato pensavo che fossero sempre stupiti da quello che dicevo. - il Many
ma come si scrive sì in svedese? - Mitì Vigliero
ja - Lopo from Flucso
aspirato. Fantastico. - M.
il succhio comunque è regionale, del nord, Umeå ecc. (Many, i tuoi capi sono di lì?) - Lopo from Flucso
google translate dice "japp". impossibile, vero? - Mitì Vigliero
non mi risulta - Lopo from Flucso
trovato, è informale. come lo yep inglese - Lopo from Flucso
la sede è a LUND - il Many
ma come fanno a urlarselo? - Daffery
shh - Haukr
saranno immigrati, lì parlano quasi danese (esagero) - Lopo from Flucso
@Daffery gli svedesi non urlano - sciack
vanno in iperventilazione. - il Many
bellissimo. Chissà come si dice no. - naltro
"Skåne is Denmark with an identity crisis" (ciao Many, se passi per Boschetto batti un colpo) (comunque suono più bizzarro un cavolo, l'afrikaans c'ha i click per dire) - Edal
(bellissimi i click) - Haukr
anche qua da noi si diceva si così, mia nonna ogni tanto lo dice ancora (e, che io sappia, lei non è esattamente svedese). Dovrò chiedere a Bianca per il resto della Sardegna. - succoallapera
In Sardegna non si aspira ma si espira, però, se è il suono che ho presente anch'io - Lopo
anche in Calabria espirano - Mitì Vigliero
noi diciamo "eja" o "sissi", suoni consimili mai sentiti - AdRiX
Mia mamma è del nord Sardegna e usa il suono aspirato (o espirato, comunque io non lo so fare) in un sacco di parole, però il sì non lo dice in quel modo - Tricia McMillan from Android
colleghi di stoccolma non lo fanno così forte e accentuato, ma riconosco la base ;-) - Brixie
In Sardegna più che un sì mi pare sia come espressione di stupore (almeno i miei parenti) - Lopo
thomas morton ☢
diciamolo una volta per tutte, il teorema di turing spacca >>>>>>> gödel
I teoremi di scienze delle costruzioni >>> di turing (gödel non so chi sia) - Mic
scienza delle costruzioni? a noi piace distruggere le fondamenta vedi - thomas morton ☢
thoma fonda un'associazione di appassionati, la puoi chiamare turing club - mass from iPhone
le cosiddette proposizioni indecidibili di gödel sono in un certo senso decise, nel senso che almeno sappiamo che non sono teoremi del SF in questione (assieme alle loro negazioni), mentre turing dimostra qualcosa di molto più devastante, e oserei dire che lo fa anche in maniera più elegante e semplice, ovvero che alcune proposizioni sono indecidibili in senso stretto, non sapremo mai se sono teoremi oppure no. quindi esistono problemi matematici irrisolvibili in assoluto - thomas morton ☢
(vediamo se mau o chi per lui mi cazzia per eventuali sfondoni) - thomas morton ☢
spe: nella mia comprensione, i due dimostravano la stessa cosa, ovvero che un SF consistente non puo' essere completo, e lo fanno tutti e due nello stesso modo: ovvero ti sforno una proposizione nel sistema formale, che dice en gros 'teorema X del SF e' dimostrabile', e ti mostro che non la posso computare. turing quando fa la sua dimostrazione definisce un sistema formale (la macchina... more... - frugola
thoma fonda il Turing Club Italiano - AdRiX
Ma la tesi di Church-Turing... La chiesa in un modo o nell'altro ci mette lo zampino - AndreaR from iPhone
per come lo capisco io il risultato di turing è più generale perché mentre gödel sostiene che "l'asserzione X del SF non è dimostrabile in SF né la sua negazione" (ovvero non è un teorema, e allo stesso tempo ciò ne dimostra la validità nel caso di asserzioni del tipo "tutti gli x hanno la proprietà P" o "non esiste un x tale che..." perché determina l'impossibilità di trovare... more... - thomas morton ☢
e per come la vedo (ma posso sempre sbagliarmi) le consuete esposizioni divulgative dell'opera dei due matematici sono colpevoli proprio di assimilarne i risultati, come se fossero equivalenti (benché siano ovviamente legati) - thomas morton ☢
non so, io ho sempre capito che le proposizioni computabili dalla macchina universale = teoremi del sistema formale di goedel. si puo' poi dimostrare che i due sistemi formali son equivalenti. turing dice: la mia macchina non riesce a decidere la computabilita' (= verita') di alcune proposizioni. goedel dice: il mio sistema formale non riesce a dimostrare la verita' o la falsita' di... more... - frugola
"There are two distinct senses of the word "undecidable" in contemporary use": gödel e turing - thomas morton ☢
(ah, forse ho capito quello che intendi: il SF e' fatto di teoremi. se la questione e' sapere se tutti i teoremi del SF son dimostrabili, goedel ce lo dimostra nel teorema di completezza. e' questo il nodo?) - frugola
si, perche' una funzione e' computabile, e non decidibile. il problema e' che goedel decide e turing computa. ma son certa (a meno che non mi sbagli :)) che da qualche parte han provato l'equivalenza tra le funzioni computabili e le proposizioni decidibili, mostrando che di fatto i due lavorano sullo stesso sistema formale - frugola
che i teoremi siano dimostrabili è un'asserzione analitica, tu vuoi dire formule ben formate. gödel dimostra che ci sono fbf delle quali SF non dimostra né la verità né la falsità - thomas morton ☢
il che è solo un limite del sistema formale, non è completo. l'indecibilità di turing è qualcosa di più profondo - thomas morton ☢
oh, thoma: le abbiamo capite diverse, chetidevodire. io continuo a pensare che definire la macchina universale equivale a definire un sistema formale. e che dimostrare la non computabilita' colla macchina universale equivale a dimostrare la non decidibilita' nel sistema formale. (da cui: il sistema formale ha dei limiti, e la macchina universale pure. poi da qualche parte mi pare che... more... - frugola
ti lascio quel link li' sopra: e' lo sbobinamento di una lezione, ed e' divertente da leggere. - frugola
"First, though, let's see how the Incompleteness Theorem is proved. People always say, "the proof of the Incompleteness Theorem was a technical tour de force, it took 30 pages, it requires an elaborate construction involving prime numbers," etc. Unbelievably, 80 years after Gödel, that's still how the proof is presented in math classes! Alright, should I let you in on a secret? The... more... - thomas morton ☢
boh, il fatto che con la macchina di turing provi il teorema di goedel piu' facilmente, non e' che mi faccia pendere per la superiorita' di uno sull'altro (personalmente per me e' una domanda senza senso). (posto che siam d'accordo sul fatto che i due dimostran la stessa cosa) - frugola
(poi io, tra i due, non potrei mai scegliere chi preferisco... la sai la storia di biancaneve, vero?) - frugola
ma non siamo d'accordo sul fatto che dimostrano la stessa cosa :) mettiamoci d'accordo piuttosto sul fatto che non siamo d'accordo - thomas morton ☢
ok, non siam d'accordo, finiamola qui :) - frugola
ci devo pensare un attimo - .mau.
per quello che ne so io, ma non ci metterei la mano sul fuoco: - .mau.
- la tesi di Church-Turing è ipotizzata vera nel senso che nessuno ha trovato un qualcosa di calcolabile che una macchina di Turing non può calcolare, ma nessuno ha dimostrato che è impossibile trovarlo. Per quanto mi riguarda è praticamente allo stesso livello della coerenza della matematica - .mau.
- non essere computabile non significa non essere dimostrabile, a meno naturalmente che tu non sia un costruttivista. - .mau.
- a me la somiglianza tra i due risultati di Gödel e di Turing è sempre sembrata più sul metodo (qualcosa di applicato a sé stesso che manda il sistema in cortocircuito) che nel loro significato. - .mau.
Di più nin zo - .mau.
momento, una cosa è la tesi di church-turing, che non è un teorema ma una sorta di credo materialistico, un'altra sono i teoremi omonimi. io mi riferivo escluivamente a quelli - thomas morton ☢
o ancora meglio, per essere precisi, alla loro soluzione negativa riguardante il problema della decisione (entscheidung problem) - thomas morton ☢
Entscheidungsproblem - mentegatto
attaccato, vabbé - thomas morton ☢
soprattutto mi raccomando la S - mentegatto
anche a me, (per quel poco che ricordo), mi sembravano due aspetti del medesimo problema. ma se devo essere sincero l'enunciazione che preferisco del teorema della fermata è: "finché non accendi la sigaretta il bus non arriva" - eddie
provo a chiarire la differenza. un sistema formale come quello dei principia mathematica può effettivamente essere definito da una macchina di turing particolare (TM_PM) alla quale potrebbe essere data come input una particolare formula, e poi mettersi in attesa che la macchina si arresti una volta che abbia prodotto la formula come dimostrazione. il teorema di gödel afferma che quella... more... - thomas morton ☢
Decidibilità e fermata sono due cose diverse. - Guiseppe
diciamo che si rischia sempre una certa confusione tra indecidibiltà in senso matematico e computazionale - thomas morton ☢
up di imitation game - thomas morton ☢
down di filmdimerda - Craiv Odiailtuoquartiere
Craiv ncucdc - miki from Flucso
Anche per me G e T dicono cose molto simili. T dice che un SF non è decidibile nel senso di Hilbert, G dice che è incompleto nel senso di Hilbert, nessuna delle due cose mi sembra più devastante dell'altra (mi sembrano entrambe devastanti) - miki from Flucso
è tutto sbaliatoaoaoa - Craiv Odiailtuoquartiere
up di non avevo capito gnente (ora che ho letto hodges invece mi par di avere capito perbene) - frugola from Flucso
che cosa sia meglio o più devastante naturalmente è una valutazione che lascia il tempo che trova. più importante è capire che si tratta di due cose diverse. collegate fra loro, ma logicamente distinte - thomas morton ☢
(quello che ho capito: goedel dice o completo, o coerente. turing dice: non puoi sapere a priori se un dato teorema e' dimostrabile. vero e dimostrabile non son la stessa cosa.) - frugola from Flucso
ma anche per Gödel vero e dimostrabile non sono la stessa cosa! Detto in altri termini, se un sistema è coerente allora ogni proposizione dimostrabile è vera ma ci sono proposizioni vere e non dimostrabili; se un sistema non è coerente ogni proposizione vera è dimostrabile ma ci sono proposizioni non vere e comunque dimostrabili. - .mau.
.mau. infatti mi sa che all'epoca di questo thread mi confondevo i concetti di vero e dimostrabile -- perche' mi ero imbrogliata da sola coi sistemi formali. ora invece mi sembra di aver capito (il che naturalmente non significa che abbia capito davvero...) - frugola from Flucso
((anzi mi domando: esiste un modo per sapere a priori se un dato concetto sia alla portata della mia comprensione?)) - frugola from Flucso
(puntacazzo) decidibilità e dimostrabilità non sono la stessa cosa, Hilbert parla (richiede) espicitamente coerenza (che diamo per necessaria), completezza (no da Gödel) e decidibilità (no da Church e Turing). Non parla di dimostrabilità, che è implicata ma non richiesta. - miki
io ho una certa tendenza ad astrarre, ma il mio approccio è esattamente quello di mau, ossia che quei due problemi di hilbert vengono messi in crisi da meccanismi ricorsivi. se il metodo di scardinamento del sistema è simile, mi immagino che lo sia anche l'impianto dei due sistemi - eddie
miki, allora abbiamo due concetti diversi di dimostrabilità: «a formal system is called complete with respect to a particular property if every formula having the property can be derived using that system, i.e. is one of its theorems» - .mau.
Infatti la dimostrabilità è di competenza nella completezza, e qui siamo d'accordo, mi sembra. La questione "più forte" e forse thomas intende questo mi rendo conto, è fornire un algoritmo che per ogni teorema ti dica in un tempo finito dentro o fuori. Possono esistere teoremi dimostrabili per altre vie per i quali nessuna procedura del genere può esistere? Mi pare proprio di sì. - miki from Flucso
(o meglio: è possibile individuare un sistema formale all'interno del quale eccetera) - miki from Flucso
temo che volessi dire qualcosa di più semplice: esistono formule ben formate che non sono "decidibili" all'interno del sistema formale, e questo è quel che dice goedel, ovvero queste formule non sono teoremi, benché siano vere (o loro o la loro negazione). quel che dice turing è più generale nel senso che dimostra che di alcune formule non si può nemmeno sapere se sono teoremi o meno - thomas morton ☢ from WinForFeed
vabbe', imprecisione lessicale mia quando uso dimostrabile invece di decidibile. in ogni caso si intende "puoi determinare se e' vera usando le regole del sistema", che a me pare la definizione di dimostrabile, ma forse mi imbroglio ancora in qualcosa - frugola from Flucso
e mi pare che il senso di turing sia: prendi una generica proposizione e supponi che sia vera e decidibile. esiste un modo meccanico e universale per stabilire che e' vera? nope. - frugola from Flucso
non proprio, è che non esiste un sistema per sapere se è decidibile - thomas morton ☢ from WinForFeed
@miki: da quello che ho capito io - ma ammetto che sull'entscheidungsproblem ho ancora ampi margini di miglioramento - T dice che esistono formule di cui non si può sapere (in tempo finito) la loro dimostrabilità, anche se ci accontentiamo di sapere appunto la loro dimostrabilità e non chiediamo che venga presentata la dimostrazione. Però mi sembra solo apparentemente più forte di G, nel senso che da uno si può dimostrare l'altro. @thomas: quindi per te "teorema" è "affermazione dimostrabile"? - .mau.
sono arrugginito, ma Goedel non dimostra che esistono proposizioni di cui non si può dire se siano vere o false? (all'interno di un sistema formale sufficientemente potente) - Pepper Mind
mau: derivabile dagli assiomi, mi pare sia la definizione - thomas morton ☢ from WinForFeed
thomas: ok - .mau.
Thomas: dato un sistema formale e presa a caso un formula, come fai a sapere se è un teorema o no? devi applicare delle regole di inferenza agli assiomi in tutti i modi possibili fin quando non arrivi a ottenere il teorema o la sua negazione. ma se non ottieni mai ne l'uno ne l'altra, quanto tempo devi ancora continuare a cercare? in questo senso i due teoremi sono equivalenti (macchina di Turing vs regole di inferenza) - Guiseppe from Flucso
uhm, sono al lavoro, poi rispondo - thomas morton ☢ from WinForFeed
LOL - F.
non è che l'unico modo per sapere che una formula è un teorema è sviluppare gli assiomi finché non lo deriviamo. proprio goedel costituisce un controesempio. si possono studiare esternamente le caratteristiche del sf e dimostrare che alcune formule non possono essere teoremi. turing però dimostra che questo non si può fare per qualsiasi formula - thomas morton ☢ from WinForFeed
domanda: goedel dimostra che esistono affermazioni vere che non sono dimostrabili all'interno del sistema. per voi queste son teoremi? perche' per me no - frugola
(per me teorema: affermazione dimostrabile nel sistema. sbajo?) - frugola
Si certo, ma non si può fare in generale. Non c'è alcun modo _generale_, dato un sistema formale qualsiasi, di dimostrare che una formula qualsiasi discenda oppure no dagli assiomi. Se pensi di poter studiare le caratteristiche a priori per saperlo, allora lo puoi fare anche con le macchine di Turing (si sa che certi problemi sono indecidibili secondo Turing) - Guiseppe
(ntauralmente il sistema formale deve essere sufficientemente potente, ecc. ecc.) - Guiseppe
@thomas: il fatto che tu possa dimostrare che ALCUNE formule non possono essere teoremi non implica che TUTTE le formule che si dimostra non possono essere teoremi allora sono teoremi. - .mau.
secondo me c'è un po' di confusione sull'utilizzo del termine "affermazione vera". - Pepper Mind
mau, non mi pare di aver affermato qualcosa del genere - thomas morton ☢ from WinForFeed
e cosa hai affermato? quale sarebbe il controesempio di Gödel per te? - .mau.
è un controesempio all'idea per cui l'unico modo di dimostrare la non validità di una formula in un sf è sviluppare tutti i teoremi che derivano dagli assiomi del sf - thomas morton ☢ from WinForFeed
Controesempi simili esistono anche per le MdT. Anzi, i miei colleghi di Cachan fanno praticamente quasi solo questo per lavoro: dimostrare la decidibilità o meno di questo o quel problema specifico. - Guiseppe
@thomas: tu hai scritto «non è che l'unico modo per sapere che una formula è un teorema è sviluppare gli assiomi finché non lo deriviamo. » e alla mia domanda su cos'è per te un teorema «derivabile dagli assiomi». "validità di una formula" non so cosa significhi, anche perché se lo trovassi in un libro tecnico lo assumerei come FBF ("formula ben formata") - .mau.
non potevo voler intendere che se si dimostra che non è un teorema allora è un teorema (col principio di non contraddizione ancora penso di cavarmela). volevo dire che in alcuni casi si può dare una risposta, per quanto negativa, alla questione: è un teorema? - thomas morton ☢ from WinForFeed
(sempre per come l'ho capito io) goedel prende una formula ben formata (un numero nel suo sistema coerente) che si puo' tradurre con "questa proposizione e' indimostrabile" (ovvero: a partire dagli assiomi di questo sistema non posso calcolare questo numero). questo significa che quel numero deve esistere (= essere vero), ma che al contempo non puo' essere dedotto dai principi primi. questo dimostra solo che in un sistema coerente esistono delle proposizioni (vere) indimostrabili dall'interno. - frugola
Si, certo che si può (se no, addio). Questo io lo davo per scontato, ma forse do per scontate troppe cose. Il teorema di Goedel implica però che non c'è alcuna speranza che, costruendo il sistema in un modo diverso, ci si possa liberare del problema. Ed è questa l'intenzione originale dell'autore, (almeno credo). - Guiseppe
@thomas: appunto. Gödel ti dice che puoi A VOLTE dare una risposta negativa alla questione se una FBF è un teorema. Turing ti dice che non esiste una procedura che ti dia SEMPRE una risposta (positiva o negativa) alla questione se una FBF è un teorema. - .mau.
ma dove goedel parla della risposta negativa? - frugola
(cioe', che A VOLTE si possa decidere che una formula ben formata non e' un teorema era una cosa che sapevamo gia' prima di goedel e turing) - frugola
(prima lo sapevamo perché la FBF era falsa, tipo 2+2=5. Con Gödel lo sappiamo anche perché può essere indecidibile) - .mau.
esatto mau, ma è quello che sto cercando di dire dall'inizio - thomas morton ☢ from WinForFeed
@.mau.: non son d'accordo -- nel senso, non ho proprio capito come dimostra quella cosa li'. io ho capito solo come dimostra che esistono cose nel sistema che non puoi dedurre dagli assiomi del sistema. non mi pare che dimostri che "ci siano cose inesistenti nel sistema, che non sai che non esistono nel sistema". - frugola
invece "indecidibile" e' la cosa di turing, che pero' ti dice semplicemente che non esiste un meccanismo universale per stabilire se una arbitraria formula ben formata esiste o no in quel sistema (il che non toglie che esista magari un meccanismo particolare per stabilire se una cosa ben precisa esista o meno.) - frugola
la cosa interessante è che goedel dimostra l'incompletezza dei principia, chiaro che per sistemi formali giocattolo non sarebbe particolarmente difficile - thomas morton ☢ from WinForFeed
thoma, la sai l'unica cosa interessante del teorema di goedel? - F.
ho paura di chiedertelo - thomas morton ☢ from WinForFeed
no vabbé dai, la dimostrazione. la dimostrazione è più interessante del risultato - F.
Gödel dimostra l'incompletezza dei Principia e DI TUTTI GLI ALTRI sistemi abbastanza potenti (per comodità diciamo che abbiano al loro interno gli assiomi di Peano, anche se basta qualcosina di meno). @Frugola: se una FBF è vera ma non è dimostrabile, e se la definizione di un teorema dice che lo si può dimostrare a partire dagli assiomi, allora hai mostrato che quella FBF non è un teorema (di quella teoria), no? - .mau.
@.mau. precisamente. tuttavia dire "prendi una fbf che e' non-teorema. forse non puoi dire usando le regole del sistema che e' un non-teorema" e' una cosa diversa -- e non ho capito se goedel dimostra questa cosa o no (da come ho capito io no, ma ho gia' ampiamente dato prova di essere capace di capire male) - frugola
per quello che ne so io, la risposta è no. Tieni presente che il teorema è costruttivo, quindi ti trova una fbf che dimostra essere vera *e* non-teorema; quindi non parti da una fbf che è non-teorema. - .mau.
ok, e' quello che avevo capito anche io. a questo punto devo concludere di non aver capito cosa vuole dire il commento di thoma "volevo dire che in alcuni casi si può dare una risposta, per quanto negativa, alla questione: è un teorema?" (ma non e' importante :)) - frugola
come dicevo, per me se una fbf è vera e non dimostrabile allora non è un teorema. Poi cosa pensi thomas è un suo problema epistemologico :-) - .mau.
quella è la definizione di teorema, non è mica questione di cosa penso - thomas morton ☢
e no, se capisco cosa chiede frugola (ma a questo punto comincio a dubitare che parliamo la stessa lingua) quella roba lì non la dimostra goedel. la dimostra turing, come cercavo di spiegare - thomas morton ☢
Cosa significa "prendi una fbf che è un non-teorema?". Il nostro problema è proprio stabilire cosa lo è, se lo sai a priori gli levi un po' del suo interesse - thomas morton ☢
'spe, 'spe, adesso non capisco il tuo punto iniziale però. Tu dici: "le cosiddette proposizioni indecidibili di gödel sono in un certo senso decise, nel senso che almeno sappiamo che non sono teoremi del SF in questione (assieme alle loro negazioni)". Sappiamo in che senso? Le conosciamo tutte una per una? oppure sappiamo in astratto che possono esistere ma non sappiamo quali siano? - Guiseppe
? Lo sappiamo di quelle formule che goedel ci ha insegnato a costruire e solo di quelle, ma per l'incompletezza è sufficiente. non lo è per l'indecidibilità, perché quelle formule sono decise (anche se non all'interno dei principia). sono teoremi? no - thomas morton ☢
Ma anche la dimostrazione di Turing procede in maniera simile: costruisce un esempio di MdT che non termina, ed è pur sempre una MdT. Sappiamo che quella li non termina su quel particolare input perché l'ha dimostrato lui, ma non è l'unica. Semmai si può dire che Turing ragiona sulla calcolabilità (facendo l'assunto che computazione = tutto quello che può fare una MdT) quindi su una... more... - Guiseppe
ma quella MdT usata per la dimostrazione è la macchina universale (ovvero può avere come argomento ogni altra specifica macchina). in sostanza significa che per alcune formule non esiste nessun algoritmo in grado di decidere se sono teoremi o no, ovvero che ci sono problemi irrisolvibili in linea di principio. non irrisolvibili solo all'interno di un particolare sf. irrisolvibili e basta - thomas morton ☢
Supponiamo tu sappia che non esiste nessun algoritmo per provare se una formula X è un teorema oppure no. Lo sai perché ci sei arrivato con altri mezzi, "speciali" diciamo. Cioé: dai all'algoritmo la formula e sai che quello non si fermerà: gli dai la negazione e sai che non si fermerà. A quel punto hai stabilito che quella è una formula indecidibile. Embè, è quello che dice Goedel:... more... - Guiseppe
momento: il problema è che al contrario di quella di goedel la dimostrazione di turing non è costruttiva. ovvero, non tira fuori una specifica formula per la quale dice: "non si può dimostrare che non sia un teorema". se fosse così già avremmo risolto il problema: se non si può dimostrare in fondo significa che quella formula di sicuro non lo è, perché siamo sicuri che non sarà mai... more... - thomas morton ☢
I due risultati non mi sembrano simili (ok, sono entrambi di logica, sono entrambi dimostrati usando una tecnica dimostrativa analoga, negano entrambi due quesiti posti da Hilbert, sono scritti sulla carta) tanto quanto non mi sembrano simili completezza e decidibilità. Mi pare (qui mi scuso ma la mia memoria potrebbe tradirmi) che si possano trovare esempi di teorie complete e indecidibili e di teorie decidibili ma incomplete (ragionando sul Nullstellensatz forse?). - miki
[dopo il post di thomas, disclaimer obbligatorio: odio la logica, e la prova del teorema di godel non la ricordo benissimo, anche perché sfido chiunque a ricordarsela bene senza andare a guardare] sono andato a riguardare il paper di Turing che nell'abstract scrive "By the correct application of one of these arguments, conclusions are reached which are superficially similar to those of Godel" :) - Guiseppe
SUPERFICIALLY - thomas morton ☢
è una lettura consigliata: al contrario del paper di goedel, illegibile, quello di Turing è bellissimo - Guiseppe
Infatti sto leggendo il Petzold :-) - miki
ok, adesso che ho riletto il passo di Turing posso quasi essere d'accordo con Thomas: lo taglio e incollo qui sotto, sperando che i simboli non vadano a puttane. - Guiseppe
allora mi leggo il petzold anch'io poi lo rifacciamo fra un anno - thomas morton ☢
It should perhaps be remarked that what I shall prove is quite different from the well-known results of Godelf. G odel has shown that (in the forma- lism of Principia Mathematica) there are propositions U such that neither U nor not U is provable. As a consequence of this, it is shown that no proof of consistency of Principia Mathematica (or of K) can be given within that formalism. - Guiseppe
On the other hand, I shall show that there is no general method which tells whether a given formula U is provable in K, or, what comes to the same, whether the system consisting of K with not U adjoined as an extra axiom is consistent. - Guiseppe
in pratica l'originale dice: "Goedel ha provato che tali formule esistono. Io ho provato che non esiste un metodo generale per capire se una formula è provabile". - Guiseppe
bon, possiamo chiuderla qui direi! :) - Guiseppe
il paper di Turing per chi volesse dilettarsi http://friendfeed.com/glipari... - Guiseppe
«Turing ti dice che non esiste una procedura che ti dia SEMPRE una risposta (positiva o negativa) alla questione se una FBF è un teorema» (autocit) - .mau.
see, è come il giorno dopo le elezioni, mo abbiamo tutti vinto il flame - thomas morton ☢ from WinForFeed
Petzold (p. 219-220): "Does Gödel Incompleteness Theorem spell doom for a general decision procedure? Not necessarily [...] Gödel Incompleteness Theorem is about undecidable propositions, while the Entscheidungsproblem concerns the existence of a general process to determine the provability of any given formula. A decision procedure, if it existed, would classify an undecidable proposition as unprovable." - miki
AdRiX
Cofferati: "È un partito alla frutta, il modello Renzi compra i voti" - Repubblica.it - http://www.repubblica.it/politic...
Cofferati: "È un partito alla frutta, il modello Renzi compra i voti" - Repubblica.it
no, non è solo il fisiologico rosichismo del perdente, questa è una storia brutta brutta - AdRiX from Bookmarklet
La storia era brutta (se tale era) anche un giorno prima della celebrazione delle primarie. Se il campo era impraticabile un vero dirigente o un disinteressato militante si sarebbe tirato fuori o avrebbe fatto saltare il tavolo senza attendere l'esito del voto, visto che la denunzia, dopo la sconfitta, avrebbe sollevato ovvie obiezioni di credibilità della figura del denunziante. - Camillo
si è svegliato ora, questo qui. - Laila
al netto che Cofferati non lo sopporto e non era la scelta giusta, credetemi, c'è un sacco di gente, a tutti livelli, nel pd, di buona volontà e onesti principi, che fa una fatica bestia a uscire da un progetto per lasciare campo alla versione 2.0 del berlusconismo in salsa renzian/cattolica. ma è una guerra di logoramento, che ormai è persa. - A. Morloi Grazioli
Sbattere la porta quando hai perso, denunciando che fa tutto schifo da tempo, ti rende un bel po' ridicolo, dai... - Michele from Android
(chiaro, lui è un deficiente fuori da ogni limite. eh) - A. Morloi Grazioli
il triste destino di uno che non è all'altezza della sua faccia furba - Isola Virtuale
isola +1 - Mic
+1k - Fabs
Fabs
[Vincitori morali] "TzeTze Politica: LE IENE RIFANNO I CONTI: VINCE IL MOVIMENTO 5 STELLE" (post senza data dello scorso maggio: www.tzetze.it/redazione/2014/05/le_iene_rifanno_i_conti_vince_il_movimento_5_stelle/)
TzeTze Politica  TzeTze  LE IENE RIFANNO I CONTI  VINCE IL MOVIMENTO 5 STELLE.jpg
vamos a la playa - o-o-o-o-o - PaperDoll
un po' come se nei resoconti della grande distribuzione scrivessero "il Panettone Marcacavallo è risultato il più mangiato tra gli invenduti" - AdRiX
L'imbarazzo in cui mi precipita, con rinnovato disagio, ogni singolo articolo di TzeTze (a partire dal nome) - Il Maestro from FFHound!
L'imbarazzo di coesistere geograficamente con milioni di decerebrati che leggono e dicono GOMBLOTTO, ABBIAMO VINDO NOI! - Fabs
Other ways to read this feed:Feed readerFacebook