Geometria differenziale
SShoshichi Kobayashi
di Shoshichi Kobayashi
Geometria differenziale
sommario: 1. Cenno storico. 2. Varietà. 3. Geometria riemanniana. 4. Varietà complesse e varietà kähleriane. [...] C, cioè una regione che si può ridurre a un punto per contrazioni continue di C, la formula di Gauss-Bonnet esprime ‛l'integrale le funzioni di variabile complessa. La recente dimostrazione del teoremadell'indice di Atiyah-Singer citata nel cap. 5 ha ...
Leggi Tutto
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 [...] è la posta in gioco in gran parte dei teoremidella teoria della dimostrazione. Il gruppo strutturale si occupa della gestione delle successioni di formule e, dopo il taglio, le regole di contrazione sono le più importanti del sistema. Nella regola ...
Leggi Tutto
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 [...] β−contrazioni e teoremi in vari campi, dall'algebra booleana ternaria alla teoria dei nodi) nonché di varie estensioni del PROLOG.
La logica come linguaggio di programmazione. − Il metodo di risoluzione costituisce solo una parziale realizzazione dell ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] se n>2. Dal teorema di Faltings segue che, per ogni n>2, il numero delle soluzioni primitive è comunque finito. terminali ‒ e quello di 'trasformazioni elementari' ‒ contrazioni divisoriali e flips. Analogamente, si è scoperto che il ...
Leggi Tutto
impulso2
impulso2 s. m. [dal lat. impulsus -us, der. di impellĕre «spingere innanzi», part. pass. impulsus]. – 1. Spinta comunicata a un corpo; in partic., in meccanica, i. elementare di una forza, il prodotto della forza agente su un punto...