La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] teoria degli insiemi e di V=L. L'insieme a non appartiene a M, ma è contenuto in M (il problema di Skolem di aggiungere a un modello un insieme che non vi appartenga). La tecnica di definizione dell'estensione non cambia, l'estensione viene definita ...
Leggi Tutto
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 [...] egli doveva già aver preso visione di un altro risultato che sconvolgeva la sua concezione complessiva. Il teorema di Löwenheim-Skolem, stabilito nel 1920, mostrava infatti come ogni teoria T formulata nella logica del primo ordine che ha un modello ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] ricorsive primitive definite mediante tale procedimento. Attraverso i lavori di Paul Bernays, David Hilbert, Rózsa Péter e Thoralf Skolem si scoprì che non si ottengono nuove funzioni se si permettono procedimenti di definizione in cui il valore per ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] metodi che costituivano di fatto il patrimonio di informazioni accumulate in un modo o nell'altro da figure come Löwenheim, Skolem e Gödel sul versante 'non-finitista' della logica. Fu questo armamentario quello che negli anni che seguirono si impose ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] la ripresa delle ricerche sull'assiomatizzazione della teoria degli insiemi da parte di Abraham Fraenkel (1891-1965) e Thoralf Skolem (1887-1963).
Le critiche di Poincaré non avevano "toccato il cuore della questione, che sta molto più in profondità ...
Leggi Tutto