Currently displaying 1 – 20 of 31

Showing per page

Order by Relevance | Title | Year of publication

Dal superamento del riduzionismo insiemistico alla ricerca di una più ampia e profonda comprensione tra matematici e studiosi di altre discipline scientifiche ed umanistiche

Ennio De Giorgi — 1998

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Proponiamo in questa Nota un quadro assiomatico aperto e non riduzionista, che si basa sulle idee primitive di qualità e relazione, in cui speriamo sia possibile innestare i concetti fondamentali della Matematica, della Logica e dell’Informatica (di cui diamo solo alcuni primissimi esempi). Auspichiamo che sviluppando liberamente tale quadro sia possibile giungere ad un fruttuoso confronto critico delle idee fondamentali delle diverse discipline scientifiche ed umanistiche, non ristretto agli «specialisti...

Un nuovo tipo di funzionale del calcolo delle variazioni

Ennio De GiorgiLuigi Ambrosio — 1988

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

In questo lavoro si studia una classe di funzionali che intervengono in molti problemi di Fisica Matematica e, in particolare, nel problema di trovare le configurazioni di equilibrio di una miscela di liquidi isotropi e cristalli liquidi.

Una teoria-quadro per i fondamenti della matematica

Ennio De GiorgiMarco Forti — 1985

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

We propose a "natural" axiomatic theory of the Foundations of Mathematics (Theory Q) where, in addition to the membership relation (between elements and classes), pairs, sets, natural numbers, n-tuples and operations are also introduced as primitives by means of suitable ground classes. Moreover, the theory Q allows an easy introduction of other mathematical and logical entities. The theory Q is finitely axiomatized in § 2, using a first-order language with a binary relation (membership) and five...

Su un tipo di convergenza variazionale

Ennio De GiorgiTullio Franzoni — 1975

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

The main properties of a new type of convergence, useful in several topics of calculus of variation are presented here. Proofs and comparison with known results will appear in forthcoming papers.

Una teoria-quadro per i fondamenti della matematica

Ennio De GiorgiMarco Forti — 1985

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

We propose a "natural" axiomatic theory of the Foundations of Mathematics (Theory Q) where, in addition to the membership relation (between elements and classes), pairs, sets, natural numbers, n-tuples and operations are also introduced as primitives by means of suitable ground classes. Moreover, the theory Q allows an easy introduction of other mathematical and logical entities. The theory Q is finitely axiomatized in § 2, using a first-order language with a binary relation (membership) and five...

Un nuovo tipo di funzionale del calcolo delle variazioni

Ennio De GiorgiLuigi Ambrosio — 1988

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

In questo lavoro si studia una classe di funzionali che intervengono in molti problemi di Fisica Matematica e, in particolare, nel problema di trovare le configurazioni di equilibrio di una miscela di liquidi isotropi e cristalli liquidi.

Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della Matematica

Ennio De GiorgiMarco FortiGiacomo LenziVincenzo Maria Tortorelli — 1995

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

I primi elementi della sintassi e della semantica del Calcolo dei Predicati del primo ordine (predicati, proposizioni, formule, interpretazioni, ecc.) sono introdotti nell'ambiente delle teorie base dei Fondamenti della Matematica di [11]. Il problema della verità e falsità delle proposizioni è affontato introducendo, a fianco delle ordinarie qualità Q v e r , Q f a l s , che non possono valutare tutte le proposizioni (Teorema 1), nuovi «oggetti metateorici», le metaqualità M v e r , M f a l s che, indipendenti dalle relazioni...

Funzioni ( p , q ) -convesse

Ennio De GiorgiAntonio MarinoMario Tosques — 1982

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

We study a class of functions which differ essentially from those which are the sum of a convex function and a regular one and which have interesting properties related to Γ -convergence and to problems with non-convex constraints. In particular some results are given for the associated evolution equations.

Problemi di regolarità per un nuovo tipo di funzionale del calcolo delle variazioni

Ennio De GiorgiGiuseppe CongedoItalo Tamanini — 1988

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Si considerano questioni riguardanti la regolarità delle soluzioni di problemi di minimo di funzionali che coinvolgono sia termini di volume che di superficie. Si danno indicazioni sui risultati attesi in alcuni casi di notevole interesse, collegati a problemi di segmentazione di immagini e alla teoria dei cristalli liquidi.

Convergenza debole di misure su spazi di funzioni semicontinue

Gianni Dal MasoEnnio De GiorgiLuciano Modica — 1985

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Given a complete and separable metric space X , we study the weak convergence of sequences of measures defined on the space 𝒮 ( X ) of all real-valued lower semicontinuous functions on X as well as on the space ( X ) of all closed subsets of X .

On the lower semicontinuity of certain integral functionals

Ennio De GiorgiGiuseppe ButtazzoGianni Dal Maso — 1983

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Si dimostra che il funzionale Ω f ( u , D u ) d x è semicontinuo inferiormente su W l o c 1 , 1 ( Ω ) , rispetto alla topologia indotta da L l o c 1 ( Ω ) , qualora l’integrando f ( s , p ) sia una funzione non-negativa, misurabile in s , convessa in p , limitata nell’intorno dei punti del tipo ( s , 0 ) , e tale che la funzione s f ( s , 0 ) sia semicontinua inferiormente su 𝐑 .

Integral representation and relaxation for Junctionals defined on measures

Ennio De GiorgiLuigi AmbrosioGiuseppe Buttazzo — 1987

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Given a separable metric locally compact space Ω , and a positive finite non-atomic measure λ on Ω , we study the integral representation on the space of measures with bounded variation Ω of the lower semicontinuous envelope of the functional F ( u ) = Ω f ( x , y ) d λ    u L 1 ( Ω , λ , n ) with respect to the weak convergence of measures.

Sul problema dell'autoriferimento

Ennio De GiorgiMarco FortiVincenzo M. Tortorelli — 1986

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

We formulate, within the frame-theory Q for the foundations of Mathematics outlined in [2], a list L of axioms which state that almost all "interesting" collections and almost all "interesting" operations are elements of the universe. The resulting theory Q + L would thus have the important foundational feature of being completely self-contained. Unfortunately, the whole list L is inconsistent, and we are led to formulate the following problem, which we call the problem of self-reference: "Find out...

Evolution equations for a class of non­linear operators

Ennio De GiorgiMarco DegiovanniAntonio MarinoMario Tosques — 1983

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Se A è un operatore in uno spazio di Hilbert e V è un sotto insieme di questo spazio, in molti problemi si è indotti a modificare A sul «bordo» di V in modo da ottenere un operatore A tale che le soluzioni dell'equazione differenziale associata 0 U + A ~ ( U ) non escano da V . Se V non è convesso, l'operatore A non rientra nei casi classici esaminati, ad esempio, in [1]. In questo lavoro introduciamo alcune classi di operatori che contengono, in qualçhe caso significativo, quelli del genere sopra considerato...

Page 1 Next

Download Results (CSV)