La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Paolo Zellini
L'analisi numerica
L'analisi numerica moderna comincia a delinearsi verso la metà del XX sec., con le prime [...] di Wiener sulle serie temporali (1949), elaborati durante la guerra e indipendentemente dalle ricerche di AndrejNikolaevičKolmogorov del 1941, contenevano equazioni integrali approssimabili con sistemi di equazioni algebriche lineari. In questi ...
Leggi Tutto
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