Царица наук EN

Царица наук

Логика и основания

Все главы курса по темам, уровням и частям. Можно выбрать несколько тем сразу — например, «Головоломки» и «Вероятность».

51 Логика и множества Пятьдесят глав мы говорили «для любого», «существует», «следовательно» и «множество», не заглядывая в грамматику. Выучим её на острове, где одни жители всегда говорят правду, а другие всегда лгут. 1–2 курс 55 мин 52 Бесконечности Три собеседника Галилея спорят, чего больше: натуральных чисел или точек на отрезке. По дороге им попадутся гостиница, где всегда есть свободный номер, диагональ Кантора и башня бесконечностей без верхнего этажа. 1–2 курс 55 мин 53 Строгий анализ Непрерывная функция без единой касательной, функция, которую нельзя нарисовать, предел непрерывных функций со скачком. Бестиарий чудовищ, из-за которых анализ стал строгим, и инструменты, которыми их приручили. 1–2 курс 75 мин 56 Гёдель, Тьюринг и пределы доказательства Головоломка из четырёх правил, число, которое говорит о себе, и программа, которую невозможно написать. В 1931 году Гёдель доказал, что в арифметике есть истинные, но недоказуемые утверждения, а в 1936-м Тьюринг — что некоторые вопросы не решает никакой алгоритм. 1–2 курс 65 мин

Главы курса