La grande scienza. Cronologia scientifica: 1971-1980
Storia della Scienza (2003)
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] segnale che è ricomposto in un visore a raggi catodici; la risoluzione, determinata essenzialmente dalla finezza del disegno di analisi del campione, è assai grande, tanto che con questo strumento sono osservati per la prima volta singoli atomi.
Il ...
Leggi Tutto
Sevèri, Francesco
Enciclopedia on line
Matematico (Arezzo 1879 - Roma 1961), prof. (1904) di geometria proiettiva e descrittiva nell'univ. di Parma, quindi (1905-22) di Padova, poi (dal 1922) di Roma, nelle quali occupò successivamente le cattedre [...] alla teoria delle corrispondenze algebriche. Importanti contributi S. ha portato anche nel campo della geometria differenziale, dell'analisi matematica, della critica dei principî della geometria e della fisica. Tra le sue opere: Lezioni di geometria ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Cayley, Arthur
Enciclopedia on line
Matematico (Richmond, Surrey, 1821 - Cambridge 1895). Dedicatosi dapprima alla professione legale, le sue ricerche matematiche gli valsero la cattedra di algebra nell'univ. di Cambridge; pubblicò quasi [...] novecento lavori di analisi, meccanica, astronomia, ma soprattutto di algebra (teoria degli invarianti e covarianti delle forme algebriche) e di geometria proiettivo-algebrica, della quale ultima è da considerarsi uno dei fondatori (classificazione ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Giraud, Georges
Enciclopedia on line
Matematico (Saint-Étienne, Loire, 1889 - Bonny-sur-Loire 1943); prof. di calcolo differenziale e integrale all'univ. di Clermont-Ferrand (1922-30); allievo di Ch.-É. Picard, compì importanti studî di analisi [...] (equazioni differenziali, funzioni abeliane e fuchsiane, problema di Dirichlet) ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Computazionali, metodi
Enciclopedia Italiana - VI Appendice (2000)
I m. c. permettono di risolvere con calcolatori elettronici, all'interno delle scienze applicate, i problemi complessi che sono formulabili tramite il linguaggio della matematica. Tali problemi raramente [...] uj₊₁−uj=hf(xj,uj) e dal metodo dei trapezi o di Crank-Nicolson (CN): uj₊₁−uj=-h₂ [f(xj,uj)+f(xj₊₁,uj₊₁)]. Per l'analisi dell'errore di discretizzazione locale τj(h) si ricorre al teorema di Taylor: poiché f(xj,yj)=y′(xj), si ottiene che τ(h)=O(h) per ...
Leggi Tutto
lambda-calcolo
Enciclopedia della Scienza e della Tecnica (2008)
lambda-calcolo
Silvio Bozzi
Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] semantica di questo tipo fu fornita da Dana S. Scott nel 1976 in termini di spazi di funzioni continue. Questa analisi ha aperto la strada a un approccio al λ-calcolo in termini di teoria delle categorie e oggi sono molti e fondamentali i risultati ...
Leggi Tutto
CATEGORIA:
LOGICA
Sondaggio
Enciclopedia Italiana - VII Appendice (2007)
Sondaggio
Renato Mannheimer
Il crescente ruolo dei sondaggi nella politica italiana
I s. e, in generale, le ricerche sulle opinioni e sui comportamenti dei cittadini hanno da sempre ricoperto un ruolo [...] e fanno spesso riferimento agli esiti di queste ultime. Insomma, dei s. si parla spesso, sia nell'ambito delle analisi scientifiche, sia sui mezzi di comunicazione di massa, sia nelle discussioni private, tra familiari, amici o colleghi. Le ricerche ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La topologia algebrica all'inizio del XX secolo
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. La topologia algebrica all'inizio del XX secolo
John McCleary
La topologia algebrica all'inizio del XX secolo
Le radici della topologia algebrica [...] in campi della matematica a essa vicini. Grazie ai nuovi metodi fu possibile trovare risposte a questioni di fondamenti dell'analisi, campo nel quale risultati come i teoremi del punto fisso riuscirono a portare nuove idee. Lo studio dei gruppi ...
Leggi Tutto
CATEGORIA:
GEOMETRIA
portata
Dizionario delle Scienze Fisiche (1996)
portata
portata [Der. di portare "ciò che una cosa è in grado di portare"] [FTC] [MCF] P. adimensionale: la p. volumetrica (v. oltre) di una macchina, resa adimensionale: v. analisi dimensionale: II [...] 175 Tab. 5.8. ◆ [MCC] P. di carico: capacità di carico massima di una struttura, in partic. di un dispositivo di sollevamento o di un veicolo. ◆ [MCC] [OTT] P. di lancio: nella balistica, la distanza massima ...
Leggi Tutto
Lerch, Mathias
Enciclopedia on line
Matematico (Milínov, Boemia, 1860 - Sušice, Boemia, 1922), allievo di K. T. Weierstrass, L. Kronecker e I. L. Fuchs; prof. nelle univ. di Friburgo e Brno. Gli si debbono importanti ricerche in analisi, [...] nella teoria dei numeri e in geometria; in particolare, sulla teoria delle funzioni analitiche, sulle serie infinite e sul calcolo integrale. Il suo nome resta però legato alla soluzione di un'equazione ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE