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 [...] devono essere tra loro collegate da un principio d'uniformità, così che se f: α→α′ è una funzione strettamente crescente si può definire una α-dimostrazione ‒ l'immagine reciproca di Π(α′) che indicheremo con f−1(Π(α′)) ‒ e si richiede che f−1 ...
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, [...] dei singoli strati. Siano ȳ₁, ȳ₂,..., ȳL e s²₁, ²₂, ..., s²L i corrispondenti valori campionari. La media aritmetica della popolazione Y̅ può essere espressa come segue in funzione delle medie degli strati:
dove si è posto
Di conseguenza lo ...
Leggi Tutto
Morbosità
Giovanni Berlinguer
Definizione e valutazione della morbosità
La morbosità esprime il rapporto fra il numero di ammalati e la popolazione. Questo rapporto viene studiato come uno degli indicatori [...] di malattia, inabilità o morte precoce che non avrebbero dovuto verificarsi se l'insieme delle conoscenze, delle attrezzature e dei servizi già oggi disponibili avesse funzionato a dovere.
Si può citare come esempio la circoscritta e breve epidemia ...
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 [...] spazio luogo dei punti interessati sino a quell'istante dalla perturbazione ondosa: v. onda: IV 233 c. ◆ Funzione d'o.: (a) [MCQ] l'equazione rappresentativa dell'o. di probabilità (v. sopra) di una particella; (b) [ANM] sinon., peraltro da evitare ...
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 [...] fanno) ma anche nella cadenza (quando si fanno), in funzione, ad esempio, delle fasi del ciclo economico, della via di sviluppo (31 per mille), al cui interno spicca in particolare l'Africa, che ha avuto sia la media continentale più elevata (45 per ...
Leggi Tutto
motore
motóre [agg. (f. -trice) e s.m. Der. del lat. motor -oris "che mette in movimento", dal part. pass. motus di movere "muovere"] [FTC] Sistema materiale capace di trasformare energia di una certa [...] si provvede a disporre sul rotore dei m. sincroni un avvolgimento a gabbia, per cui l'avviamento può in questi casi essere effettuato facendo funzionare temporaneamente il m. come asincrono (m. autosincrono o asincrono sincronizzato). Per la sua ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Algebra
Claudio Procesi
Algebra
Per comprendere la storia dell'algebra del XX sec. è necessario fare un breve quadro dello sviluppo della disciplina [...] dalle frazioni a/b con a e b elementi di A e b"m. Tale anello, secondo l'intuizione di Krull, va pensato come l'anello delle funzioni regolari in qualche intorno del punto dato, e lo studio dell'eventuale singolarità della varietà affine nel punto ...
Leggi Tutto
Invarianti, Teoria degli
Claudio Procesi
La geometria proiettiva, e le geometrie non euclidee, ebbero un grande impatto sul pensiero algebrico e geometrico del secolo scorso. Le idee scaturite da questa [...] per gli altri gruppi classici. La determinazione di generatori delle funzioni invarianti in m variabili in V e m variabili in un vettore, ristretta ad una G orbita, ha valori critici solo se l'orbita è chiusa. In questo caso si ha che i valori critici ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] , Σ⊂Π; b∈Π−Σ è un carattere speciale del nastro, detto bianco; F⊆S è l'insieme di stati finali; ∂ è la funzione di transizione da S×Π su S×Π×{←,→}.
La funzione ∂ può non essere definita sull'intero dominio S×Π e in particolare non è definita su F ...
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 [...] . Kleene in termini della teoria delle funzioni ricorsive (Kleene 1936). Nel 1939 apparve ) se n∉A allora T⊦¬ψj(n).
Se j∈A allora per (b) T⊦ψj(j), da cui per l'ipotesi che T sia coerente segue T⊬¬ψj(j) e perciò, per la definizione di A, j∉A. Se invece ...
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....
agenzia per l'impresa
agenzia per l’impresa (agenzia per le imprese), loc. s.le f. Istituzione che ha il compito di fornire assistenza e consulenza alle imprese di produzione e scambio di beni e servizi. ◆ [tit.] Consulenza per tutti / Via...