Bolzano

Bolzano

Bolzano Bernhard (Praga 1781 - 1848) matematico e filosofo boemo. Fu sacerdote e insegnò scienza della religione all’università di Praga, ma il suo nome è legato agli studi sui fondamenti della matematica e della logica. Bolzano fu uno dei primi a cogliere l’importanza dell’applicazione dello strumento della dimostrazione in ambiti fondamentali della matematica usualmente trattati in termini intuitivi (→ Bolzano-Weierstrass, teorema di). Nell’opera Wissenschaftlehre (Dottrina della scienza, 1837), in quattro volumi, elaborò una originale, rigorosa e articolata teoria della logica in direzione non psicologistica, introducendo nozioni come quelle di validità e derivabilità, che saranno poi di grande importanza per la logica moderna. Nei Paradoxien des Unendlichen (Paradossi dell’infinito, postumi, 1851), anticipò temi e problemi della teoria degli insiemi infiniti di G. Cantor, come per esempio il concetto di isomorfismo, osservando altresì la possibilità di stabilire un isomorfismo tra un insieme infinito e un suo sottoinsieme proprio, pur non adottando tale possibilità come definizione di «insieme infinito».