Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] chiusa rispetto a prodotti diretti arbitrari, come nella teoriadi Birkhoff. Esempi principali ne sono la varietà diRamsey. Nel caso infinito, gli algoritmi di determinazione degli automi finiti diventano, analogamente, un difficile teorema di ...
Leggi Tutto
paradosso
paradosso (dal greco pará, «oltre, contro», e dóxa, «opinione») termine applicato, nella sua accezione più ampia, a qualsiasi affermazione o ragionamento che contrasti con l’opinione comune [...] formulate delle teorie assiomatiche di cui sono esempi la teoriadi → Zermelo-Fraenkel e la teoriadi → Neumann-Bernays-Gödel.
Fra le classificazione “storiche” dei paradossi sin qui esaminati, va ricordata quella proposta da F.P. Ramsey (da cui ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Economia (2013)
Bruno de Finetti
Stefano Lucarelli
Giorgio Lunghini
Bruno de Finetti ha dato molti e importanti contributi alle scienze: alla matematica pura e applicata, alla teoria della probabilità, alle scienze [...] di un concetto di probabilità come probabilità soggettiva nel senso diRamsey-de Finetti (e ciò avrebbe potuto fare grazie a Ramsey , On Keynes method, London 1988.
E. Regazzini, Teoria e calcolo delle probabilità, in La matematica italiana dopo ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] della teoria dei tipi), dall'altro si usarono i risultati di Gödel diRamsey finito, la versione finita di Friedman del teorema di Kruskal, il teorema di Goodstein, un teorema sui giochi di Gentzen e vari altri.
Se il secondo volume dell'opera di ...
Leggi Tutto
Autismo
Salomon Resnik
Paola Bernabei
Il termine tedesco Autismus, dal greco αὐτός, "stesso", coniato dallo psichiatra svizzero E. Bleuler, designa, in senso generale, la patologia caratterizzata dalla [...] non comunicare. Basandosi sulla teoriadi E. Bick (1968) relativa alla funzione di contenimento della pelle, D 1927 (trad. it. Verona, Bertani, 1980).
j.m. ramsey, Neuropsychological studies of high level autism, in High functioning individuals with ...
Leggi Tutto
SRAFFA, Piero. –
Giancarlo De Vivo
Nerio Naldi
Nacque a Torino il 5 agosto 1898, unico figlio di Angiolo Gabriele (detto Angelo; v. la voce in questo Dizionario) e di Arduina Tivoli (detta Irma; 1873-1949), [...] sia Ramsey erano di idee politiche radicali.
Gli anni Trenta, come si è detto, videro il lavoro di ricerca di Sraffa essenzialmente dedicato all’edizione delle opere di Ricardo. Nel 1930 c’era stato un suo breve ritorno alla critica della teoriadi ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Nel corso del Novecento la tavola periodica degli elementi, messa a punto da Mendeleev [...] di William Ramsey. Due anni più tardi, nel 1894, i due scienziati comunicano la scoperta di un nuovo gas elementare, pressoché inerte dal punto di una volta la validità della teoriadi Mendeleev.
Un’altra strana famiglia di sostanze semplici ha messo ...
Leggi Tutto
Impiegato nel corso della storia con significati spesso eterogenei e in riferimento a distinte tradizioni di pensiero, il termine designa genericamente il complesso delle dottrine che, in assenza di certezza, [...] informazione a suo sostegno. L’interpretazione soggettivistica della probabilità è stata avanzata, in aperto contrasto con la teoriadi Keynes, da Borel, Ramsey e de Finetti nella seconda metà degli anni Venti: la probabilità è definita come un grado ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Maria Conforti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
I teoremi d’incompletezza di Gödel del 1931 sono i risultati più profondi e spettacolari [...] teorema d’incompletezza afferma l’impossibilità di dimostrare la coerenza di PA all’interno della teoria stessa, se PA è coerente. Paris e Leo Harrington esibiscono una variante del teorema diRamsey finito; negli anni Ottanta, Paris e Laurie Kirby ...
Leggi Tutto
verità Conformità o coerenza a principi dati o a una realtà obiettiva.
Filosofia
Definizione e criterio di verità
Nella storia della filosofia il concetto di v. è stato concepito in almeno due diverse [...] stesso al quale viene applicato. A tale concezione della v. è stato dato il nome diteoria ridondantistica (redundancy theory) della v.: l’idea di base diRamsey, infatti, è che il temine «vero» possa essere eliminato dal linguaggio senza che questo ...
Leggi Tutto