METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] teoria della dimostrazione.
In tal modo, hanno finito col prender corpo motivazioni più vaste del lavoro la sua teoria della definizione, si propose di studiare se, dato un insieme I di entità matematiche, esiste in una data teoria T un'espressione Px ...
Leggi Tutto
OPERATORI
Fernando BERTOLINI
. 1. Generalità. - Il termine o. indica d'ordinario il simbolo d'una operazione, o più in generale d'una applicazione univoca (v. applicazione, in questa App.); per una [...] non solo in A) e biunivoca (e non solo univoca); definiamo ora l'insieme Ω come in a), leggendo però "se ωεΦ, allora ωεΦ e ω-1εΩ" S(ω) nell'interno, e FT è composto d'un numero finito di curve semplici e rettificabili; il valore f(ω) così definito ...
Leggi Tutto
INTEGRAZIONE E MISURA
Giorgio Letta
. La moderna teoria dell'i. si occupa del concetto generale di "misura" e del concetto di "integrale" relativo a un'arbitraria misura. Essa costituisce una notevole [...] μ(A) è detto la "m. di A" (secondo μ). La m. μ è poi detta: "σ-finita", se lo spazio ambiente è riunione di una successione di insiemi di m. finita; "normalizzata", se (come accade quando μ abbia il significato di una m. di probabilità) lo spazio ...
Leggi Tutto
OPERATORI; OPERAZIONALE, CALCOLO (od operatorio, calcolo)
Tullio Viola
Riteniamo opportuno aggiungere alle considerazioni svolte nelle voci: operatori (App. III, 11, p. 317) e simbolico, calcolo (App. [...] per ξ = b sia invece un intorno sinistro).
III) Il rapporto δF/σ tende al suo limite finito F′ ∣ [f (x), ξ], uniformemente al variare sia di ξ in [a, b], sia se T(f) è un'operazione che trasforma un insieme compatto B in sé, e se esiste una potenza ...
Leggi Tutto
FUNZIONE (XVI, p. 185)
Luigi AMERIO
Funzioni di più variabili complesse. - La teoria delle f. di più variabili complesse ha ricevuto negli ultimi decennî sviluppi notevolissimi, che ne hanno permesso [...] dirà q. p. se ad ogni ε > 0 può associarsi un insieme relativamente denso di quasi-periodi τ, per ciascuno dei quali risulti
Con le , è possibile ricoprire la traiettoria H mediante un numero finito, νε, di cerchi di raggio ε, centrati in ...
Leggi Tutto
VOLUME
Giuseppe SCORZA DRAGONI
La nozione di volume è per i solidi, cioè per le porzioni di spazio delimitate da superficie (semplici, chiuse e regolari), l'analogo di quello che la nozione di area [...] poligoni d'estensioni uguali si possono sempre dividere in un numero finito di parti poligonali a due a due ordinatamente uguali, la di un solido è uguale a
l'integrale triplo essendo esteso all'insieme descritto dal punto Q (ρ, ϕ, ϑ), in uno spazio ...
Leggi Tutto
STRUTTURA (fr. structure, système de choses; ingl. structure, lattice; ted. Verband, Dualgruppe)
Fabio Conforto
Con questo nome si intende nella matematica moderna ogni insieme S di elementi di natura [...] ⊂ c si deduce a + b ⊂ c. Inversamente, è facile provare che ogni insieme S di elementi astratti, per il quale siano soddisfatti i tre assiomi 1′), 2′), 3 dare delle strutture costituite da un numero finito di elementi una comoda immagine grafica, che ...
Leggi Tutto
RAPPRESENTAZIONE
Guido ZAPPA
. Matematica. - Nell'algebra moderna, la parola rappresentazione ha un significato molto lato, ed è sinonimo della parola omomorfismo (v. algebra; applicazione; gruppo, [...] procede come segue. Si prende un sottogruppo H di G, e si considera l'insieme I dei laterali destri (o sinistri) Hgi di H in G (v. gruppo, in K.
Data una r. ϕ di un gruppo finito G nel gruppo delle sostituzioni lineari biunivoche su n indeterminate ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Kalam e filosofia naturale
Marwan Rashed
Kalām e filosofia naturale
Il rapporto tra Kalām e filosofia naturale è assai complesso e articolato; [...] l'informazione di al-Īǧī risalga a una situazione alquanto ingarbugliata fin dall'inizio. È d'altronde lo stesso al-Īǧī a sono più affidabili e corrispondono meglio a quel movimento dottrinale d'insieme che si osserva tra Abū ῾Alī e Abū Hāšim. Le ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] ritorna alla quantità iniziale; (3) riunendo cose qualunque finite, si otterrà una cosa finita; (4) se si hanno due cose di cui dunque collocato nel primo livello degli effetti. Da a e b insieme emana c, il secondo Intelletto; e dal solo b emana d ...
Leggi Tutto
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: a. Compagnia, unione: siamo usciti i. io...
finito
agg. [part. pass. di finire]. – 1. a. Giunto o condotto a termine, compiuto: arrivare a spettacolo f.; sono ormai due anni f. che ha lasciato il paese. Frequente nell’uso fam. la locuz. farla finita (con la indeterminato), smettere...