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
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
ENRIQUES, Federigo
Giorgio Israel
Nacque a Livorno il 5 genn. 1871 da Giacomo e da Matilde Coriat.
La famiglia si trasferi a Pisa, dove egli frequentò le scuole secondarie. Già qui manifestò la sua [...] la sua formazione scientifica. Come ricordò G. Castelnuovo, egli era attratto dal nuovo indirizzo di geometria algebrica promosso da C. Segre, pur non avendo ancora definitivamente fissato l'indirizzo delle sue futuie ricerche. Le lezioni del ...
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
PACIOLI, Luca
Francesco Paolo Di Teodoro
PACIOLI, Luca. – Nacque a Sansepolcro (allora Borgo Sansepolcro), presso Arezzo, attorno al 1446-48, da Bartolomeo, piccolo allevatore e coltivatore, e da Maddalena [...] forse, nel 1510) compose un trattato di aritmetica e algebra dedicato «Suis carissimis discip(u)lis, egregiis clarisq(ue) da Vinci a Ginevra, in Cenobio, III (1954), pp. 271-186; C. Pedretti, Il De viribus quantitatis di L. P., in Studi vinciani, ...
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à...