K 200. výročí narození Bernarda Bolzana - Bolzano, Bernard