MODELLI, Teoria dei (App. III, 11, p. 139)
Giulio Supino
Alberto Pasquinelli
Aldo Marruccelli
In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] . 2) T è אm-categorica per m ≥ t. Si dimostra che è tale la teoria elementare dei campi algebricamente chiusi. Tale teoria si ottiene da C aggiungendo un'infinità numerabile di assiomi che asseriscono, per ogni n ≥ 1, che tutti i polinomi di grado n ...
Leggi Tutto
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 [...] in base alla legge di Duns Scoto, basterà far vedere che c'è una formula esprimibile nel linguaggio della teoria che non può scienza è stata chiamata m. dell'algebra. Notevoli contributi alla m. dei sistemi algebrici sono stati dati negli ultimi anni ...
Leggi Tutto
GALOIS, Évariste
Michele Cipolla
Matematico francese, nato a Bourg-la-Reine il 25 ottobre 1811. Era ancora studente quando pubblicava diversi lavori matematici, fra cui una nota sulle frazioni continue [...] fra la teoria dei gruppi di sostituzioni e quella delle equazioni algebriche. A un'equazione (priva di radici multiple) il G. fa sono state feconde, e oggi, specialmente per opera di C. Jordan, che le sviluppò ampiamente (Traité des substitutions et ...
Leggi Tutto
INDIA (A. T., 93-94)
Umberto TOSCHI
Fabrizio CORTESI
Mario SALFI
Umberto TOSCHI
Egon von EICKSTEDT
Renato BIASUTTI
Ambrogio BALLINI
Alberto PINCHERLE
Umberto TOSCHI
Umberto TOSCHI
Gennaro MONDAINI
Giuseppe [...] che l'uomo a può scegliere fra donne a b c: l'uomo b, fra donne b e c: ma l'uomo c solo fra le donne c che non appartengono al suo gotra. La donna a può " ha portato l'astronomia e la matematica (algebra) indiane al loro più alto grado di sviluppo ...
Leggi Tutto
RICONOSCIMENTO
Paolo Ercoli
Giorgio Sommi
Luigia Carlucci Aiello
Giorgio Musso
Premessa: riconoscimento di configurazioni. − I primi tentativi di r. automatico, risalenti agli inizi del 20° secolo, [...] dalle parentesi tonde, scritte con le usuali convenzioni dell'algebra elementare. Un modello potrebbe essere il seguente: 2+x e un elegante algoritmo per il r. di configurazioni progettato da C. Forgy e chiamato Rete. Quest'algoritmo si basa su un' ...
Leggi Tutto
RAGIONERIA
Gino LUZZATTO
Pietro ONIDA
Ettore CAMBI
. Storia. - Derivato dal latino ratio (ragione, conto) il termine italiano, identico al francese comptabilité, corrisponde a quello che Tedeschi [...] nei secoli successivi, numerosi trattatelli di aritmetica, algebra e geometria, in molti dei quali è dedicata 1905; F. Besta, La ragioneria, 2ª ed., con la collaborazione di V. Alfieri, C. Ghidiglia, P. Rigobon, Milano s. a. (I, 1ª ed., 1891, 2ª ...
Leggi Tutto
SIMMETRIA
(XXXI, p. 804; App. III, II, p. 745; IV, III, p. 331)
Fisica. - Simmetrie e supersimmetrie. - Una s. è una trasformazione, sulle variabili dinamiche che descrivono un sistema fisico, che connette [...] di commutazione del tipo:
dove le fabc sono le costanti di struttura dell'algebra del gruppo di s., totalmente antisimmetriche sotto le permutazioni di a, b e c.
Le s. continue sotto cui tutte le interazioni fondamentali sono invarianti, sono quelle ...
Leggi Tutto
Scienza cognitiva
Antonio Rainone
Con la locuzione scienza cognitiva, dalla fine degli anni Settanta, si è soliti designare l'insieme delle discipline che hanno per oggetto lo studio dei processi cognitivi [...] una macchina di calcolo operante secondo le regole logiche dell'algebra booleana. Analogie tra cervello e calcolatore, anche se Sessanta e gli anni Settanta, la data di nascita ufficiale della s. c. è il 1978, anno in cui si tenne a La Jolla ( ...
Leggi Tutto
TENSORIALE, ALGEBRA e ANALISI
Dionigi Galletto
Il calcolo t., sinonimo di calcolo differenziale assoluto (v. differenziale assoluto, calcolo, XII, p. 796; tensore, XXXIII, p. 497), i cui fondamenti [...] decenni e che trova fondamentali applicazioni in fisica matematica. I suoi fondamenti algebrici vanno essenzialmente cercati nei lavori di H. Weyl (1940 e anni precedenti) e C. L. Siegel (1943); quelli analitico-geometrici, di cui vi è già traccia ...
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 [...] di scoprire nuovi teoremi in vari campi, dall'algebra booleana ternaria alla teoria dei nodi) nonché di una α−formula è vera se e solo se entrambi i componenti α1 e α2 sono veri: c) una β−formula è vera se e solo se almeno uno dei componenti β1 e β2 ...
Leggi Tutto
ciclo1 s. m. [dal lat. tardo cyclus, gr. κύκλος «cerchio, giro»]. – 1. In matematica, generalizzazione del concetto di linea chiusa; in algebra, sottogruppo ciclico di un gruppo. 2. In botanica, il complesso dei fillomi (foglie, antofilli, brattee)...
matematica
matemàtica (ant. e raro mattemàtica) s. f. [dal lat. mathematĭca (sottint. ars), gr. μαϑηματική (sottint. τέχνη); v. matematico]. – 1. a. Originariamente, la scienza razionale dei numeri (aritmetica, intesa come scienza della quantità...