LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] , allora (λx·M) è un λ−termine. Nello scrivere i λ−termini le parentesi possono essere omesse secondo la convenzione dell'associatività a sinistra, per cui per es. MNP denota ((MN)P). Inoltre si può scrivere λx·MN per (λx·(MN)).
L'interpretazione ...
Leggi Tutto
In senso ampio e generico, ramo della matematica che studia lo spazio e le figure spaziali.
Cenni storiciL’antichità
- L’origine della g. è legata a concreti problemi di misurazione del terreno (nacque [...] per il piano, il passaggio per un dato numero di punti ecc. Questo nuovo anello risulta essere associativo, e l’associatività produce delle formule ricorsive per il calcolo delle curve razionali in questione. Vanno ancora citati alcuni sviluppi sulle ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo
Jean-Paul Pier
Il Bourbakismo
L'avvento e l'influenza di Bourbaki costituiscono uno dei fenomeni più sorprendenti nella matematica [...] le strutture algebriche fondamentali. Dopo aver introdotto le nozioni di 'magma' e di legge di composizione descrive l'associatività, la stabilità di una parte, gli elementi permutabili, le leggi commutative, le leggi quoziente. Spiega inoltre le ...
Leggi Tutto
STATISTICA
Pietro Muliere
Ester Capuzzo
(XXXII, p. 506; App. I, p. 1018; IV, III, p. 447)
''Statistica'' è un termine con un significato amplissimo sia per la varietà delle applicazioni sia per le [...] di ripartizione F. Supponiamo inoltre che il funzionale G(F) soddisfi le seguenti proprietà: consistenza, monotonia e associatività. Tali condizioni, in virtù di un risultato di Nagumo-Kolmogorov-de Finetti, sono sufficienti per stabilire che esiste ...
Leggi Tutto
La grande scienza. Geometria numerativa e invarianti di Gromov-Witten
Enrico Arbarello
Geometria numerativa e invarianti di Gromov-Witten
Nel trattato Le coniche, Apollonio di Perge (262-180 a.C. circa) [...] all'asserzione che questa algebra è associativa. Per questo le equazioni WDVV prendono anche il nome di equazioni dell'associatività. Porre, nel prodotto definito dalla [41], tutte le variabili xi uguali a zero è come sostituire il potenziale Φ ...
Leggi Tutto
GEOMETRIA ALGEBRICA
Ciro Ciliberto
Igor R. Shafarevich
Lo sviluppo delle idee di Ciro Ciliberto
Sommario: 1. I temi classici della geometria algebrica. a) Integrali abeliani e curve algebriche. b) [...] , il passaggio per un dato numero di punti, ecc. Questo nuovo anello risulta essere associativo, e l'associatività produce delle formule ricorsive per il calcolo delle curve razionali in questione.
Vanno ancora citati alcuni recentissimi sviluppi ...
Leggi Tutto