Nella definizione della m. a. data nell'articolo citato è detto che "Sotto la denominazione di m. a. vanno a rigore comprese le applicazioni della matematica alle assicurazioni"; tuttavia la trattazione [...] - e varianti per casi analoghi trattati in forma di assicurazioni sociali (o in schemidi sicurezza sociale); - quindi problemi specifici di rami d'assicurazione su rischi di natura diversa; - e infine problemi di natura più generale sul rischio, la ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] ψ). I predicati φ e ψ si chiamano precondizione e postcondizione. Gli assiomi della teoria definiscono il comportamento delle istruzioni elementari di un programma. Per es., l'assioma:
afferma che se prima dell'esecuzione dell'assegnazione vale la ...
Leggi Tutto
NUMERO (lat. numerus; gr. άειϑμος)
Federigo ENRIQUES
Giacomo DEVOTO
Riccardo BACHI
Nicola Turchi
Matematica. - Nell'uso comune i numeri vengono adoperati:1. per indicare il posto occupato da un oggetto [...] indicare un contributo notevole che alla critica di esse ha recato M. Pieri (Sugli assiomi dell'Aritmetica, in Atti Acc. Gioenia e sono dotati di un valore magico-mistico che rimane ad essi aderente, e li fa servire come da schema d'inquadramento, ...
Leggi Tutto
Giochi, teoria dei
PPierpaolo Battigalli
di Pierpaolo Battigalli
SOMMARIO: 1. Introduzione: a) campo predicativo della teoria dei giochi; b) cenni storici; c) nota sui riferimenti bibliografici. ▭ 2. [...] e 15). Vengono inoltre proposti degli indici di potere derivati da pochi assiomi apparentemente ragionevoli, in modo analogo a il concetto di equilibrio strategico (bayesiano e perfetto) permette di organizzare in uno schemadi riferimento teorico ...
Leggi Tutto
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] diassiomi. - Nessuna teoria matematica intuizionista è basata su assiomi. Per esempio, gli assiomidi dallo schema seguente:
La seguente regola A associa numeri a elementi di M: se a ∈ M e ogni membro di a è 0, allora A(a) = 1; se ogni membro di ...
Leggi Tutto
Gruppi
GGeorge W. Mackey
di George W. Mackey
SOMMARIO: 1. Introduzione e storia. □ 2. Concetti fondamentali. □ 3. Anelli di endomorfismi e gruppi lineari. □ 4. La struttura dei gruppi finiti. □ 5. Gruppi [...] n2q2) = n1αq1(n2)q1q2. Un calcolo diretto mostra che G soddisfa gli assiomidi gruppo se, e soltanto se, q → αq è un isomorfismo. Si di classi di equivalenza di rappresentazioni unitarie irriducibili di K = K0, di R = Kn e dei Kj. Questi schemidi ...
Leggi Tutto
STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] significato dei numeri (1888) il rapporto tra il sistema diassiomi (sintassi) e i suoi possibili modelli (semantica) solo una impalcatura o uno schemadi concetti insieme con le loro mutue relazioni, e gli elementi di base possono essere concepiti ...
Leggi Tutto
Sesso
Sheldon J. Segal
Kurt Loewit
Vincenzo Cappelletti
di Sheldon J. Segal, Kurt Loewit, Vincenzo Cappelletti
SESSO
Biologia del sesso, di Sheldon J. Segal
Sessualità umana, di Kurt Loewit
Sessualità: [...] toglierlo dopo tre settimane, provocando così il flusso mestruale. Lo schemadi applicazione - tre settimane si e una no - è simile altri (v., 1967). Il primo assiomadi questi autori enuncia l'impossibilità di non comunicare: l'intero comportamento è ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Ottica, scienza dei pesi e cinematica
Katherine Tachau
John D. North
Johannes M.M.H. Thijssen
Ottica, scienza dei pesi e cinematica
'Perspectiva': [...] di questo sistema diassiomi è che alcuni commentatori moderni hanno sostenuto di trovarvi un'anticipazione della definizione attuale del lavoro di et corruptione. Nello schemadi Buridano, i cambiamenti relativi alla forma sono di tre tipi, cioè ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] di un'orbita di periodo 3 implica l'esistenza di orbite con qualunque periodo.
Risoluzione di singolarità. Heisuke Hironaka (Giappone), usando il linguaggio degli schemi anche un sistema diassiomi per la sua logica, che permette di dimostrare che un ...
Leggi Tutto
schema
schèma s. m. [dal lat. schema, gr. σχῆμα -ματος «forma, aspetto, configurazione», da un tema di ἔχω «possedere, avere»] (pl. -i). – 1. Modello convenzionale, semplificato rispetto alla più complessa realtà di un problema, di un fenomeno,...
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...