colonna
colònna [Der. del lat. columna] [LSF] Denomin.: (a) di strutture la cui forma ricorda quella dell'omonima struttura delle costruzioni (per es., c. luminosa e c. positiva: v. oltre); (b) di corpi [...] il riempimento della c. con materiale inerte di forma diversa (c. a riempimento) o con la nebulizzazione di uno dei fluidi (c. vuota o a spruzzo); a seconda del tipo di operazione che vi si fa avvenire si parla poi di c. di distillazione, di lavaggio ...
Leggi Tutto
teorema di esistenza degli zeri
Luca Tomassini
Sia f una funzione continua a valori reali su un intervallo chiuso [a,b] della retta reale ℝ e sia c un numero reale compreso tra f(a) e f(b). Il teorema [...] di Bolzano-Weierstrass, secondo il quale una successione di intervalli In tale che In+1⊂In per ogni n∈ℕ ha un’intersezione non vuota. Basterà infatti dividere l’intervallo [a,b] in due metà e osservare che almeno in una delle due f assume valori ...
Leggi Tutto
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] . Una ‛direzione di spiegamento' D è una specie di successioni di numeri naturali che soddisfa le seguenti condizioni: 1) la successione vuota appartiene a D; 2) si può decidere per ogni numero naturale k se {k} è una successione a un solo membro in ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] è accettata se e solo se almeno uno di questi percorsi termina in uno stato finale f∈F. Si noti che 2S contiene l'insieme vuoto e quindi potrebbe esistere una coppia s,c per cui ∂′(s,c)=Φ: in questo caso la nuova mossa non è definita e il percorso ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] e cioè: (ab+b)*(ε+a), dove ε denota la parola vuota, + l'unione e l'asterisco l'iterazione.
La star-height
accettata da questo automa se esiste un calcolo che porti alla pila vuota. Un risultato elementare afferma che un linguaggio è context-free se ...
Leggi Tutto
TENSORIALE, ALGEBRA e ANALISI
Dionigi Galletto
Il calcolo t., sinonimo di calcolo differenziale assoluto (v. differenziale assoluto, calcolo, XII, p. 796; tensore, XXXIII, p. 497), i cui fondamenti [...] cartesiane ortogonali ha per componenti ri = ∂i+1vi+2 − ∂i+2vi+1, ecc.). In particolare dalla formula di Stokes segue che, se ∂Wp è vuota, è ∫Wpdω = 0, così come, nell'ipotesi che l'ordine di ω sia p − 2, è ∫∂Wpdω = 0.
Derivata di Lie. - Dato un ...
Leggi Tutto
La scienza in Cina: dai Qin-Han ai Tang. La matematica
Alexei Volkov
Karine Chemla
Qu Anjing
La matematica
Le bacchette
di Alexei Volkov
Il sistema di numerazione cinese, sistema decimale e principio [...] dall'VIII sec. d.C., se non prima, fu introdotta in Cina la notazione indiana la quale usava punti per le posizioni vuote nella moltiplicazione e nella divisione.
La rappresentazione dei numeri con le bacchette e, più tardi, con l'abaco ‒ i due più ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] per il quantificatore esistenziale, che interpreta come l’indicazione che una classe di individui non è uguale alla classe vuota.
Questa spiccata sensibilità di Peano per la chiarificazione della nozione di classe negli anni in cui la questione della ...
Leggi Tutto
VARIETÀ (App. II, 11, p. 1089)
Edoardo Vesentini
In geometria il termine v. è comunemente inteso in due differenti accezioni: v. algebrica (per la quale rinviamo alla voce geometria: Geometria algebrica, [...] oppure di classe C∞ se X è di classe C∞ o Cw, tali che - se Ui ed Uj hanno una parte comune non vuota - in essa risulti
Si dice allora che dette forme definiscono in X una metrica riemanniana globale, della quale esse dànno le rappresentazioni locali ...
Leggi Tutto
TOPOLOGIA (v. analysis situs, I, p. 87; topologia astratta, App. II, 11, p. 1004; topologia, App. III, 11, p. 960)
Santuzza Baldassarri Ghezzo
La t. oggi è una delle discipline fondamentali della matematica; [...] A; infine un "intorno di un punto" x ∈ X è un insieme che contiene un aperto al quale appartiene x.
Esempi: 1) Per ogni insieme non vuoto X, la totalità ℘ (X) dei suoi sottinsiemi è una t. su X, detta "t. discreta" di X. 2) Sull'insieme R di tutti i ...
Leggi Tutto
vuotare
v. tr. e intr. pron. [der. di vuoto] (io vuòto, ecc.; il dittongo mobile tende a mantenersi anche fuori d’accento per evitare l’ambiguità con votare2 «offrire in voto, dare il proprio voto», e comunque oggi le forme con vo- sono disusate...