§160. В 1877 году Георг Кантор получил результат, о котором сообщил в письме своему коллеге Юлиусу Вильгельму Рихарду Дедекинду: множества точек отрезка и точек квадрата имеют одну и ту же мощность (континуум), независимо от длины отрезка и ширины квадрата. [309,310] Заодно он сформулировал и безуспешно пытался доказать «континуум-гипотезу». Этому результату предшествовал ряд работ Кантора, в частности: в 1870 году ему удалось решить математическую задачу представления функции как суммы тригонометрических серий; в статье 1872 года Кантор дал вариант обоснования теории вещественных чисел, а в его модели вещественное число определяется как класс фундаментальных последовательностей рациональных чисел; Кантор представил доказательство в 1873 году, что рациональные числа могут быть подсчитаны и что есть ровно одно рациональное число для каждого естественного числа; в 1874 году ему удалось инвертировать вывод о том, что реальные цифры не могут быть подсчитаны, и при этом он также доказал, что почти все числа трансцендентные. [311] Первая статья Кантора, обобщающая ключевые результаты, появилась в 1878 году и называлась «К учению о многообразиях» (термин «многообразие» Кантор позже заменил на «множество»). [312] Публикация статьи не раз откладывалась по требованию Леопольда Кронекера, возглавлявшего кафедру математики Берлинского университета. Кронекер, считающийся предтечей конструктивной математики, с неприязнью относился к канторовской теории множеств, поскольку её доказательства нередко носят неконструктивный характер, без построения конкретных примеров; понятие актуальной бесконечности Кронекер считал абсурдным. Сам Кантор придерживался того же мнения, что и большинство математиков сегодня: любой непротиворечивый математический объект следует считать допустимым и существующим. Его теория множеств натолкнулась на резкую критику со стороны ряда известных математиков-современников – Анри Пуанкаре; позднее – Германа Вейля и Лёйтзена Брауэра. Они напоминали, что до Кантора все корифеи математики, от Аристотеля до Гаусса, считали актуальную бесконечность недопустимым научным понятием и отрицали её как легальный математический объект. [313] Кантор развил свою теорию в нескольких работах. [314] Со временем канторовская теория множеств была поставлена на аксиоматическую основу и стала краеугольным камнем в современном построении оснований математики, на неё опираются математический анализ, топология, функциональный анализ, теория меры и многие другие разделы математики.

§161. Интегральный закон излучения абсолютно чёрного тела был выведен Йозефом Стефаном (1879) на основе сделанных Джоном Тиндалем экспериментальных измерений. [315] Людвиг Больцман (1884), используя теоретические соображения термодинамики, считал некий идеальный тепловой двигатель со светом, как рабочим веществом, вместо газа. [316] Закон Стефана – Больцмана, определяет зависимость плотности мощности излучения абсолютно чёрного тела от его температуры: «Полная объёмная плотность равновесного излучения и полная испускательная способность абсолютно чёрного тела пропорциональны четвёртой степени его температуры». Закон очень точен только для идеальных черных объектов – идеальных излучателей, называемых черными телами; он работает как удобное приближение для большинства «серых» тел.

§162. В 1864 году Джеймс Максвелл поставил опыт с целью определить скорость Земли относительно эфира, однако позднее нашёл ошибку в своих выкладках и не стал публиковать результаты. Незадолго до смерти в 1879 году, он написал американскому астроному Дэвиду Пеку Тодду письмо на эту тему, которое он после смерти Максвелла направил Стоксу для публикации. [317] В этом письме Максвелл, исследуя задержку затмений, вызванных геоцентрическим положением Юпитера, предложил формулу, в которой вывел пропорциональность расстояния между Землей и Юпитером скорости света за вычетом скорости движения Солнца сквозь эфир с учетом косинуса широты с расчетной долготой, и времени прохождения расстояния от Юпитера до Земли, но сослался на недостаточность наблюдательных данных для проверки его метода.