Чешский математик, логик и философ, автор первой строгой теории вещественных чисел, один из основоположников теории множеств. Окончил Карлов университет (Прага, 1805). В труде «Учение о функциях» (1830) впервые представил пример непрерывной нигде не дифференцируемой функции. В трактате «Парадоксы бесконечного» (1851) сформулировал идеи, близкие к теории множеств Г. Кантора, описал бесконечное множество, равномощное своей правильной части. Ввел понятие взаимно-однозначного соответствия. Привел доказательство теоремы о наличии предельной точки у любого бесконечного ограниченного множества (ныне носит название теоремы Больцано-Вейерштрасса).
Авторские труды
Больцано Б. Парадоксы бесконечного. — 1911Больцано Б. Парадоксы бесконечного / пер. с нем. под ред. проф. И. В. Слешинского. — Одесса : Mathesis, 1911. — VIII, 120, [8] с. объявл. — (Библиотека классиков точного знания ; 4). — Библиогр.: с. VII—VIII.без названиябез описания