La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] assai caro a Klein e ai suoi studenti, Axel Harnack (1851-1888) e Karl Rohn (1855-1920). Le sue radici risalivano al 1876, quando Harnack dimostrò che nel piano proiettivo una curva di grado n non può avere più di 1/2(n−1)(n−2)+1 rami distinti e che ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
L'Ottocento: matematica. Equazioni differenziali alle derivate parziali
Storia della Scienza (2003)
L'Ottocento: matematica. Equazioni differenziali alle derivate parziali
Thomas Archibald
Equazioni differenziali alle derivate parziali
Nel corso del XIX sec. la teoria delle funzioni di più variabili [...] x, come funzione di y, come funzione di z, […]. È facile dimostrare che, se si indicano con α,β,γ,… grandezze infinitamente piccole, e della superficie e del volume che essa racchiude. Ciò dimostra l'inutilità di una delle ipotesi di Poisson riguardo ...
Leggi Tutto
Scienza greco-romana. Archimede
Storia della Scienza (2001)
Scienza greco-romana. Archimede
Reviel Netz
Archimede
Archimede è l’unico dei matematici greci di cui abbiamo notizie storiche; questa eccezionalità è dovuta in parte ai risultati da lui ottenuti, [...] , ha rispetto a quella di una piramide inscritta, PI , vale a dire C:T>PC:PI , da cui C:PC>T:PI. Si è già dimostrato che l’area della superficie del cono è minore di quella della superficie della piramide circoscritta, ossia C<PC, e si può ...
Leggi Tutto
deduzione
Enciclopedia on line
Filosofia
Rapporto per il quale una conclusione deriva da una o più premesse. Nella storia della filosofia si distinguono tre principali interpretazioni di tale rapporto. Secondo la prima, esso è fondato [...] opportuno (R. Carnap, D. Lewis, B. Russell).
D. trascendentale Espressione tratta dal linguaggio giuridico, nel quale significa la dimostrazione della ‘legittimità’ della pretesa che si avanza, usata da I. Kant per spiegare «il modo in cui i concetti ...
Leggi Tutto
CATEGORIA:
LOGICA
Il Rinascimento. Il metodo e l'ordine del sapere
Storia della Scienza (2001)
Il Rinascimento. Il metodo e l'ordine del sapere
Cesare Vasoli
Il metodo e l'ordine del sapere
Prodromi di un dibattito
La ricostruzione del lungo dibattito cinquecentesco sui criteri fondamentali [...] nel De expetendis et fugiendis rebus opus, una vasta opera che, pubblicata nel 1501 da Aldo Manuzio, ebbe una discreta fortuna, come dimostra anche la sua presenza tra i non molti libri di Leonardo. Ma non v'è dubbio che simili preoccupazioni furono ...
Leggi Tutto
DE GIORGI, Ennio
Dizionario Biografico degli Italiani (2014)
DE GIORGI, Ennio
Enrico Moriconi
Nacque l’8 febbraio del 1928 a Lecce figlio di Nicola e di Stefania Scopinich.
La madre proveniva da una famiglia di navigatori di Lussino, mentre il padre era insegnante [...] il risultato a spazi di dimensione minore o uguale a 8, e poi, in un lavoro del 1969, scritto con Bombieri e Giusti, dimostrò che il risultato era falso per spazi di dimensione maggiore o uguale a 9. Come De Giorgi disse in una conferenza del 1987 ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La civiltà islamica: antiche e nuove tradizioni in matematica. Trigonometria
Storia della Scienza (2002)
La civilta islamica: antiche e nuove tradizioni in matematica. Trigonometria
Marie-Thérèse Debarnot
Trigonometria
Dalla geometria alla trigonometria
La trigonometria, scienza ausiliaria dello studio [...] dei sei numeri, noti gli altri cinque. Come negli Sphaerica e nell'Almagesto (ma senza le corde), il teorema è enunciato e dimostrato in due forme, ognuna delle quali esprime che un rapporto di seni è composto di altri due rapporti (v. fig. 1): nella ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
calcolo
Enciclopedia on line
Insieme di procedimenti matematici atti a dare la soluzione di un dato problema.
Informatica
Sistemi di c. Complesso di unità periferiche con le quali e per mezzo delle quali un calcolatore, specialmente [...] , si deve sempre poter determinare se essa è o no in accordo con una delle regole d’inferenza.
Di conseguenza, anche la nozione di dimostrazione è effettiva: data una successione finita di espressioni, si può sempre determinare se è o no una ...
Leggi Tutto
Sierpiński, Wacław Franciszek
Enciclopedia on line
Matematico (Varsavia 1882 - ivi 1969), prof. nell'univ. di Leopoli, poi di Varsavia; fondò la rivista Fundamenta mathematicae. Può essere considerato il principale esponente della scuola matematica polacca, [...] insiemi, della teoria delle funzioni di variabile reale e della topologia generale. Nel 1947 S. pubblicò la prima dimostrazione del fatto che l'ipotesi generalizzata del continuo implica l'assioma della scelta. Importanti anche i suoi contributi alla ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
lògica matemàtica
Enciclopedia on line
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] ecc.). Ma le novità più significative riguardano le indagini connesse con il problema della categoricità. Nel 1965 Michael Morley dimostra il suo teorema sulla categoricità in potenza e i metodi che introduce aprono la strada a uno studio sistematico ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA