La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] X e Y hanno lo stesso numero di elementi?". La risposta che dà Cantor è in termini della relazione di equivalenza insiemistica '∼', dove si definisce che X∼Y quando esiste una corrispondenza biunivoca tra gli elementi di X e quelli di Y. Cantor ...
Leggi Tutto
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] a definirne i concetti, sia a dedurne i principi sulla base, rispettivamente, di concetti e principi logico-insiemistici, Russell ha stabilito nell'omonima teoria dei tipi una gerarchia di livelli di predicabilità, nonché corrispondenti restrizioni ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] della stabilità.
Se le tecniche introdotte da Shelah poggiano in modo essenziale su metodi che coinvolgono ipotesi insiemistiche forti, una prospettiva radicalmente diversa ‒ orientata alla geometria algebrica e che vede appunto la teoria dei modelli ...
Leggi Tutto