> Questa tesi ha natali illustri (Frege, Russell), e viene spesso chiamata
> "logicismo" (seguendo, credo, Carnap). E` senz'altro una bella idea, ma
> da parecchio tempo si � capito che non funziona: per poter fondare la
> matematica, oltre alla logica, ci vuole anche (almeno) la teoria degli
> insiemi.
ma la teoria degli insiemi non ha fondamenti logici?
(es il sistema NGB)
--
maitre Aliboron
Received on Thu Sep 16 2004 - 10:48:44 CEST