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 [...] Proprio tali metodi furono poi proposti da Gerhard Gentzen (1909-1945) nel 1936, con l'uso dell'induzionetransfinita fino a certi ordinali numerabili finitamente descritti, applicata ad asserzioni di forma puramente finitaria. Tuttavia, l'estensione ...
Leggi Tutto
Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale.
Nel linguaggio scientifico, in genere, modificazione che determinate proprietà di [...] ), immerso in un campo magnetico di cui B sia il vettore induzione; se l è chiuso oppure se, essendo aperto, i suoi sulla sua estensione ai numeri ordinali transfiniti. Il principio di i. transfinita per i numeri transfiniti di classe I e II si ...
Leggi Tutto