Bernard Bolzano

Da Wikipedia, l'enciclopedia libera.

Bernard Bolzano

Bernard Placidus Johann Nepomuk Bolzano (Praga, 5 ottobre 1781 - Praga, 18 dicembre 1848), matematico, logico, filosofo e teologo ceco che scrisse in lingua tedesca dando significativi contributi sia alla matematica che alla teoria della conoscenza.

[modifica] Biografia

Nel 1796 Bolzano si iscrisse alla Facoltà di Filosofia dell'Università di Praga. Durante i suoi studi scrisse: La mia speciale predilezione per la Matematica si fonda in modo particolare sui suoi aspetti speculativi, in altre parole apprezzo molto quella parte della Matematica che è stata allo stesso tempo Filosofia. Nell'autunno del 1800 iniziò a studiare Teologia. In questo fu impegnato per i successivi 3 anni, durante i quali preparò anche la sua tesi di dottorato in Geometria. Conseguì il dottorato nel 1804, dopo aver scritto una tesi in cui esprimeva il suo giudizio sulla Matematica e sulle caratteristiche di una corretta dimostrazione matematica. Nella prefazione egli scrisse: Non potrei essere soddisfatto di una dimostrazione strettamente rigorosa, se questa non derivasse dai concetti contenuti nella tesi che deve essere dimostrata.

Due anni dopo aver conseguito il dottorato Bolzano fu consacrato sacerdote cattolico romano. La sua vera vocazione era, comunque, l'insegnamento e nel 1804 gli venne assegnata la cattedra di Filosofia e Religione all'Università di Praga. A proposito di questa cattedra va detto che in quegli anni, sull'onda degli entusiasmi suscitati dalla Rivoluzione francese si erano sviluppati i primi movimenti politici che rivendicavano la libertà di pensiero e l'indipendenza delle comunità nazionali. Queste rivendicazioni preoccupavano fortemente gli stati autoritari e in particolare l'Impero austriaco, i cui confini comprendevano gruppi etnici molto diversi entro i quali andavano nascendo movimenti nazionalistici. Per contrastare questi movimenti l'Impero austriaco, in accordo con la Chiesa cattolica, decisamente su posizioni conservatrici di fronte alle conseguenze della rivoluzione francese, portava avanti una serie di iniziative. Tra queste vi era anche la istituzione di una cattedra in Filosofia della Religione in ogni Università, nella prospettiva di erigere baluardi contro il libero pensiero e le posizioni nazionalistiche.

L'assegnazione della cattedra dell'Università di Praga a Bolzano non ebbe affatto gli esiti sperati. Il suo insegnamento rispecchiava il fatto che egli fosse mosso da forti ideali pacifisti e che sentisse una viva esigenza di giustizia politica. Egli inoltre per le sue qualità intelletuali godeva di molto prestigio presso i colleghi accademici e presso gli studenti. In seguito a pressioni del governo dell'Impero austriaco si giunse quindi nel 1819 alla sospensione di Bolzano dal suo incarico. Data la sua personalità egli non si era arreso senza manifestare il suo disaccordo. In seguito fu sospeso con l'accusa di eresia, fu posto agli arresti domiciliari e gli fu proibito di pubblicare. Nonostante la censura del governo, i suoi libri furono pubblicati fuori dall'Impero austriaco ed agli continuò a scrivere e a rivestire un ruolo importante nella vita intellettuale del suo Paese. La sua posizione però ebbe come conseguenza la limitatezza della sua influenza sullo sviluppo del pensiero matematico nel tempo della sua vita.

Bolzano nel 1810 scrisse Beyträge zu einer begründeteren Darstellung der Mathematik. Erste Lieferung, la prima di una serie programmata di scritti sui fondamenti della matematica. Della seconda serie fanno parte Der binomische Lehrsatzl ... del 1816 e Rein analytischer Beweis ... (Pura dimostrazione matematica) del 1817, che contengono un tentativo di impostazione del calcolo infinitesimale che non ricorre al concetto di infinitesimale. Nella prefazione del primo dei due egli dichiara che il suo lavoro è un esempio di un nuovo modo di sviluppare l'analisi. Sebbene Bolzano riuscì a dimostrare esattamente quanto dichiarato, le sue teorie vennero comprese solo dopo la sua morte. Nel lavoro del 1817 Bolzano intendeva liberare i concetti di limite, convergenza e derivata da nozioni geometriche, sostituendoli con concetti puramente aritmetici e numerici. Egli era consapevole di un problema più profondo: la necessità di raffinare e arricchire il concetto di numero stesso. In questo lavoro viene fornita la dimostrazione del teorema del valore medio con il nuovo approccio di Bolzano, e viene definita quella che adesso è chiamata serie di Cauchy. Questo concetto appare in un lavoro di Cauchy quattro anni dopo, ma è improbabile che il matematico francese avesse letto il lavoro di Bolzano.

Dopo il 1817 per molti anni Bolzano non pubblicò lavori sulla matematica. Nel 1837, invece, pubblicò Wissenschaftslehre, un tentativo di una teoria completa di scienza e conoscenza. Molti studiosi, tra i quali Edmund Husserl, considerano questo testo come la prima importante opera sulla logica e i problemi della conoscenza successiva a quelle di Leibnitz.

Tra il 1830 e il 1840, Bolzano lavorò su un'opera maggiore, Grössenlehre con la quale intendeva rileggere tutta la matematica sulle basi della logica; egli ne pubblicò solo una parte, sperando che i suoi allievi lo terminassero e pubblicassero una versione completa. Nel 1854, tre anni dopo la sua morte, venne pubblicato da un allievo il suo lavoro Paradoxien des Unendlichen, uno studio sui paradossi dell'infinito. Per la prima volta compare il termine di insieme, nella forma tedesca menge. In questo lavoro Bolzano fornisce esempi di corrispondenza biunivoca tra gli elementi di un insieme infinito e di un suo sottoinsieme proprio.

La maggior parte dei lavori di Bolzano rimase nella forma di manoscritto, avendo quindi una circolazione molto ridotta e scarsa influenza sullo sviluppo della materia. Molte opere non furono pubblicate fino al 1862 e oltre. Le teorie di Bolzano sull'infinito matematico anticiparono quelle di Georg Cantor sugli insiemi infiniti.

Un altro rilevante contributo dato da Bolzano è la individuazione di una funzione continua per ogni valore reale dell'argomento, ma mai differenziabile.