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

2. Биографическая справка

Образование: Пражский университет (изучал философию, математику и теологию).

Академическая карьера: Профессор философии религии в Пражском университете. Больцано был священником, но его прогрессивные, пацифистские и либеральные идеи (о равенстве людей, критике церковной догматики) вызвали недовольство австрийских властей. В 1820 году он был отстранен от преподавания и лишен права публиковать научные работы, проведя остаток жизни под полицейским надзором.

Интересный факт: Больцано был настоящим "невидимым гением". Большинство его прорывных идей (включая строгую теорию действительных чисел и понятие непрерывности) остались в рукописях, которые были обнаружены и опубликованы лишь спустя десятилетия после его смерти. Многие из его открытий были позже переоткрыты Коши и Вейерштрассом.

3. Основные достижения и труды

Ключевые работы:

• «Чисто аналитическое доказательство» (Rein analytischer Beweis, 1817).
• «Наукоучение» (Wissenschaftslehre, 1837) — фундаментальный труд по логике.
• «Парадоксы бесконечного» (Paradoxien des Unendlichen, 1851, посмертно).

Главные теоремы/формулы:

• Теорема Больцано — Коши: Если непрерывная функция $f(x)$ на отрезке $[a, b]$ принимает значения разных знаков на концах, то существует точка $c \in (a, b)$, такая что $f(c) = 0$.
• Теорема Больцано — Вейерштрасса: Любая ограниченная бесконечная последовательность имеет предельную точку.
• Кривая Больцано: Первый в истории пример функции, которая непрерывна в каждой точке, но не имеет производной ни в одной точке. Эта конструкция предвосхитила теорию фракталов.

4. Наследие и влияние

«Математика — это не искусство счета, а искусство мышления.»

Влияние на современность: Больцано был первым, кто очистил математический анализ от метафизических призраков «бесконечно малых» и ввел строгое логическое определение непрерывности. Его «Наукоучение» считается предтечей современной математической логики и теории множеств (он впервые начал использовать понятие "множество" для объектов любого типа, а не только чисел). Без его идей о "парадоксах бесконечного" не было бы работ Георга Кантора.

Награды: Посмертное признание одним из величайших логиков и математиков XIX века.

5. Ссылки на источники

• Биография на портале MacTutor
• Парадоксы бесконечного (Archive.org)