Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] non finitistiche.
Nel 1936 G. Gentzen riuscì a dimostrare la consistenza dell’aritmetica usando un principio d’induzionetransfinita. Analoghi risultati sono stati ottenuti da K. Schütte, da P. Lorentzen e altri. Naturalmente questo genere di ...
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