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 [...] La stessa funzid~e f può essere usata per definire una funzione ψ da H alla specie delle funzioni di scelta di numeri naturali. Sia β una successione di , perché non è detto che una successione monotona limitata sia convergente. Se il limite esiste, ...
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 [...] di palline in ciascula scatola) in maniera monotona (esponenziale). Questo risultato è in qualche è il tempo di transito di un elettrone. È facile calcolare la funzione caratteristica di S(t): si ottiene
come generalizzazione della ben nota formula ...
Leggi Tutto
L'Eta dei Lumi: matematica. I metodi numerici
Peter Schreiber
I metodi numerici
Il XVII sec. è stato in generale un 'secolo geometrico'. A parte alcune considerazioni di carattere puramente numerico, [...] monotona). Ricerche di questo tipo non vengono però proposte in modo esplicito. Stirling mostra come passare, mediante successioni che crescono molto rapidamente, dapprima al logaritmo per poi interpolare e tornare indietro trasformando la funzione ...
Leggi Tutto
Misura e integrazione
M. Evans Munroe
Introduzione
La nozione di integrale viene spesso introdotta considerando il problema di determinare l'area racchiusa da una curva, prendendo un limite di somme [...] In generale, tutto ciò che si richiede per definire una misura specifica è una classe ϑ e una funzione τ. Sia f una funzione a valori reali sulla retta reale, monotona e continua a destra. Sia ϑ la classe degli intervalli aperti e poniamo τ[(a, b)]=f ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Equazioni differenziali alle derivate parziali
Haïm Brezis
Felix Browder
Equazioni differenziali alle derivate parziali
Lo studio delle equazioni [...] ellittiche non lineari tramite un'iterazione monotona, in presenza di una coppia ordinata =limn→∞fn(a) per ogni punto iniziale a∈X. Una conseguenza è il teorema delle funzioni inverse, che afferma che se F applica un intorno U di u0∈X in Y, dove ...
Leggi Tutto
Scienza greco-romana. Le sfere celesti e le origini della trigonometria
John L. Berggren
Le sfere celesti e le origini della trigonometria
La comparsa della sfera nella geometria è una diretta conseguenza [...] tipici di questi trattati fin dove essi funzionavano.
Autolico ha utilizzato un linguaggio più geometrico del polo di un cerchio su un altro per studiare la variazione monotona dell’angolo tra i cerchi da un massimo a un minimo, unitamente ...
Leggi Tutto
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 [...] è una coppia 〈W,N〉 dove W è un insieme di mondi e N una funzione che associa a ogni mondo w di W un insieme di sottoinsiemi di W. □A la stessa relazione di conseguenza metasistematica sia non monotòna. Ciò accade in particolare nel ragionamento per ...
Leggi Tutto
Convessità
Arrigo Cellina
La convessità è un concetto della matematica elementare; le parole concavo e convesso fanno parte del linguaggio quotidiano. Eppure questo semplice concetto, unito ad altre [...] uno spazio lineare X viene detta convessa se per ogni x e y nel dominio della funzione e per ogni λ con 0≤λ≤1 si ha V(λx+(1−λ)y)≤λV Stampacchia. Una mappa A da uno spazio X al suo duale X′ è detta monotona se, per ogni u e v nel dominio di A, (Au−Av, ...
Leggi Tutto
Dirichlet Peter Gustav Lejeune
Dirichlet 〈diriklé〉 Peter Gustav Lejeune [STF] (Düren, presso Aquisgrana, 1805 - Gottinga 1859) Prof. di matematica nell'univ. di Berlino, succedette a Gauss nell'univ. [...] essere suddiviso in un numero finito di intervalli tali che in ciascuno di essi la f(x) sia continua e monotona. ◆ [ANM] Funzione di D.: è la funzione f(x)=0 per x irrazionale, f(x)=1 per x razionale, che è discontinua ovunque. ◆ [ANM] Integrale di D ...
Leggi Tutto
funzione
funzióne s. f. [dal lat. functio -onis, der. di fungi «adempiere»]. – 1. Attività svolta abitualmente o temporaneamente in vista di un determinato fine, per lo più considerata nel complesso di un sistema sociale, burocratico, ecc....
muro
s. m. [lat. mūrus] (pl. i muri e, con valore collettivo, le mura). – 1. a. Struttura edilizia parallelepipeda avente le due dimensioni d’altezza e larghezza notevolmente prevalenti rispetto alla terza dimensione (spessore); il termine...