We consider the motion by curvature of a network of smooth curves with multiple junctions in the plane, that is, the geometric gradient flow associated to the length functional. Such a flow represents the evolution of a two–dimensional multiphase system where the energy is simply the sum of the lengths of the interfaces, in particular it is a possible model for the growth of grain boundaries. Moreover, the motion of these networks of curves is the simplest example of curvature flow for sets which...
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à , , che non possono valutare tutte le proposizioni (Teorema 1), nuovi «oggetti metateorici», le metaqualità , che, indipendenti dalle relazioni...
Download Results (CSV)