Вот самое что ни на есть математическое по сегодняшней дате: сегодня день рождения Бернарда Больцано. В университете пришлось познакомиться с последствиями и его жизни
БОЛЬЦАНО Бернард (5.10.1781-18.12.1848) - чешский математик, философ и логик. Род. в Праге. Учился сначала дома, затем в гимназии. В 1800 окончил философский, в 1805 - теологический факультет Пражского ун-та с присвоением ученой степени доктора философии. В 1805-1820 занимал кафедру истории религии в Пражском ун-те. За выступления против австрийского правительства отстранен от работы (1820) и лишен права публичных выступлений. При жизни Б. напечатал только пять небольших математических сочинений и ряд философских трудов, вышедших анонимно. Основную часть большого рукописного наследства Б. чешские ученые исследовали после его смерти. Большой математический труд Б. "Учение о функциях", написанный в 1830, увидел свет только через 100 лет. В нем, в частности, Б. (за 30 лет до К. Вейерштрасса) строит пример непрерывной кривой, не имеющей касательной ни в одной точке. Б. установил современное понятие сходимости рядов и за несколько лет до выхода в свет "Алгебраического анализа" О .Л. Коши пользовался критерием сходимости, именуемым обычно критерием Коши. Теорему, устанавливающую, что всякое бесконечное множество чисел, заключенных в замкнутом интервале, имеет в нем по меньшей мере одну предельную точку, Б. упоминает за много лет до того, как ее сформулировал К. Т. В. Вейерштрасс. Уточнив понятия предела и непрерывности, Б. впервые строго доказал теорему о том, что непрерывная функция принимает любое промежуточное значение, лежащее между двумя ее разными значениями. В "Парадоксах бесконечного" (издано в 1851), написанных Б. в последний год жизни, содержится определение бесконечного множества как равномощного своей правильной части, здесь Б. явился предшественником Г. Кантора - творца теории множеств. Б. опубликовал обширный труд по логике "Наукознание" (1837), в котором развил положения, предвосхитившие идеи математической логики. В начале 30-х годов 19 в. Б. сделал попытку построения теорий действительных чисел, которая после некоторых уточнений совпадает с теорией Г. Кантора. Приоритет способа обоснования арифметики натуральных чисел методом математической индукции, который связывают с именем Г. Г Грассмана, принадлежит Б. В классическом анализе и теории функций известен принцип выбора Больцано, лемма Больцано-Вейерштрасса об ограниченной последовательности и др. В 1861 был создай фонд имени Б. в Карловом ун-те. В 1923 чешским о-вом наук была создана комиссия по изданию наследства Б. Список изданные трудов Б. содержит 83 наименования.
PS если такие справки будут кому-то интересны, то могу продолжить.
