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 [...] Schmidt, Hermann Weyl, Ernst Hellinger, Alfréd Haar, e Richard Courant. Accanto a essi, andrebbero considerati anche gli importanti studiosi di analisi che tra il 1900 e il 1915 gravitarono in gran numero attorno al circolo di Hilbert e, in senso più ...
Leggi Tutto
Leray Jean
Leray 〈lerè〉 Jean [STF] (n. Nantes 1906) Prof. di matematica nell'univ. di Nancy (1936), di Parigi (1942) e infine nel Collège de France, sempre a Parigi (1948); socio straniero dei Lincei [...] (1980). ◆ [ANM] Grado di L.-Schauder: v. analisi non lineare: I 143 e. ...
Leggi Tutto
disposizione
disposizióne [Der. del lat. dispositio -onis, dal part. pass. dispositus di disponere (→ disponibilità)] [LSF] Atto ed effetto del disporre; più spesso il modo, l'ordine secondo cui più [...] oggetti o gli elementi di un insieme sono disposti. ◆ [ALG] Nel-l'analisi combinatoria, gruppo ordinato di k oggetti scelti in un insieme di n oggetti. ...
Leggi Tutto
Tao, Terence. – Matematico australiano (n. Adelaide 1975). Ha conseguito il Ph.D. in matematica nel 1996 presso la Princeton University. Prof. di matematica alla University of California, nel 2006 ha ricevuto [...] studio delle equazioni differenziali parziali, importante in fisica matematica, l’attività di T. è rivolta soprattutto all’analisi delle soluzioni dell’equazione non lineare di Schrödinger. Nella teoria dei numeri, in un importante lavoro condiviso ...
Leggi Tutto
non distruttivo
nón distruttivo [locuz. agg.] [FTC] Qualifica di prove, e in genere di interventi, su materiali (anche biologici) che non conducono alla distruzione o anche all'alterazione del campione [...] su cui si opera; sono n., per es., le tecniche di analisi mediante radiazioni non ionizzanti, quali gli ultrasuoni dei procedimenti ecografici, o anche mediante radiazioni ionizzanti ma a livello sufficientemente basso in modo che le eventuali ...
Leggi Tutto
Matematico (Trieste 1853 - Bologna 1936); prof. nelle univ. di Palermo (1880-81), e Bologna (1881-1928); socio nazionale dei Lincei (1901). Svolse una feconda attività come ricercatore e didatta, coltivando [...] con profondità e genialità i più svariati campi dell'algebra e dell'analisi. Fu con V. Volterra tra i fondatori del calcolo funzionale e contribuì potentemente a promuovere in Italia gli studî sulle funzioni analitiche, seguendo l'indirizzo di K. ...
Leggi Tutto
CHIÒ, Felice
Nicoletta Janiro
Nacque a Crescentino (Vercelli) il 29aprile del 1813. Rimasto orfano in tenera età, compì gli studi a Vercellì; si iscrisse poi all'università di Torino, dove si laureò [...] . e nat., s. 4, I (1962), pp. 34 s.; G. Ricci, in Un sec. di progresso scientifico ital., I, sez. di mat., 1, Analisi, Roma 1939, p. 102; L. Geymonat, in Storia delle scienze, I, Torino 1962, p. 614; Il Parlamento subalpino e nazionale, Roma 1896, p ...
Leggi Tutto
aritmetizzazione
aritmetizzazióne [Atto ed effetto dell'aritmetizzare "rendere aritmetico", der. di aritmetico] [ALG] [FAF] [INF] Nella logica matematica: (a) in senso generale e storico, programma sviluppato [...] da alcuni matematici nella seconda metà dell'Ottocento allo scopo di rendere più rigorosa l'analisi matematica, fondandola su una teoria dei numeri reali e, in definitiva, sull'aritmetica; (b) in partic., procedimento con cui, seguendo determinate ...
Leggi Tutto
Matematico (Parigi 1831 - ivi 1906). Professore all'École polytechnique di Parigi (1864-1901). Autore di un trattato di geometria descrittiva di notevole interesse storico (Cours de géométrie descriptive, [...] 1880) nel quale, accanto ai metodi geometrici, sono largamente usati quelli attinenti alla cinematica e all'analisi infinitesimale. ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] poste dai moderni motori di ricerca all'innovazione nel campo degli algoritmi è stata fornita da Monika R. Henzinger nel 2004.
Analisi della struttura del Web. - La struttura dei collegamenti (link) tra le pagine del Web (o, come si usa dire, la ...
Leggi Tutto
analisi
anàliṡi s. f. [dal gr. ἀνάλυσις, der. di ἀναλύω «scomporre, risolvere nei suoi elementi»]. – 1. Scomposizione di un tutto, concreto o astratto, nelle parti che lo costituiscono, soprattutto a scopo di studio; si oppone a sintesi, e...
analitico
analìtico agg. [dal lat. tardo analytĭcus, gr. ἀναλυτικός, der. di ἀνάλυσις «analisi»] (pl. m. -ci). – 1. Di analisi, che è proprio dell’analisi o procede per via di analisi: metodo a.; studio a.; ricerca a., condotta con minuta...