Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] Δ di LK e un sequente Γ;Γ′⇒A del frammento intuizionista diviene un teorema Γ;Γ′⇒A di LJ. Analogo il caso dei passaggi all'inverso. Ciò che ci dà in più l'immersione di LK e LJ in LU è che in questo contesto emergono le dipendenze lineari presenti in ...
Leggi Tutto
approssimato
approssimato [agg. Der. del part. pass. approximatus del lat. approximare "avvicinarsi a", comp. di ad- e proximus "prossimo"] [LSF] Che riguarda o che deriva da un'approssimazione. ◆ [ANM] [...] 0.01 ² 1 %; o anche, direttamente dall'errore assoluto, δv=Δv/v = ± 150/14 130 ² ± 1%. Capita talora anche il problema inverso, vale a dire di dovere determinare l'errore massimo da cui possono essere affette misure di grandezze affinché il valore di ...
Leggi Tutto
Biologia
In biologia cellulare, r. endoplasmatico (o endoplasmico), sistema di cavità delimitate da membrane, presente nel citoplasma di tutte le cellule. È costituito da una membrana formata da un unico [...] r.); passo (o periodo, o costante) del r. è la distanza p (fig. 2A) fra due tratti contigui; frequenza del r. è l’inverso del passo, cioè il numero di tratti per unità di lunghezza (a seconda dell’uso cui il r. è destinato, la frequenza può andare da ...
Leggi Tutto
La scienza in Cina: l'epoca Song-Yuan. La matematica
Karine Chemla
Annick Horiuchi
Andrea Eberhard-Bréard
La matematica
La rinascita della matematica e la tarda tradizione settentrionale
di Karine [...] estrazione delle radici quadrate e cubiche. In alcuni problemi Zhu Shijie definisce il metodo dell'estrazione come 'metodo inverso' (fanfa), ma si limita a suggerirne l'applicazione senza darne una descrizione precisa, descrizione che troviamo invece ...
Leggi Tutto
L'Ottocento: astronomia. Il problema dei tre corpi e la stabilita del Sistema solare
June Barrow-Green
Il problema dei tre corpi e la stabilità del Sistema solare
Questo capitolo illustra, a grandi [...]
Nel cercare una risposta, si concentrò sul problema della discordanza tra quanto prevedeva la legge di Newton dell'inverso del quadrato e quanto si osservava sperimentalmente nella precessione del perielio di Mercurio (una delle questioni risolte in ...
Leggi Tutto
La grande scienza. Geometria non commutativa
Alain Connes
Geometria non commutativa
Se si pensa che la geometria sia strettamente legata al nostro modello di spazio-tempo, allora la teoria generale [...] −1 e A è l'algebra delle funzioni lisce. Si osservi che ds ha la dimensione di una lunghezza, D ha la dimensione dell'inversa di una lunghezza e l'espressione [60] per d(x,y) ha anch'essa la dimensione di una lunghezza.
Pertanto, nel caso geometrico ...
Leggi Tutto
Geometria non commutativa
Alain Connes
Se si pensa che la geometria sia strettamente legata al nostro modello di spazio-tempo allora la teoria generale della relatività dà chiaramente ragione a Carl [...] −1 e A è l'algebra delle funzioni lisce. Si osservi che ds ha la dimensione di una lunghezza, D ha la dimensione dell'inversa di una lunghezza e l'espressione [60] per d(x,y) ha anch'essa la dimensione di una lunghezza.
Pertanto, nel caso geometrico ...
Leggi Tutto
Ljapunov Aleksandr Michajlovic
Ljapunov 〈liapunòf〉 Aleksandr Michajlovič [STF] (Jaroslav 1857 - Odessa 1918) Prof. di matematica nell'univ. di Charkov (1893); socio straniero dei Lincei (1908). ◆ [MCC] [...] gli esponenti di L. del sistema dinamico continuo St. Si noti che questi esponenti non sono numeri puri ma hanno la dimensione dell'inverso di un tempo: v. cammini aleatori: I 467 c sgg. ◆ [MCC] Funzioni di L.: v. stabilità del moto: V 578 e. ◆ [ELT ...
Leggi Tutto
Il Rinascimento. Verso una nuova matematica
Enrico Giusti
Paolo Freguglia
Pier Daniele Napolitani
Pierre Souffrin
Verso una nuova matematica
Introduzione
di Enrico Giusti
A chi si volga alla matematica [...] uguali stanno fra loro come tali grandezze' o che 'i tempi di percorrenza di spazi uguali stanno fra loro nel rapporto inverso di tali grandezze'. Il primo significato si adatta bene al caso del moto di discesa di un mobile su piani inclinati diversi ...
Leggi Tutto
Il Rinascimento. Il metodo e l'ordine del sapere
Cesare Vasoli
Il metodo e l'ordine del sapere
Prodromi di un dibattito
La ricostruzione del lungo dibattito cinquecentesco sui criteri fondamentali [...] contrario, la compositio permetterà di risalire dalle differenze al genere comune o dalle parti al tutto, compiendo in senso inverso il cammino percorso per mezzo della divisione.
È evidente che Sturm intende delineare in modo distinto le diverse vie ...
Leggi Tutto
inverso1
invèrso1 agg. e s. m. [dal lat. inversus, part. pass. di invertĕre «invertire»]. – 1. agg. Contrario, opposto, rovescio rispetto a un altro, rispetto al precedente, rispetto a ciò che è abituale: facciamo ora il caso i.; rifare il...
inverso2
invèrso2 (raro 'in vèrso'; poet. invèr o invèr’) prep. [comp. delle prep. in e verso2], ant. o letter. – Verso, incontro a: corsero inverso Ameto (Boccaccio); anche per significare «in paragone di»: Acutamente sì, che ’nverso d’ella...