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 [...] il fallimento del suo programma. Ma egli doveva già aver preso visione di un altro risultato che sconvolgeva la sua concezione complessiva. Il teoremadiLöwenheim-Skolem, stabilito nel 1920, mostrava infatti come ogni teoria T formulata nella logica ...
Leggi Tutto
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 [...] , reduce dal suo decisivo contributo a quello che è attualmente noto come teoremadiLöwenheim-Skolem, interviene al V Congresso dei matematici scandinavi con un lavoro di grandi conseguenze, forse il primo non legato allo spirito ottocentesco, bensì ...
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 [...] fondamentale teoremadi Lindenbaum secondo cui ogni insieme consistente di proposizioni di quei risultati, concetti e metodi che costituivano di fatto il patrimonio di informazioni accumulate in un modo o nell'altro da figure come Löwenheim, Skolem ...
Leggi Tutto