matematica
Enciclopedia on line
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] di una vera e propria filosofia della m.: il suo obiettivo, poi condiviso anche da B. Russell, era quello di dimostrare la natura essenzialmente logica e analitica dei concetti e del ragionamento matematico, in particolare contro le tesi di J.S. Mill ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
MATEMATICA APPLICATA
–
STORIA DELLA MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
Ackermann, Wilhelm
Enciclopedia on line
Logico matematico (Schönebecke, Altena, 1896 - Lüdenscheid 1962). Prof. all'università di Münster (dal 1953), membro dell'Accademia delle Scienze di Gottinga. Prima allievo poi collaboratore di D. Hilbert, [...] scrisse con lui i Grundzüge der theoretischen Logik (1928, 4a ed. 1958). Del 1940 è la sua celebre dimostrazione della coerenza dell'aritmetica, in cui introdusse anche il concetto di "ricursione transfinita". Nel 1951 dette una versione costruttiva ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Peierls Sir Rudolph Ernst
Dizionario delle Scienze Fisiche (1996)
Peierls Sir Rudolph Ernst
Peierls 〈páierls〉 Sir Rudolph Ernst [STF] (Berlino 1907 - Oxford 1995) Prof. di matematica applicata nell'univ. di Birmingham (1937), poi di fisica teorica nell'univ. di Oxford [...] (1963) e di Seattle (1974); socio straniero dei Lincei (1991). ◆ [MCS] Argomento di P.: dimostrazione dell'esistenza di transizioni di fase nel modello di Ising a dimensione spaziale d≥2. La tecnica è però molto più generale e ha condotto alla ...
Leggi Tutto
algebra
Enciclopedia on line
Uno dei rami fondamentali delle scienze matematiche: in senso lato l’a. studia le operazioni, definite in un insieme, che godono di proprietà analoghe a quelle delle ordinarie operazioni dell’aritmetica. [...] una forte interazione tra l’a. e altri campi di ricerca. Uno dei risultati più importanti è, in ambito classico, la dimostrazione, effettuata nel 1995 da A.J. Wiles del cosiddetto grande teorema di Fermat (➔). In campo moderno, un settore di ricerca ...
Leggi Tutto
CATEGORIA:
ALGEBRA
Goldbach, Christian
Enciclopedia on line
Matematico tedesco (Königs berg 1690 - Mosca 1764), vissuto in Russia; membro dell'Accademia delle scienze di Pietroburgo dal 1725. Amico dei Bernoulli e di Eulero, studiò la teoria delle serie e le applicò [...] equazioni differenziali. Il suo nome resta però legato soprattutto al teorema, la cui dimostrazione egli propose a Eulero nel 1742 e che finora nessuno è riuscito a dimostrare né a confutare: "Ogni numero pari può scriversi come somma di due numeri ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Shimura Gorō
Enciclopedia on line
Shimura Gorō. – Matematico giapponese (Hamamatsu 1930 - Osaka 2019). Professore emerito alla Princeton University, il suo nome è legato insieme a quello del matematico giapponese Y. Taniyama alla cosiddetta [...] congettura di Shimura-Taniyama relativamente alle curve ellittiche definite su un campo numerico qualunque; dimostrata nel 1999 da A.J. Wiles, da essa discende anche la dimostrazione dell’ultimoteorema di Fermat. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] esiste un ideale C tale che B=AC. Come avviene per i numeri naturali, si possono definire gli ideali primi e dimostrare il teorema che ogni ideale può essere scomposto in maniera (essenzialmente) unica nel prodotto di ideali primi, che è una evidente ...
Leggi Tutto
L'Ottocento: matematica. Teoria dei numeri
Storia della Scienza (2003)
L'Ottocento: matematica. Teoria dei numeri
Catherine Goldstein
Teoria dei numeri
Le tappe più significative dello sviluppo di un settore della scienza o dell'arte si accordano raramente con la suddivisione [...] il rapporto di π(x) a (x/logx) tende a un limite, questo limite non può che essere 1, deducendo da queste stime una dimostrazione del postulato di Bertrand: per ogni n>3 esiste un numero primo fra n e 2n−2.
Le due approssimazioni mediante x/logx e ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria analitica dei numeri
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Teoria analitica dei numeri
Günther Frei
Teoria analitica dei numeri
La teoria analitica dei numeri non è una teoria matematica ben definita, [...] ; (2) ogni ideale primo p di Hm di grado 1 si spezza completamente in K in ideali primi di grado 1, Weber fu in grado di dimostrare che L(1,χ,k)≠0 se χ≠χ0, e quindi di dedurre che ogni classe di ideali [a]∈Cm contiene infiniti ideali primi di grado 1 ...
Leggi Tutto
La civiltà islamica: antiche e nuove tradizioni in matematica. Le tradizioni sulle coniche...
Storia della Scienza (2002)
La civilta islamica: antiche e nuove tradizioni in matematica. Le tradizioni sulle coniche...
Roshdi Rashed
Philippe Abgrall
Le tradizioni sulle coniche e l'inizio delle ricerche sulle proiezioni
A [...] AIK; dunque:
Ora Cω=(1/2)BC, e dunque Kω′=(1/2)IK, il punto ω′ è il centro di (Γ′) e si ha ω′≠E.
Al-Farġānī dimostra così che se si considera una sfera di diametro AG e un piano (Q) tangente in G, la proiezione conica di polo A sul piano (Q) di un ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA