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 [...] il grado dei tagli, vale a dire il massimo numero di costanti logiche in una formula più uno. Il grado 0 è quello - Bernays, Paul, Grundlagen der Mathematik, Berlin, Springer, I-II, 1934-1939.
Girard 1987: Girard, Jean-Yves, Proof theory and ...
Leggi Tutto
onda
ónda [Der. del lat. unda] [LSF] Fenomeno fisico per cui una perturbazione prodotta localmente in un mezzo si propaga a distanza, trasportando lontano energia e informazioni circa le sue caratteristiche [...] ELT] O. di carica spaziale: v. diodi a stato solido per microonde: II 205 e. ◆ [FPL] [GFS] O. di ciclotrone ionico: lo stesso . semplice: lo stesso che o. sinusoidale indefinita ad ampiezza costante, in quanto essa ha un'unica componente armonica. ◆ [ ...
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 [...] stazionaria, cioè chiusa alle migrazioni, con natalità e mortalità costanti e uguali tra loro e, quindi, con tasso continueranno a diminuire anche nel prossimo futuro (v. tabb. I e II): il tasso medio di natalità, attualmente del 27 per mille, era ...
Leggi Tutto
ENRIQUES, Federigo
Giorgio Israel
Nacque a Livorno il 5 genn. 1871 da Giacomo e da Matilde Coriat.
La famiglia si trasferi a Pisa, dove egli frequentò le scuole secondarie. Già qui manifestò la sua [...] della genesi delle teorie scientifiche.
La costante più importante del pensiero dell'E. è Bibl.: G. Castelnuovo, Commem. di F. E., in Rend. d. Acc. naz. dei Lincei, s. 8, II (1947), pp. 3-21, opp. in Period. di mat., s. 4, XXV (1947), pp. 81-94; ...
Leggi Tutto
PACIOLI, Luca
Francesco Paolo Di Teodoro
PACIOLI, Luca. – Nacque a Sansepolcro (allora Borgo Sansepolcro), presso Arezzo, attorno al 1446-48, da Bartolomeo, piccolo allevatore e coltivatore, e da Maddalena [...] , cardinale di S. Pietro in Vincoli e futuro papa Giulio II, «nostro p(ro)tectore», Fra Luca mostrò a Guidubaldo da Sanseverino e Pier Soderini. Il suo interesse per i poliedri fu costante nel corso degli anni ed è ben manifestato dall’intera sua ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La statistica metodologica
Domenico Costantini
La statistica metodologica
La statistica metodologica è la disciplina che, sulla scorta della [...] D∣H0,S) e P(D∣H1,S) e, a meno di una costante di proporzionalità, tutto ciò che può essere detto per le une vale anche per ipotesi riguardino i risultati dei successivi lanci di un dado, Ii potrebbe asserire che all'i-esimo lancio si verificherà l' ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] la II Conferenza sull'epistemologia delle scienze esatte, organizzata dalla Gesellschaft für empirische ogni termine t e a ogni derivazione d in T.
Il linguaggio di S contiene costanti funzionali neg e imp tali che, per ogni formula φ e ψ, S⊦ neg ...
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 [...] del concorso indetto dal re di Svezia e Norvegia Oscar II, Poincaré inaugura lo studio delle soluzioni T-periodiche di sistemi continua f è globalmente lipschitziana in (x,x′), con costanti rispettivamente L e M. Con il metodo delle approssimazioni ...
Leggi Tutto
Wavelets
IIgnazio D'Antone
di Ignazio D'Antone
SOMMARIO: 1. Introduzione. ▭ 2. La trasformata wavelet continua. ▭ 3. La trasformata wavelet discreta. ▭ 4. Analisi a multirisoluzione. ▭ 5. Proprietà [...] ϕ(t) = 0 per t ∈ [0,1). In questo modo una funzione costante può essere rappresentata da un multiplo della ϕ(t). La (9) ha un'interpretazione intuitiva Transactions on pattern analysis and machine intelligence", 1989, II, 7, pp. 674-693.
Mallat, S., ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. La matematica applicata all'astrologia
Edward S. Kennedy
La matematica applicata all'astrologia
L'astrologia può essere definita come [...] molto superiore fu, infine, Ipparco (attivo intorno al II sec. a.C.), il più eminente degli astronomi antichi , che sono le proiezioni stereografiche di circoli di altezza costante (sulla sfera celeste), a cominciare dall'orizzonte. Tale proiezione ...
Leggi Tutto
tempo
tèmpo s. m. [lat. tĕmpus -pŏris, voce d’incerta origine, che aveva solo il sign. cronologico, mentre quello atmosferico (cfr. al n. 8) era significato da tempestas -atis]. – 1. L’intuizione e la rappresentazione della modalità secondo...
ora2
óra2 s. f. [lat. hŏra, dal gr. ὥρα]. – 1. a. Unità di misura del tempo, pari alla 24a parte del giorno, e suddivisa in 60 minuti primi; ha come simbolo la lettera h posta a esponente (per es., 1h). Assume varie qualificazioni (alcune...