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 [...] derivate parziali e nell'analisi armonica, si sviluppa a partire da teoremi come quello di Riesz-Thorin, degli anni Trenta, in cui si dimostra che un funzionale T lineare e continuo sia da Lp0 in Lq0 sia da Lp1 in Lq1, è anche continuo da Lp in Lq ...
Leggi Tutto
La scienza in Cina: i Ming. Matematica e astronomia
Guo Shirong
Li Zhaohua
Alexei Volkov
Peter Engelfriet
Chu Pingyi
Matematica e astronomia
La perdita delle conoscenze matematiche e astronomiche
di [...] la versione in nostro possesso delle Memorie è stata trovata, in un monastero taoista, nei primi anni del XIII sec., e come dimostra un esame anche sommario, è possibile che sia diversa da quella risalente al periodo tra la fine del I millennio e l ...
Leggi Tutto
FERRARI, Ludovico
Gabriella Belloni Speciale
Nacque da Alessandro, il 2 febbr. 1522 a Bologna, città ove aveva stabilito la propria residenza il nonno paterno, Bartolomeo, esule milanese. A Milano, [...] 25 marzo 1539, il Cardano, proprio nella sua casa e di fronte al F., riceveva la desiderata formula, senza dimostrazione, avvolta nell'enigma di "25 assai rozzi versi italiani" stilati dal Tartaglia, previo però il giuramento "ad sacra Dei evangelia ...
Leggi Tutto
COLECCHI, Ottavio
Roberto Grita
Nacque a Pescocostanzo (L'Aquila) il 3 sett. 1773 da Giovanni Battista Giocondino e da Grazia Nicoletta Spallone, che gli diedero il nome di Ottaviano Francesco. Da uno [...] C. si differenzia da Kant sul problema metafisico di Dio perché sostiene la necessità di ammetterne l'esistenza anche per dimostrazione logica e non solo per convinzione relativa alla legge morale. Studiò a fondo anche la Critica della ragion pratica ...
Leggi Tutto
COLLALTO, Antonio
Ugo Baldini
Nacque a Venezia il 21 0 22 apr. 1765. Mancano notizie sulla famiglia, socialmente modesta; il Cicogna, nel rilevarne la totale estraneità a quella omonima appartenente [...] agli occhi i due metodi [leibniziano e lagrangiano] ad un tempo per rilevare sul fatto la spiegazione e la dimostrazione del primo". L'opera svolge questo asserto, relativamente ai concetti primari e ad alcuni loro sviluppi; per questo carattere ...
Leggi Tutto
logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] HI sono le formule vere in ogni interpretazione in algebre di Heyting. Con le tecniche introdotte da Tarski si possono dimostrare molte proprietà significative di HI, per es., che esso è interpretabile nel sistema modale S4 di Clarence I. Lewis dove ...
Leggi Tutto
FAIFOFER, Aureliano
Luca Dell'Aglio
Nacque a Borgo Valsugana, in provincia di Trento, il 4 ag. 1843, da Giorgio e Celeste Sordo. Compì gli studi liceali e universitari a Padova, ove si laureò in matematica, [...] .-M.-C. Duhamel, riconduce la nozione di equivalenza alla decomposizione di figure in altre a due a due congruenti (Dimostrazione di una proposizione fondamentale della teoria dell'equivalenza, in Periodico di matematiche, I [1886], pp. 13 ss.). Alla ...
Leggi Tutto
variazionale
variazionale [agg. Der. di variazione] [LSF] Di principio o equazione esprimente una condizione cui deve soddisfare la variazione che una certa grandezza subisce quando si facciano variare [...] β(u(γ)-μρ(γ)), ove β=1/(kBT), u è l'energia per unità di volume e ρ la densità. La dimostrazione della validità di questa affermazione discende dall'osservazione (di semplice verifica) della sua validità nelle distribuzioni gran canoniche di sistemi ...
Leggi Tutto
Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale.
Nel linguaggio scientifico, in genere, modificazione che determinate proprietà di [...] estensione ai numeri ordinali transfiniti. Il principio di i. transfinita per i numeri transfiniti di classe I e II si enuncia così: per dimostrare che un teorema T è vero per ogni numero ordinale di classe I e II, basta provare che: 1) esso è vero ...
Leggi Tutto
VALERIO, Luca
Amedeo Agostini
Matematico, nato - sembra da famiglia oriunda ferrarese - a Napoli intorno al 1552, morto a Roma nel 1618. Dal 1600 insegnò matematica e greco alla Sapienza di Roma. Fu [...] termini moderni, nella seguente: se lim X = A e lim Y = B e se è sempre X/Y = m/n, si ha
Con la dimostrazione e l'uso di questa proprietà V. divide con S. Stevin il merito di avere introdotto il calcolo dei limiti nei problemi infinitesimali. Infatti ...
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...