Le particelle elementari
Roberto Petronzio
A partire dalla concezione dell’atomo di Democrito, tra il 5° e il 4° sec. a.C., l’ipotesi che la materia sia formata da costituenti fondamentali ha affascinato [...] d’interazione sulla sua estensione rendendo compatibile anche la quantizzazione della gravità. Le teorie di campo appaiono come modi di vibrazione dellastringa e la sua tensione definisce quali teorie di campo, ovvero di particelle, sono presenti a ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] molto da N+H(N), che è circa N+log2N. Le stringhe di bit X per cui vale ciò sono dette algoritmicamente casuali e è parte di un'elegante teoriadell'informazione algoritmica e della casualità, una teoriadella complessità in termini di lunghezza di ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Umberto Eco
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
La semiotica, o semiologia – dal greco sēmêion, “segno” – viene tradizionalmente definita [...] Peirce, invece, la semiotica deve essere innanzitutto una teoriadella conoscenza che spieghi come funziona l’attività cognitiva le ricette di cucina, gli oggetti, le “stringhe passionali”, e qualunque altro artefatto comunicativo che sia dotato ...
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
In senso lato, il programma di Hilbert consiste nel progetto di codificare tutta la [...] :
1) un linguaggio formale L con particolari stringhe di simboli dette formule ben formate (fbf), ossia così una stratificazione dei piani linguistici: la metateoria (la teoriadella dimostrazione) è descritta nel modo più preciso possibile da un ...
Leggi Tutto
sintassi
Silvio Bozzi
Studio delle proprietà di linguaggi e teorie formalizzate visti, nella logica semantica, come sistemi per la costruzione, la classificazione e le trasformazioni di stringhe (o [...] dalla nozione di sistema di produzione formulata nel 1943 da Post. I linguaggi, i calcoli logici e le teorie formalizzate al centro dell’analisi della logica matematica sono per lo più sistemi formali di questo tipo e il loro studio dal punto di ...
Leggi Tutto
uòvo (pop. òvo) s. m. [lat. ōvum, lat. volg. ŏvum] (pl. le uòva). – 1. In biologia, il gamete femminile costituito da una cellula di varie dimensioni (detto perciò anche cellula uovo), di forma per lo più sferica, ellissoidale o cilindrica,...
miṡura s. f. [lat. mensūra, der. di mensus part. pass. di metiri «misurare»]. – 1. a. Il valore numerico attribuito a una grandezza, ottenuto ed espresso come rapporto tra la grandezza data e un’altra della stessa specie assunta come unità (unità...