Scienza greco-romana. Archimede
Reviel Netz
Archimede
Archimede è l’unico dei matematici greci di cui abbiamo notizie storiche; questa eccezionalità è dovuta in parte ai risultati da lui ottenuti, [...] chiamava Fidia. Il nome non è senza significato; come si verifica infatti in casi analoghi, portare il nome del più grande questa legge segue da alcune ipotesi, e, qui sta il punto cruciale, non si tratta diipotesidi carattere fisico. Archimede non ...
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 [...] l'esplicita introduzione diipotesi (quali l'assioma di riducibilità, l'assioma dell'infinito e l'assioma di scelta) il o no P(x). In generale non c'è alcuna maniera di eseguire una tale verifica quando A è infinito, anche se P è decidibile.
Dal 1908 ...
Leggi Tutto
Mortalità
Graziella Caselli
Introduzione
Era più o meno la metà del Seicento quando la città di Londra, volendo conoscere l'andamento delle epidemie che affliggevano la popolazione, invitò John Graunt [...] di diseguaglianza che sono assolutamente inaccettabili da un punto di vista etico, questa offre elementi utili per lo sviluppo diipotesi diagnostiche. Oggi, l'inversione di tendenza della mortalità per tumori che si verifica per le donne - e che ...
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, [...] ipotesi" un valore della funzione) si ottiene costruendo una nuova ipotesi a partire da una x che giace tra i due valori: si tratta quindi didi carattere teorico. Dalla verificadi un numero sufficientemente grande di passi si deduceva la validità di ...
Leggi Tutto
Analisi non lineare: metodi variazionali
Antonio Ambrosetti
I primi problemi di calcolo delle variazioni si presentano quasi spontaneamente, anche nello studio della geometria elementare e hanno infatti [...] −Δu+u=a(x)p−1 u>0, u∈W1,2(ℝ),
dove 2〈p〈2*. Le soluzioni di [41] sono i punti critici del funzionale
[42] formula.
È facile vedere che J verifica le ipotesi geometriche del teorema del passo montano ma non la PSc. Se a(x) è costante, per esempio ...
Leggi Tutto
Caos
Robert L. Devaney
Introduzione storica
Secondo l'accezione più comune, il termine ‛caos' significa totale annientamento dell'ordine o assenza di qualsiasi struttura. Analogamente, in matematica, [...] abbiamo fatto un certo numero diipotesi semplificatrici, tra le quali quella di non poco conto secondo cui ciascun è già divenuta caotica. Di fatto, via via che il parametro si avvicina a 4, si verifica una serie di altri eventi, efficacemente ...
Leggi Tutto
Modelli
Patrick Suppes
Il significato del termine 'modello' nelle scienze
Il termine 'modello' non è usato esclusivamente in ambito scientifico, ma nei contesti più vari. Ciascuno di noi sa che cosa [...] nella vasta letteratura riguardante la stima dei parametri nei modelli e la verifica delle ipotesi su di essi. Generalmente è semplice tradurre una trattazione statistica della stima dei parametri di un modello in una in cui l'uso dei termini è in ...
Leggi Tutto
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 [...] e quindi non presuppongano nulla di astratto, che questo non si verifica. Di qui l'interesse per lo nella regola del taglio, che permette di concludere B a partire da un lemma A e da una dimostrazione di B sotto l'ipotesi A (cioè ⇒B a partire da ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Equazioni differenziali ordinarie
Jean Mawhin
Equazioni differenziali ordinarie
Accanto a sostanziali progressi nella teoria delle equazioni [...] in generale la verificadi infinite condizioni. Poincaré riduce poi lo studio di equazioni differenziali (implicite altre condizioni ai limiti e sotto ipotesi più deboli. Il problema [19] è l'equazione di Euler-Lagrange del calcolo delle variazioni ...
Leggi Tutto
Nel linguaggio scientifico, in presenza di fenomeni casuali (o aleatori), p. di un evento è il numero, compreso fra 0 e 1, che esprime il grado di possibilità che l’evento si verifichi, intendendo che [...] esso si verifica (punto di vista ontologico); b) la p. di un evento come il grado di fiducia che un p. delle ipotesi dopo che si è osservato l’evento A; il teorema di Bayes indica come l’osservazione di A modifica le p. delle ipotesi, facendo passare ...
Leggi Tutto
verifica
verìfica s. f. [der. di verificare]. – L’azione e l’operazione di verificare, il fatto di venire verificato (è forma ormai più com. e di uso più largo di verificazione, spec. nel linguaggio burocr. e in varî usi tecn.): 1. a. Controllo,...
lìmite s. m. [dal lat. limes -mĭtis]. – 1. a. Confine, linea terminale o divisoria: il l. fra due stati, fra due territorî; i l. d’un terreno, d’un podere; sino al l. del campo; oltre il l. del bosco. In questo sign., la parola è oggi poco com....