assiomatico
assiomàtico [agg. (pl.m. -ci) Der. del gr. axiomatikós] [ALG] Metodo a.: v. assiomatizzazione: I 181 a. ◆ [ALG] [FAF] Trattazione a. (di una data questione): nella logica matematica, la trattazione [...] in cui si astrae da ogni definizione costruttiva degli enti che intervengono nella questione e si considerano solo talune loro proprietà espresse formalmente in un sistema di assiomi, dai quali, per via puramente logica, si deducono nuove proprietà. ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] è chiuso per l'operazione di successore, cioè
[1] x∈ℕ=def∀X[0∈X&∀y(y∈X⇒sc(y)∈X)⇒x∈X].
Questa definizione soddisfa immediatamente l'assioma di induzione V, e gli altri assiomi I-IV per 0 e sc sono facilmente verificati.
Il programma logicista di ...
Leggi Tutto
Matematico statunitense (New York 1923 - ivi 1986). Laureatosi alla Cooper Union di New York nel 1943, conseguì il PhD nel 1948 alla New York University, presso la quale fu prof. di matematica dal 1957. [...] A lui si deve la definizione rigorosa del limite in cui è valida l'equazione di Boltzmann, detto limite di Boltzmann-G., situazione in cui viene a trovarsi un gas rarefatto di particelle, con sezione d'urto a2, ossia di raggio circa a, quando il ...
Leggi Tutto
taglio
tàglio [Atto ed effetto del tagliare, der. del lat. taliare] [ALG] Il termine è usato soprattutto nella topologia, per tradurre astrattamente il signif. concreto della parola t. di una superficie, [...] bordi di un t., ecc.; la definizione esatta dipende dal signif. astratto che si vuole dare. ◆ [ALG] T. di un insieme: (a) l'operazione con cui si determina un sottoinsieme di un insieme dato; (b) il sottoinsieme così ottenuto; per es., v. ...
Leggi Tutto
costitutivo
costitutivo [agg. Der. del lat. constitutivus, da constituere "costituire" "che costituisce, che è parte essenziale o che definisce una grandezza sulla base di un'altra"] [ANM] Equazione, [...] dell'elettromagnetismo: v. elettrodinamica classica: II 282 c. Ognuna di queste relazioni può essere usata come equazione di definizione per ognuno dei vettori o tensori che vi compaiono. Talora, nella misura in cui un'equazione del genere sintetizza ...
Leggi Tutto
tabulazione
tabulazióne [Atto ed effetto del tabulare (→ tabulato)] [ANM] Operazione consistente nel riportare in una o più tabelle i valori di una funzione corrispondenti a un conveniente insieme di [...] valori della o delle variabili indipendenti appartenenti al campo di definizione della funzione; la scelta di quest'ultimo insieme e la disposizione delle tabelle dipende dalla natura della funzione e dall'uso, sia teorico che pratico, cui sono ...
Leggi Tutto
Numero complesso in cui la parte reale sia nulla, e il cui quadrato sia quindi un numero reale negativo (il termine è usato talora per indicare impropriamente qualunque numero complesso: si dicono allora [...] i. puri i numeri che soddisfano la precedente definizione). Punto, retta, piano i. (o complessi) Sono detti rispettivamente un punto, una retta, un piano nelle cui coordinate (o coefficienti) intervenga qualche quantità complessa. ...
Leggi Tutto
Scienza greco-romana. Euclide e la matematica del IV secolo
Reviel Netz
Euclide e la matematica del IV secolo
Sappiamo del IV sec. a.C. più di quanto non sappiamo del V, ma è sempre molto poco. Fra [...] È qui che va cercata l’essenza di ciò che un rapporto ‘è’, ed è qui la grande bellezza logica delle definizioni di Eudosso. La definizione di proporzione è data soltanto in termini di grandezze minori o maggiori di altre, e in questo modo ne è colto ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] .
L'entropia metrica di Kolmogorov. A.N. Kolmogorov, per distinguere shift con differenti misure di Bernoulli, formula una definizione di entropia strettamente legata a quella introdotta da C.E. Shannon nella teoria dell'informazione, che si rivelerà ...
Leggi Tutto
MMark Kac
di Mark Kac
SOMMARIO: 1. Preliminari. □ 2. Alcune sottigliezze matematiche. □ 3. Alcune classi generali di processi stocastici con esempi: a) processi di Markov con spazio degli stati finito [...] tn) (1)
di x(t1), x(t2), ..., x(tn) mediante la relazione
dove P (probabilità) indica la misura μ su Ω, cioè:
Secondo questa definizione,
x(t)=sen 2π(νt+ω) (3)
è un processo stocastico, se si sceglie, per esempio, per Ω l'intervallo (0, 1) e per ...
Leggi Tutto
definizione
definizióne (ant. diffinizióne) s. f. [dal lat. definitio -onis]. – 1. Determinazione, delimitazione esatta: d. di un confine; d. dei limiti di competenza di due organi amministrativi; d. dei termini di una questione. 2. L’atto,...
Capitalocene s. m. Denominazione polemica che, contrapponendosi al termine descrittivo antropocene (v.), intende mettere in luce le durature conseguenze negative del sistema capitalista sul piano economico-sociale, giuridico e culturale non...