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 [...] può applicare la regola del modus ponens che consente di inferire la conclusione B dall'ipotesi A. Ma dire che .3.1 (S4+□(□A⊃□B) □(□B⊃□A)) se si assume il tempo continuo.
I modelli temporali sono modelli con due relazioni di accessibilità 〈T,R1,R2,V ...
Leggi Tutto
Computazionali, metodi
Alfio Quarteroni
I metodi computazionali permettono di risolvere con i computer, nell'ambito delle scienze applicate, problemi complessi formulabili tramite il linguaggio della [...] nell'intervallo [a,b], g essendo una generica funzione continua. Abbiamo denotato con ℙn l'insieme dei polinomi algebrici di , oltre alla convergenza uniforme, una stima dell'errore del tipo ∥En∥∞≤Cn−p, nell'ipotesi che f∈Cp([a,b]) (qui e nel seguito ...
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 [...] possibile realizzazione della teoria è una terna ordinata (Ω, P, θ) del tipo seguente. Ω è l'insieme di tutte le sequenze di coppie temporale continua t, la (4) viene sostituita dalla (5),
formula (5)
Introduciamo quindi la seconda ipotesi forte ...
Leggi Tutto
Stocastica
Mark Kac
Storicamente i processi stocastici furono introdotti nel mondo della scienza (e più tardi della matematica) sotto una forma assai diversa da quella derivante dalla definizione formale [...] Y. La natura stocastica di questo processo è contenuta nell'ipotesi che si tratti di un processo di Markov e nel è un'equazione del tipo di Fokker-Planck ma con coefficienti dipendenti dal tempo.
Processi di Markov con un continuo di stati
Nella ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria della misura
Maurice Sion
La teoria della misura
Con la nozione matematica di misura si vogliono analizzare concetti che si riferiscono [...] di alcuni dei maggiori matematici del tempo un programma di revisione delle nozioni di funzione, continuità, integrale e derivata. Tale ) non è valido se non sono verificate opportune ipotesi. Tutto ciò condusse anche alla considerazione di insiemi ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Dalla prospettiva dei pittori alla prospettiva dei matematici
Pietro Roccasecca
Il progressivo abbandono nei dipinti su tavola dei fondi oro in favore di paesaggi e vedute urbane, l’attenzione al naturale [...] di Bacone, Peckham e Witelo. L’ipotesi che la diffusione del nuovo sapere scientifico possa aver orientato gli certificabile, e ciò per mezzo di corpi intergiacenti disposti in modo continuo e ordinato (John Peckham and the science of optics, 1970 ...
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 [...] è la seguente: è possibile tracciare, con queste ipotesi, due sezioni simili?
Come abbiamo appena ricordato, secondo dunque di linee generate da un unico movimento continuo ‒ quello dell'asta del compasso perfetto ‒ e alle quali si può applicare ...
Leggi Tutto
Equazioni differenziali: problemi non lineari
Jean Mawhin
La modellizzazione di molti problemi fisici porta alla ricerca di soluzioni di equazioni differenziali di secondo ordine, ordinarie o alle derivate [...] funzioni lisce uguali a φ su ∂Ω. Sotto ragionevoli ipotesi di regolarità per Ω, la soluzione u per il problema Ω⊂ℝn è limitato, ∂Ω liscio, f è continua e positiva su Ω__×ℝ.
Sia λ1 il più piccolo autovalore del problema di Dirichlet su Ω per −Δ, e φ1 ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La topologia algebrica all'inizio del XX secolo
John McCleary
La topologia algebrica all'inizio del XX secolo
Le radici della topologia algebrica [...] P) se deg(f)≠(−1)n+1. Il suo famoso teorema del punto fisso ne è una conseguenza: una funzione continua F: en→en ha un punto fisso, dove en è l sviluppò un algoritmo per il calcolo del gruppo fondamentale a partire dall'ipotesi che ogni cappio in un ...
Leggi Tutto
Campioni: teoria e tecniche dei
Amato Herzel
Introduzione
L'epoca attuale appare caratterizzata, rispetto a quelle che l'hanno preceduta, dal ritmo enormemente più intenso delle evoluzioni e dei cambiamenti, [...] aziende, ecc.) vengono intervistate o osservate in modo continuativo o a intervalli regolari. Rilevazioni di tal genere ( secondo campione o di introdurre delle ipotesi sulla distribuzione del carattere nella popolazione ordinata.
Il campionamento ...
Leggi Tutto
acqua
àcqua (ant. àqua) s. f. [lat. aqua]. – 1. Composto chimico di formula H2O (costituito cioè di idrogeno e ossigeno in rapporto di 2:1), diffuso in natura nei suoi tre stati d’aggregazione: solido, liquido e aeriforme; nel linguaggio corrente...
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....