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 [...] predicativista nel campo dell'aritmetica, dell'analisi, dell'algebra e di altri settori centrali della matematica. Dall Γ′ e Δ′ mentre solo lo scambio varrà per Γ e Δ. C'è però comunicazione tra zona classica e lineare, così che sarà possibile passare ...
Leggi Tutto
L'Ottocento: matematica. La geometria non euclidea
Rossana Tazzioli
La geometria non euclidea
Alla base dei suoi Elementi Euclide aveva posto un certo numero di definizioni (o 'termini') e di assiomi [...] a due angoli retti;
b) esistono figure simili non congruenti;
c) per tre punti del piano non allineati passa sempre una circonferenza ), Beltrami fu nominato nel 1862 professore di algebra complementare e geometria analitica all'Università di Bologna ...
Leggi Tutto
Scienza indiana: periodo vedico. La matematica e l'astronomia nei testi vedici
Takao Hayashi
David Pingree
La matematica e l'astronomia nei testi vedici
Espressioni numeriche nei testi vedici
di Takao [...] le Pleiadi si trovavano sull'equatore nel 3000 a.C.; piuttosto, esso riflette l'associazione, presente in MUL ., Review of the fleeting footsteps. Tracing the conception of arithmetic and algebra in China by Lam Lay Yong and Ang Tian Se, "Gaṇita ...
Leggi Tutto
CONTI, Antonio (Schinella)
Giovanna Gronda
Nacque a Padova il 22 genn. 1677 secondogenito di Pio e di Lucrezia Nani, nobili veneti. Il padre discendeva per via femminile da Sperone Speroni e ne lasciò [...] Trasferitosi nel 1708 a Padova, gli studi matematici e algebrici e gli esperimenti fisici svolti a Venezia nonché la di interessi risale in quegli anni a G. Brognoligo, L'opera letter. di A. C., in Ateneo veneto, XVII (1893), 2, pp. 162-179, 327-350; ...
Leggi Tutto
DE SORIA, Giovanni Gualberto
Ugo Baldini
Nacque a Pisa il 10 apr. 1707 da Enrico e da Maria Elisabetta delle Sedie; l'affermazione delle Novelle letterarie (1767, col. 676) ripresa poi da A. Fabroni, [...] metodo degli indivisibili di B. Cavalieri), in algebra e analisi, e infine in meccanica. Tuttavia W. Risse, Die Logik der Neuzeit, Stuttgart-Bad Connstatt 1964, II, p. 358; C. Beccaria, Dei delitti e delle pene, a cura di F. Venturi, Torino 1965, pp ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Algebra
Claudio Procesi
Algebra
Per comprendere la storia dell'algebra del XX sec. è necessario fare un breve quadro dello sviluppo della disciplina [...] esatta di complessi associano una successione esatta lunga di gruppi
[6] →Hi(C)→Hi(D)→Hi(E )→Hi-1(C)→… .
Queste idee, che si possono trovare esposte nei due classici libri Homological algebra (1956) di Cartan e Samuel Eilenberg e Homology (1963) di ...
Leggi Tutto
Invarianti, Teoria degli
Claudio Procesi
La geometria proiettiva, e le geometrie non euclidee, ebbero un grande impatto sul pensiero algebrico e geometrico del secolo scorso. Le idee scaturite da questa [...] storia, che parte dalle idee della geometria numerativa di Hermann C. Schubert (1878) e di Francesco Severi e Wei-Liang Chow sulle coordinate proiettive da assegnare a una varietà algebrica, per arrivare a quelle topologiche di Charles Ehresman e su ...
Leggi Tutto
Genetica. Modelli matematici per la genetica delle popolazioni
John Wakeley
La teoria della genetica delle popolazioni è stata fin dal principio fondata sui dati. Ronald A. Fisher, in un articolo del [...] a due la matrice diventa molto grande, e l'algebra si fa ingestibile se tale grandezza si avvicina a cinque appartenenti a due demi differenti è distribuito esponenzialmente con il tasso c su questa scala temporale. Se il tempo è misurato in unità ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logica
Logica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] al 1864 e pubblicò due testi fondamentali per lo sviluppo dell'algebra della logica: The mathematical analysis of logic (1847) e The caratteristiche: 'a=(=a' [riflessività]; 'se a=(=b e b=(=c, allora a=(=c' [transitività]; 'se a=(=b e b=(=a, allora a ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'economia matematica 1870-1950
Angelo Guerraggio
L'economia matematica 1870-1950
Di matematica sociale comincia a parlare Condorcet nella Francia [...] un punto di vista tecnico, la matematica usata si riduce all'algebra dei sistemi di equazioni lineari e ai primi elementi del calcolo nel 1949 nel corso di un convegno organizzato da Tjalling C. Koopmans (premio Nobel per l'economia nel 1975, ...
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à...