La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] e fu esplicitata da Heyting per la logica predicativa (Heyting 1934) e da AndrejNikolaevičKolmogorov (Kolmogorov 1932a) per la logica proposizionale.
Kolmogorov formulò un'interpretazione che è essenzialmente la stessa in termini diversi: egli ...
Leggi Tutto