La logica interna è la logica del contenuto. Il contenuto qui è aritmetico e l'accento è posto su una logica costruttiva dell'aritmetica (logica aritmetica). L'aritmetica generale delle forme (polinomi) di Kronecker insieme alla discesa infinita di Fermat viene utilizzata in una dimostrazione di coerenza interna. La visione è sviluppata nel contesto di una radicale aritmetizzazione della matematica e della logica e copre la multiforme eredità dell'opera di Kronecker, che comprende non solo Hilbert, ma anche Frege, Cantor, Dedekind, Husserl e Brouwer. Il libro sarà di primario interesse per logici, filosofi e matematici interessati ai fondamenti della matematica e alle implicazioni filosofiche della matematica costruttivista. Potrebbe interessare anche agli storici, poiché copre un periodo di cinquant'anni, dal 1880 al 1930, che è stato cruciale nei dibattiti fondativi e nelle loro ricadute sulla scena contemporanea.
caricamento...
