L'Eta dei Lumi: matematica. La teoria dei numeri
Günther Frei
La teoria dei numeri
La teoria dei numeri (o aritmetica) tratta delle proprietà dei numeri. Lungo tutta la sua storia, un tema dominante [...] non divisibile per p, ap−1 dà 1 come resto della divisione per p; in simboli:
[2] ap-1≡1 (mod p).
Il teorema fu dimostrato da Euler nel 1736 (e prima di lui da Leibniz in un manoscritto del 1680 ca.). Studiando i numeri primi p della forma x2+Ny2=pz ...
Leggi Tutto
Matematico statunitense (n. Flint, Michigan, 1930). Prof. alla Columbia University (1961-64), a Berkeley (1964-94) e alla City University di Hongkong (1995), ha dato fondamentali contributi alla topologia [...] (differenziale) e all'analisi globale. La dimostrazione (teorema di S.) che una varietà differenziabile con gli stessi gruppi di omotopia di una sfera di dimensione n è omeomorfa alla sfera di dimensione n se n≥5 gli valse nel 1966 la prestigiosa ...
Leggi Tutto
Matematico cinese naturalizzato statunitense (n. Shanghai 1911 - m. 1995); prof. all'Università di Nanchino (1936) e alla Johns Hopkins University (1950-77), ha dato notevoli contributi alla geometria [...] algebrica; in partic., a lui si deve la dimostrazione delle analogie tra la geometria algebrica e la teoria algebrica dei numeri. ...
Leggi Tutto
Matematico tedesco (Hannover 1852 - Monaco di Baviera 1939), allievo di R. F. A. Clebsch; prof. nelle univ. di Friburgo in Brisgovia, Königsberg e Monaco, sviluppò l'indirizzo algebrico-proiettivo del [...] primo dette (1882) sulla via aperta da Ch. Hermite, della trascendenza di π (rapporto tra la circonferenza e il suo diametro). La dimostrazione di L. dava una risposta precisa e definitiva (in senso negativo) al problema della quadratura del cerchio. ...
Leggi Tutto
erratico
erràtico [agg. (pl.m. -ci) Der. del lat. erraticus, da errare "vagare"] [MTR] Dati e.: dati, sperimentali o derivanti da calcoli, che non s'accordano con altri della stessa natura e che quindi, [...] salvo dimostrazione contraria, sono da considerarsi affetti da errori accidentali. ◆ [GFS] Massi e.: nella geologia, blocchi rocciosi, talvolta di considerevoli dimensioni o di forma bizzarra, che, trasportati dai ghiacci, vengono abbandonati, ...
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 [...] z) ⋁ P(s(x), y, s(z)) e C è la clausola P(s(0), 0, w), allora l'algoritmo dà luogo al seguente albero:
che dimostra che C è una conseguenza di Γ.
Il metodo di risoluzione ha il difetto di essere molto complesso: il numero dei risolventi cresce molto ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Algebra, geometria, indivisibili
Enrico Giusti
Primi progressi nell’algebra
Dopo un periodo di gestazione lungo tre secoli, l’algebra è la prima disciplina in cui nel Cinquecento si registrano sostanziali [...] è maggiore della CA (G. Galilei, Le opere, Ed. nazionale a cura di A. Favaro, 10° vol., 1900, 19683, p. 115).
La dimostrazione, che non è contenuta nella lettera a Sarpi sopra citata, si trova invece in un foglio risalente agli stessi anni, in cui ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Le discipline matematiche
Menso Folkerts
Richard P. Lorch
Anne Tihon
Le discipline matematiche
La matematica nell'Europa latina
di [...] di un corpo nell'aria è uguale al suo peso nell'acqua più il peso di un volume di acqua pari al suo", è dimostrato facendo riferimento al Postulato 1, per il quale "nessun corpo è pesante in relazione a sé stesso". Il testo si interrompe alla prop. 8 ...
Leggi Tutto
Matematico francese naturalizzato statunitense (n. Parigi 1932). Laureatosi presso il Massachusetts institute of technology (1953), nel 1957 conseguì il PhD alla Cornell University e dal 1963 è professore [...] di Riemann sulla retta Re (z)=1/2. Nel 2002 ne ha annunciato una controversa dimostrazione; poi ha pubblicato (2004) una nuova proposta di dimostrazione. Tra le opere più significative: Square summable power series (in collab. con J. Rovnyak, 1966 ...
Leggi Tutto
Matematico statunitense (n. Los Angeles 1951). Laureatosi alla Princeton University nel 1973, vi ha anche conseguito il PhD in matematica. Professore dal 1976 alla University of California a San Diego, [...] ha dato importanti contributi alla topologia. Con la dimostrazione (1982) della congettura di Poincaré nella dimensione 4, ha aperto la strada a successive generalizzazioni della congettura stessa. Per le sue ricerche ha ricevuto la Fields Medal nel ...
Leggi Tutto
dimostrazione
dimostrazióne s. f. [dal lat. demonstratio -onis]. – 1. a. Ogni atto, fatto, comportamento, parola o discorso che mostra o dimostra o rivela qualche c0sa, che cioè rende o con cui si rende manifesto, conosciuto, chiaro o certo...