Displaying similar documents to “Una proposta di teorie base dei Fondamenti della Matematica”

Introduzione delle variabili nel quadro delle teorie base dei Fondamenti della Matematica

Ennio De Giorgi, Marco Forti, Giacomo Lenzi (1994)

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

Similarity:

Introduciamo la nozione di variabile nel quadro assiomatico delle teorie base dei Fondamenti della Matematica [9]. In tale quadro le variabili sono inserite come oggetti «unari», assumono valori di varie specie, possono essere connesse da correlazioni (o corrispondenze) e ammettono rappresentazioni funzionali locali. Gli assiomi sulle variabili sono scelti tenendo presenti gli usi più frequenti del termine «variabile» in Analisi Matematica, Fisica Matematica, Algebra, Geometria, Logica...

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

Similarity:

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...

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

Ennio De Giorgi, Marco Forti, Giacomo Lenzi, Vincenzo Maria Tortorelli (1995)

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

Similarity:

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...