Новые доказательства того, что Кантор занимался плагиатом Дедекинда?

Соперничество, сформировавшее современную математику

В анналах математической истории лишь немногие отношения оказались столь интеллектуально плодотворными — или столь спорными — как отношения между Георгом Кантором и Ричардом Дедекиндом. Их переписка на протяжении 1870-х и 1880-х годов породила некоторые из самых революционных идей в основах математики: от строгого построения действительных чисел до захватывающего открытия о том, что бесконечность бывает разных размеров. Но вопрос, который кипел среди историков математики на протяжении более столетия, недавно получил новый импульс: получил ли Кантор больше признания, чем он заслуживал, а Дедекинд получил гораздо меньше? Новый научный анализ их частной переписки, черновиков рукописей и точной хронологии их публикаций заставляет математическое сообщество пересмотреть вопрос о том, кто на самом деле является отцом идей, которые мы теперь почти рефлекторно приписываем одному лишь Кантору.

Это не просто академический спор по поводу сносок. Вопрос о том, занимался ли Кантор плагиатом (или, по крайней мере, неадекватным признанием) Дедекинда, затрагивает суть того, как мы распределяем интеллектуальную собственность, как сотрудничество превращается в присвоение и почему документация и атрибуция важны во всех областях, от чистой математики до современного бизнеса.

Что уже рассказали нам исторические записи

Отношения между Кантором и Дедекиндом хорошо задокументированы в серии писем, которыми они обменялись между 1872 и 1899 годами. Их переписка, впервые опубликованная в сборнике Эмми Нётер и Жаном Кавайесом в 1937 году, свидетельствует об интенсивном интеллектуальном обмене. В 1872 году оба человека независимо друг от друга опубликовали конструкции действительных чисел: Кантор использовал то, что сейчас называется последовательностью Коши, а Дедекинд использовал свои знаменитые «разрезы». Но письма показывают, что Дедекинд разработал свою сокращенную конструкцию еще в 1858 году, за целых 14 лет до публикации, когда преподавал математический анализ в Политехническом институте в Цюрихе.

Историкам давно известно, что Кантор во многом опирался на Дедекинда в годы становления теории множеств. В письме Дедекинду в 1873 году Кантор впервые поставил вопрос о том, можно ли привести действительные числа во взаимно однозначное соответствие с натуральными числами. Дедекинд не только поддержал исследование, но и внес ключевое упрощение в первое доказательство Кантора того, что реалы неисчислимы. Однако, когда Кантор опубликовал этот знаменательный результат в «Журнале Крелля» в 1874 году, вклад Дедекинда остался незамеченным.

Это упущение не было разовым явлением. В многочисленных публикациях конца 1870-х и 1880-х годов Кантор развивал идеи, несущие в себе безошибочные следы его общения с Дедекиндом, включая ранние формулировки мощности, концепцию счетности и структуру топологии точечного множества, не давая при этом того подтверждения, которого требуют современные академические стандарты.

Новые доказательства: сроки написания рукописей и неопубликованные черновики

Недавнее исследование, основанное на архивных материалах Геттингенского университета и ранее упущенных из виду заметках из Нахласса (литературного поместья) Дедекинда, придало этому делу значительный вес. Историки обнаружили черновики рукописей, написанных рукой Дедекинда, в которых излагаются ключевые концепции теории множеств (включая раннюю версию того, что впоследствии стало теоремой о том, что множество бесконечно, если и только если его можно поместить в биекцию с соответствующим подмножеством самого себя), датируемые периодами до того, как Кантор опубликовал эквивалентные результаты.

Особенно поразительна серия заметок 1874–1877 годов, в которых Дедекинд обрисовывает идеи об отображениях между наборами различных «степеней» (то, что мы теперь называем мощностями). Эти заметки на несколько лет предшествуют опубликованной работе Кантора по тем же концепциям. В то время как Дедекинд предпочел воздержаться от публикации — отчасти из-за своего легендарного перфекционизма, а отчасти потому, что он чувствовал, что идеи еще не были в удовлетворительной форме — Кантор, который имел доступ к этим идеям через их переписку.

Related Posts

• Малоизвестный инструмент песочницы командной строки macOS (2025 г.)
• CXMT предлагает чипы DDR4 примерно за половину рыночной цены.
• Мы больше не привлекаем лучших специалистов: утечка мозгов, убивающая американскую науку
• Coccinelle: инструмент трансформации исходного кода ядра Linux