Tartàglia, Niccolò
Enciclopedia on line
Tartàglia, Niccolò. - Matematico (Brescia 1499 circa - Venezia 1557). T. affrontò molte questioni di matematica pura e applicata e scoprì, contendendola con G. Cardano, la formula risolutiva dell'equazione [...] Nave la dimostrazione di Dal Ferro, ma riuscirono a estendere la formula al caso più generale, e a gettare le basi di una teoria generale delle equazioni algebriche. Non decidendosi T. a pubblicare, Cardano si ritenne libero dall'impegno e nella ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
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 [...] tratta dal linguaggio giuridico, nel quale significa la dimostrazione della ‘legittimità’ della pretesa che si avanza, usata da I. Kant da certe assunzioni particolari, tipiche di una data teoria, a un’espressione che è indipendente da ogni ipotesi ...
Leggi Tutto
CATEGORIA:
LOGICA
Manin, Jurij Ivanovič
Enciclopedia on line
Matematico russo (n. Simferopol´ 1937 - m. 2023). Ricercatore dell'istituto Steklov di Mosca (1960-91), professore nell'Università statale di Mosca (1965-91) e nel Max-Planck-Institut für Mathematik a [...] . 1995 al febbr. 2005. Ha dato numerosi importanti contributi all'algebra, alla teoria dei numeri, alla geometria algebrica e alla fisica matematica. La sua dimostrazione della congettura di Mordell per i campi di funzioni è diventata uno strumento ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
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, [...] del sec. 20º contribuì notevolmente al progresso della teoria degli 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 ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
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, [...] ed. 1958). Del 1940 è la sua celebre dimostrazione della coerenza dell'aritmetica, in cui introdusse anche il concetto di " costruttiva di un segmento della seconda classe di Cantor, e nel 1952-1953 studiò un sistema di teoria degli insiemi in cui ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
dimostrazione
Enciclopedia on line
Filosofia
Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato.
La nozione di d. venne introdotta da Aristotele che la definì come quella forma [...] matematica fino al costituirsi di un espresso campo di ricerche, la teoria della d., elaborata da D. Hilbert e K. Gödel, che studia le capacità dimostrative dei sistemi formali, teoria che, dopo il fallimento del suo originale obiettivo, quello cioè ...
Leggi Tutto
Finito
Enciclopedia Italiana - VI Appendice (2000)
Finito
Antonio Machì
(XV, p. 399)
Matematica del finito
Diversi filoni della ricerca matematica che mostrano particolare vitalità si possono ricondurre all'interesse per i problemi del finito. L'analisi [...] variabili.La semplicità del gruppo alterno An per ogni n.4, dimostrata da Jordan (1870), è uno dei risultati più importanti della teoria. Dal punto di vista della classificazione, la classe degli An costituisce storicamente la prima classe infinita ...
Leggi Tutto
CATEGORIA:
ALGEBRA
ALGEBRA OMOLOGICA
Enciclopedia Italiana - V Appendice (1991)
(v. topologia, App:. III, 11, p. 960; algebra omologica, App. IV, I, p. 87)
Introduzione. - L'a.o. ha le sue origini nella teoria d'omologia di gruppi astratti che fu coinvolta nello studio di certi spazi [...] molti autori e particolarmente di H. Bass, della K-teoria algebrica; il problema di Serre rimase però, alla ogni Pi f.g., ed n dipendente da M.
Già qualche anno prima delle dimostrazioni della congettura di Serre da parte di D. Quillen e A. A. Suslin ...
Leggi Tutto
SPAZIO
Enciclopedia Italiana - IV Appendice (1981)
SPAZIO (XXXII, p. 315; App. III, 11, p. 789)
Vittorio Dalla Volta
Matematica. - Oggi si considerano quasi esclusivamente s. topologici, con l'aggiunta di eventuali altre strutture (per es., di s. vettoriale), [...] sottospazi connessi di S contenenti x è un insieme che si dimostra essere connesso; tale insieme è il più grande (insieme) s. fibrati, il cui studio s'inquadra meglio nella teoria delle varietà differenziabili. Diremo qui solo che uno "s. fibrato ...
Leggi Tutto
SERIE
Enciclopedia Italiana - IV Appendice (1981)
SERIE (XXXI, p. 435; App. III, 11, p. 699)
Tullio Viola
1. Serie numeriche. - Sia
una serie a termini reali e positivi, le cui successive somme parziali indichiamo con
Ai criteri di convergenza e divergenza [...] la congettura per n = 3 ed n = 4. Negli ultimi decenni essa ha acquistato notevole importanza nella teoria delle funzioni di variabile complessa, ma la sua completa dimostrazione sembra presentare difficoltà molto ardue.
La congettura è stata ...
Leggi Tutto