Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] C) (B C)). In questa logica la verità di una disgiunzione non implica la verità di uno dei disgiunti. Per misurare la distanza dall'implicazione classica si noti che l'implicazione quantistica A→B viene normalmente introdotta per definizione come ∉A ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] cavallo del secolo, Émile Borel (1871-1956) e Henri-Léon Lebesgue (1875-1941) elaborarono nuove teorie della misura che rivoluzionarono i metodi di integrazione. Questi importanti sviluppi portarono a campi di ricerca assolutamente nuovi, gran parte ...
Leggi Tutto
Civilta islamica: antiche e nuove tradizioni in matematica. Tracciato continuo delle coniche e classificazione delle curve
Roshdi Rashed
Tracciato continuo delle coniche e classificazione delle curve
Il [...] i due tubi, prima di far ruotare il tubo AS che contiene il tiralinee di un angolo BAC fissato. L'angolo BAC è misurato dal rapporto dell'arco EG ad AE. Fissato l'arco EG, basta far scorrere E e G nelle rispettive tacche per aggiungere la distanza ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Paolo Zellini
L'analisi numerica
L'analisi numerica moderna comincia a delinearsi verso la metà del XX sec., con le prime [...] eliminazione basato sulla classica fattorizzazione A=LDLT (ove L è triangolare inferiore con lii=1 e D è diagonale), allora l'errore misurato dalla distanza tra AX e la matrice identica (in norma spettrale) è superiormente limitato da 14.24(λ/μ)n2B−s ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] cosiddetta 'radiazione cosmica di fondo'. È dotato di un apposito rivelatore che opera in parallelo con altri due strumenti, uno per misurare l'anisotropia di questa radiazione e l'altro per l'analisi generale nel campo di lunghezze d'onda tra i 140 ...
Leggi Tutto
Numeri, teoria dei
LLarry Joel Goldstein
di Larry Joel Goldstein
SOMMARIO: 1. Introduzione: a) argomenti fondamentali; b) la teoria dei numeri nel XVII e XVIII secolo; c) Gauss. □ 2. Teoria algebrica [...] per una costante non nulla. Questo risultato è dovuto a Hamburger.
La teoria di Hecke mostra che, almeno in una certa misura, funzioni zeta e forme automorfe sono come i due lati di uno stesso angolo. Esaminando le corrispondenti funzioni zeta è ...
Leggi Tutto
L'Ottocento: matematica. Analisi complessa
Jeremy Gray
Analisi complessa
Lo sviluppo dell'analisi complessa è una delle caratteristiche salienti della matematica del XIX secolo. Lo studio di funzioni [...] per definire, prendendone l'inversa, la funzione v=senu. Allo stesso modo l'integrale ellittico più semplice e paradigmatico è
che misura la lunghezza d'arco della lemniscata r2=cos2θ, una curva che ha la forma di un otto. La [9] definisce una ...
Leggi Tutto
L'Ottocento: matematica. Teoria dei numeri
Catherine Goldstein
Teoria dei numeri
Le tappe più significative dello sviluppo di un settore della scienza o dell'arte si accordano raramente con la suddivisione [...] teorema dei residui di Cauchy e del teorema di Riemann-Roch. Egli prendeva in esame le idee di Kronecker nella misura in cui le considerava utili alla dimostrazione di alcuni risultati (relativi, in particolare, ai divisori di un discriminante), ma ...
Leggi Tutto
L'Ottocento: matematica. Il rigore in analisi
Umberto Botta
Il rigore in analisi
L'eredità di Lagrange
All'epoca della Rivoluzione francese, l'esigenza di formare una classe di ingegneri civili e militari [...] di un quadrato che sono incommensurabili tra loro, e dunque segmenti che sono incommensurabili rispetto a una data unità di misura. "La retta è infinitamente più ricca di punti che non il campo razionale di numeri", affermava Dedekind, e i numeri ...
Leggi Tutto
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à...
misurabile
miṡuràbile agg. [der. di misurare; cfr. lat. tardo mensurabĭlis, der. di mensurare «misurare»]. – Che può essere misurato: grandezze facilmente, difficilmente m., non m. con gli strumenti comuni. Con accezione più specifica, in...