Jerry ha scritto:Stavo pensando a come in ogni formalizzazione coerente della matematica che sia sufficientemente potente da poter assiomatizzare la teoria elementare dei numeri naturali — vale a dire, sufficientemente potente da definire la struttura dei numeri naturali dotati delle operazioni di somma e prodotto — è possibile costruire una proposizione sintatticamente corretta che non può essere né dimostrata né confutata all'interno dello stesso sistema.
Intuitivamente, la dimostrazione del teorema ruota attorno alla possibilità di definire una formula logica φ che nega la propria dimostrabilità: si prova quindi che, affinché T sia coerente, né φ né ¬φ possono essere dimostrabili. È dunque cruciale che T consenta di codificare formule autoreferenziali, che parlano cioè di sé stesse: questa richiesta è garantita dal fatto che T è espressiva almeno quanto l'aritmetica o più in generale che T sia in grado di rappresentare tutte le funzioni ricorsive primitive.

Luccre ha scritto:IPERINFLAZIONE WEIMARIANA
Già allo scoppio della prima guerra mondiale, nel 1914, per fronteggiare l'immane sforzo bellico, la Germania abolì la convertibilità aurea del marco. Quando la Grande Guerra divenne sempre più probabile, la popolazione ritirò dalla banca del Reich monete d'oro per un valore di 100 milioni di marchi. Di conseguenza, quest'ultima sospese l'incasso di banconote e monete divisionali. Il governo perseguì la via del finanziamento statale incrementando la stampa di banconote. Fino al termine del conflitto, la quantità del denaro in circolazione era quintuplicata, mentre la quota delle monete era scesa allo 0,5 per cento. I costi astronomici del conflitto, dell'ordine di 164 miliardi di marchi, furono sostenuti soprattutto da diverse forme di prestiti obbligazionari e solo in minima parte da imposte belliche e aumenti delle tasse. L'idea era, una volta usciti vittoriosi, di ripagare i debiti a spese dei vinti, ma il conflitto vide la Germania uscire sconfitta. Tra il 1871 ed il 1913 l'inflazione tedesca aveva mostrato un andamento molto contenuto e a tratti addirittura negativo, negli anni della prima guerra mondiale l'inflazione annua salì invece in media al 28,3%. Come una bomba ad orologeria, gli squilibri finanziari derivanti dalle immense necessità di spesa dello Stato per ragioni di guerra esplosero dopo un lustro in tutta la loro drammaticità. Nel periodo direttamente successivo, cioè tra il 1919 ed il 1923, l'inflazione raggiunse il 662,6% annuo. Nel biennio tra 1921 e 1923 si scatenò la vera "iperinflazione di Weimar". Durante la sua fase finale, nel novembre 1923, il marco valeva
un bilionesimo [1/1.000.000.000.000] di quanto valesse nel 1914.

anatra di gomma ha scritto:

Jerry ha scritto:Stavo pensando a come in ogni formalizzazione coerente della matematica che sia sufficientemente potente da poter assiomatizzare la teoria elementare dei numeri naturali — vale a dire, sufficientemente potente da definire la struttura dei numeri naturali dotati delle operazioni di somma e prodotto — è possibile costruire una proposizione sintatticamente corretta che non può essere né dimostrata né confutata all'interno dello stesso sistema.
Intuitivamente, la dimostrazione del teorema ruota attorno alla possibilità di definire una formula logica φ che nega la propria dimostrabilità: si prova quindi che, affinché T sia coerente, né φ né ¬φ possono essere dimostrabili. È dunque cruciale che T consenta di codificare formule autoreferenziali, che parlano cioè di sé stesse: questa richiesta è garantita dal fatto che T è espressiva almeno quanto l'aritmetica o più in generale che T sia in grado di rappresentare tutte le funzioni ricorsive primitive.

è una formula che usi per tagliare meglio i capelli?

yeah ha scritto:Poe disse che la realtà è piu strana dell'immaginabile..
quindi ogni spiegazione insegue la vita ma non ci da le chiavi per prevederla o viverla.
queste sono dentro di noi, date dalla nostra sete di giustizia e di comprensione. anche dell'altro.

acer250 ha scritto::D si volentieri ma prima dovrei fare un po di pratica sono nuovo qui del forum

acer250 ha scritto:ma sempre con riverenza e rispetto

acer250 ha scritto:ecco cosi mi piace, ma fai il bravo e comportati bene altrimenti ricominciamo con la storia del capitano.....

Dani4x4 ha scritto:

acer250 ha scritto:ecco cosi mi piace, ma fai il bravo e comportati bene altrimenti ricominciamo con la storia del capitano.....

cazzo dategli infretta un motore ad acer cosi torna a sguazzare nel fiume e non rivela i miei altarini...