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 [...] formalmente, usando i simboli '∈' per 'è membro di' e '⇒' per 'implica', gli assiomi di Peano sono:
I 0∈ℕ
II x∈ℕ⇒sc(x)∈ℕ
III le definizioni ricorsive in ℕ, con le quali viene determinata una funzione F su ℕ fissando F(0) e dicendo come F(sc ...
Leggi Tutto
L'Eta dei Lumi: matematica. Le equazioni differenziali
Silvia Mazzone
Clara Silvia Roero
Le equazioni differenziali
E con la nascita del calcolo infinitesimale di Newton e di Leibniz, nella seconda [...]
[28] M(x,y)dx+N(x,y)dy=0
verifica la condizione
essa è integrabile e i suoi integrali sono dati nella forma implicita F(x,y)=c, ove la funzione F è tale che ∂F/∂x=M e ∂F/∂y=N. Inoltre, egli mostra come la primitiva F può essere ottenuta dalle ...
Leggi Tutto
L'Eta dei Lumi: matematica. Geometria analitica, delle curve e delle superfici. Il problema delle parallele
Peter Schreiber
Geometria analitica, delle curve e delle superfici. Il problema delle parallele
A [...] . la possibilità, che il metodo delle coordinate aveva implicita fin dall'inizio, di estendere tutti i concetti geometrici curva piana, il cui raggio di curvatura R è perciò una funzione di P e della direzione di questa curva, espressa da un angolo ...
Leggi Tutto
L'Eta dei Lumi: matematica. La teoria dei numeri
Günther Frei
La teoria dei numeri
La teoria dei numeri (o aritmetica) tratta delle proprietà dei numeri. Lungo tutta la sua storia, un tema dominante [...] [3] aφ(m)≡1 (mod m),
in cui φ(m) è la cosiddetta 'funzione di Euler', che conta il numero di interi tra 0 e m che sono primi con p) per p≠2 numero primo e a intero non divisibile per p, implica che a(p−1)/2≡±1 (mod p). Sulla base di questa conseguenza ...
Leggi Tutto
Matematica: problemi aperti
Claudio Procesi
Prima di parlare dei problemi aperti nella matematica è bene riflettere su quelli che ne hanno segnato la storia passata. Sono infatti proprio questi che [...] 2π. Fatto il cambiamento di variabili s=1/2+it e pensata la funzione come ξ(t), Riemann aggiunge l'ipotesi che nella coordinata t gli zeri noti per ogni n e vi è una caratterizzazione implicita nello stile della precedente, ma in generale non molto ...
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 [...] effettivamente il modello numerico e dipende in maniera implicita dal numero di condizionamento matematico K e da quello {φk, k=0,1,…} di polinomi ortogonali in [a,b] rispetto alla funzione peso w(x)>0 è definita come segue:
se
Se a=−1 e ...
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 [...] principio d'uniformità, così che se f: α→α′ è una funzione strettamente crescente si può definire una α-dimostrazione ‒ l'immagine reciproca di enunciato che rende esplicito quanto in esso è implicito.
Nella pratica matematica non si dimostra mai un ...
Leggi Tutto
Natalità
Gustavo De Santis
Natalità e fecondità
Con il termine 'natalità' si indica, sinteticamente, la frequenza relativa delle nascite per unità di tempo per unità di popolazione. E questo, come la [...] tutte le nascite, al complesso della popolazione, nell'ipotesi implicita che il fenomeno tragga origine, con poca o nessuna si fanno) ma anche nella cadenza (quando si fanno), in funzione, ad esempio, delle fasi del ciclo economico, della propria ...
Leggi Tutto
equazione
equazióne [Der. del lat. aequatio -onis "uguaglianza, uguagliamento", da aequare "uguagliare"] [LSF] Uguaglianza tra due espressioni (il primo e il secondo membro dell'e.) contenenti una o [...] 610 a. ◆ [FML] E. cinetica: e. del moto per la funzione di distribuzione classica di una particella nello spazio delle fasi: v. liquido quantistico di nel vuoto: II 385 f. ◆ [ALG] [ANM] E. implicita: per un'e. di più variabili e rispetto a una delle ...
Leggi Tutto
Legame, relazione, connessione tra due o più elementi.
Diritto
R. giuridico è la relazione tra due (o più) soggetti regolata dal diritto.
La nozione di r. giuridico
Caratteristica del diritto, è quella [...] e che quindi non operi alcun meccanismo di implicita incompatibilità, in virtù di un’applicazione analogica dell corde di estremità e di radice; per l’elica, il r. di funzionamento è tra velocità di volo e periferica della pala, il r. di solidità ...
Leggi Tutto
implicito
implìcito agg. [dal lat. implicĭtus, part. pass. di implicare, propr. «inviluppato, confuso insieme»]. – 1. Di giudizio o concetto o fatto che, senza essere formalmente ed espressamente enunciato, è tuttavia contenuto, sottinteso,...
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....