RU

Число π: история вычислений от Гиппаса до наших дней

Привет, Хабр! Меня зовут Андрей Кундус. Я работаю в отделе розничных продаж и клиентского обслуживания ПСБ в Кемерово. С ИТ и программированием моя…

математикаистория математикичисло пивычисленияматематика на пальцах
Habr
RU

Теорема Миттаг-Леффлера: главная теорема всего комплексного анализа

Возьмите функцию на комплексной плоскости, у которой производная существует всюду, кроме отдельных изолированных точек. Что необходимо о ней знать,…

комплексный анализТФКПтеорема Миттаг-Леффлеравычетыэлектростатикабазельская задачаmatplotlibистория математики
Habr
RU

[Перевод] Проект Lean: Можно ли формализовать всю математику на компьютере – и нужно ли?

Несмотря на все усилия Бурбаки, Коши и Вейерштрасса, подлинно формальные доказательства всегда оставались предметом теории, а не практики. Некоторые…

формализация математикиleanдоказательство теоремматематическая строгостьтеорема фермаистория математикиформальная верификация
Habr
RU

[Перевод] Человек, укравший бесконечность: подлинная история Георга Кантора

В своей работе 1874 года Георг Кантор доказал, что бесконечность не просто существует, но и бывает разных размеров, и навсегда изменил математику. О…

математикаистория математикитеория множествбесконечностьплагиатистория науки
Habr
RU

Царский путь к пониманию комплексных чисел. Часть II

В предыдущей части была рассмотрена предыстория комплексных чисел: от их первого открытия до понимания и умения их широко использовать в науке прошл…

комплексные числаистория математикимнимая единицаматематический анализалгебрагеометрияматематика для инженеровфизикаколебаниявращения