4560 читали · 1 год назад
Одно из самых фундаментальных утверждений математики - теорема Гейне-Бореля-Лебега
Приветствую Вас, уважаемые Читатели! Сегодня я хочу рассказать Вам про известное утверждение из математического анализа, которое носит имя сразу трех знаменитых математиков 19 и 20 веков: Эмиля Бореля, Анри Лебега и Эдуарда Гейне. Это утверждение иногда называют леммой, что как бы подчеркивая её "местечковость" и простоту доказательства, однако это совсем не так. Да, её разбирают уже на первом курсе на дисциплине "Математический анализ", но изначально за ней стоял огромный, тысячелетний опыт математического...
751 читали · 1 год назад
Парадокс Гёделя: за пределами доказательств
"Это утверждение ложно." Замысловатая загадка, не правда ли? Если утверждение правдиво, тогда оно обманывает нас. Однако, если оно обманчиво, то, строго говоря, оно говорит правду. Такое утверждение, ссылаясь на само себя, порождает парадокс, который не имеет решения. Казалось бы, чисто философская игра слов. Но в руках австрийского логика Курта Гёделя это становится ключом к открытию, кардинально меняющему наше понимание математики и ее границ. Невероятно, но такие "игры" могут перевернуть мир науки!...