BelNET logoНаучно-образовательный портал ядерных знаний Республики Беларусь BelNET (Belarusian Nuclear Education and Training)

Бернард Больцано

Имя: Бернард Больцано
Дата: 5 октября 1781 г.
Бернард Больцано (чеш. Bernard Placidus Johann Nepomuk Bolzano; Прага, Священная Римская империя, 5 октября 1781 – 18 декабря 1848, Прага, Австрийская империя) – чешский математик, философ и теолог, автор первой строгой теории вещественных чисел и один из основоположников теории множеств. На четыре года раньше Коши и более строго, чем он, вывел необходимое условие сходимости вещественных рядов. Нашёл первые примеры непрерывных нигде не дифференцируемых функций (1830). В труде «Наукоучение» («Wissenschaftslehre») представил (1837) объемлющее изложение традиционных логических учений. В работе «Парадоксы бесконечного» («Paradoxien des Unendlichen») сформулировал (1851) идеи, близкие к наивной теории множеств Кантора, ввёл понятие множества и взаимно-однозначного соответствия, доказал утверждение о наличии предельной точки у любого бесконечного ограниченного множества, ставшее позднее известным как теорема Больцано-Вейерштрасса.