Жюль Ришар - Википедия - Jules Richard

Жюль Ричард (12 августа 1862 г. - 14 октября 1956 г.) Французский математик.

Жизнь и творчество

Ричард родился в Блет, в Шер департамент.

Он преподавал в лицеях Туры, Дижон и Шатору. Он получил докторскую степень в возрасте 39 лет на факультете наук в г. Париж. Его диссертация на 126 страниц посвящена волновой поверхности Френеля. Ричард работал в основном над основами математики и геометрии, имея в виду работы автора Гильберта, фон Штаудт и Méray.

В более философском трактате о природе аксиом геометрии Ричард обсуждает и отвергает следующие основные принципы:

1. Геометрия основана на произвольно выбранных аксиомах - существует бесконечно много одинаково истинных геометрий.
2. Опыт предоставляет аксиомы геометрии, основа - экспериментальная, развитие - дедуктивная.
3. Аксиомы геометрии - это определения (в отличие от (1)).
4. Аксиомы не являются ни экспериментальными, ни произвольными, они навязывают себя нам, поскольку без них опыт невозможен.

Последний подход, по сути, был предложен Кант. Ричард пришел к выводу, что понятие идентичности двух объектов и неизменности объекта слишком расплывчато и требует более точного определения. Это должно быть сделано по аксиомам.

Аксиомы - это предложения, задача которых - уточнить понятие идентичности двух объектов, ранее существовавших в нашем сознании.

Далее, согласно Ричарду, цель науки - объяснить материальную вселенную. И хотя неевклидова геометрия не нашла приложений (Альберт Эйнштейн закончил его общая теория относительности только в 1915 году) Ричард уже говорил ясновидящим:

Видно, что, допустив понятие угла, можно свободно выбрать понятие прямой линии таким образом, чтобы была истинна та или иная из трех геометрий.

Ричард переписывался с Джузеппе Пеано и Анри Пуанкаре. Он стал известен более чем небольшой группе специалистов, сформулировав свой парадокс, который Пуанкаре широко использовал для нападок на теорию множеств, после чего сторонникам теории множеств пришлось опровергнуть эти атаки.

Умер в 1956 г. Шатору, в Эндре департамент, в возрасте 94 лет.

Парадокс ричарда

Впервые парадокс был заявлен в 1905 г. в письме к Луи Оливье, директору Revue générale des Sciences pures et appliquées. Он был опубликован в 1905 году в статье Принципы математики и проблемы ансамблей. В Principia Mathematica к Альфред Норт Уайтхед и Бертран Рассел процитируйте его вместе с шестью другими парадоксами, касающимися проблемы самоотнесения. В одном из важнейших сборников математической логики, составленном Жаном ван Хейенуртом, статья Ричарда переведена на английский язык. Парадокс можно интерпретировать как применение диагонального аргумента Кантора. Это вдохновило Курт Гёдель и Алан Тьюринг к их известным произведениям. Курт Гёдель считал свою теорема о неполноте аналогично парадоксу Ричарда, который в оригинальная версия работает следующим образом:

Позволять E быть набором действительных чисел, которые можно определить конечным числом слов. Этот набор счетный. Позволять п быть пth десятичной дроби пый номер набора E; мы формируем число N с нулем для интегральной части и п +1 за пth десятичный, если п не равно ни 8, ни 9, а в противном случае - единице. этот номер N не принадлежит множеству E потому что он отличается от любого номера этого набора, а именно от пй номер п-я цифра. Но N был определен конечным числом слов. Следовательно, он должен принадлежать множеству E. Это противоречие.

Ричард никогда не представлял свой парадокс в другой форме, но между тем существует несколько различных версий, некоторые из которых очень слабо связаны с оригиналом. Их можно указать здесь для полноты картины.

Другие версии парадокса Ричарда

(A) Версия, данная Уайтхедом и Расселом в Principia Mathematica. похожа на оригинальную версию Ричарда, но, увы, не так точна. Здесь только цифра 9 заменена цифрой 0, так что такие идентификаторы, как 1.000 ... = 0.999 ... могут испортить результат.

(B) Парадокс Берри, впервые упомянутый в Principia Mathematica как пятый из семи парадоксов, принадлежит г-ну Дж. Дж. Берри из Бодлианской библиотеки. Оно использует наименьшее целое число, имя которого не может быть меньше девятнадцати слогов; Фактически, на английском языке это означает 111777. Но «наименьшее целое число, которое нельзя назвать менее чем девятнадцатью слогами» - это само по себе имя, состоящее из восемнадцати слогов; следовательно, наименьшее целое число, не имеющее названия менее чем в девятнадцати слогах, может быть названо восемнадцатью слогами, что является противоречием

(C) Парадокс Берри с буквами вместо слогов часто относится к набору всех натуральных чисел, которые могут быть определены менее чем 100 (или любым другим большим числом) букв. Поскольку натуральные числа представляют собой хорошо упорядоченный набор, должно быть наименьшее число, которое не может быть определено менее чем 100 буквами. Но это число как раз определялось 65 буквами, включая пробелы.

(D) Парадокс Кенига был также опубликован в 1905 г. Юлиус Кениг. Все действительные числа, которые можно определить с помощью конечного числа слов, образуют подмножество действительных чисел. Если действительные числа могут быть хорошо упорядочены, тогда должно быть первое действительное число (в соответствии с этим порядком), которое не может быть определено конечным числом слов. Но первое действительное число, которое не может быть определено конечным числом слов только что был определен конечным числом слов.

(E) Наименьшее натуральное число без интересных свойств приобретает интересное свойство именно этим отсутствием каких-либо интересных свойств.

(F) Заимствование парадокса Греллинга и Нельсона. Число всех конечных определений счетно. В лексическом порядке получаем последовательность определений D₁, D₂, D₃, ... Теперь может случиться так, что определение определяет свой собственный номер. Это было бы так, если бы D₁ читать «наименьшее натуральное число». Может случиться так, что определение не описывает свой собственный номер. Это было бы так, если бы D₂ читать «наименьшее натуральное число». Также предложение «это определение не описывает его количество» является конечным определением. Будь как будет D_п. Является п описанный D_п. Если да, то нет, если нет, то да. Дилемма неразрешима. (Эта версия более подробно описана в другой статье, Парадокс ричарда.)

Реакции на парадокс Ричарда

Георг Кантор написал в письме Дэвид Гильберт:

• «Бесконечные определения» (то есть определения, которые не могут быть даны за конечное время) - абсурд. Если бы утверждение Кенигса было «правильным», согласно которому все «конечно определимые» действительные числа образуют совокупность кардинальных чисел ${ displaystyle aleph _ {0}}$, это означало бы счетность всего континуума; но это явно неверно. Теперь вопрос в том, на какой ошибке основано предполагаемое доказательство его неправильной теоремы. Ошибка (которая также появляется в примечании мистера Ришара в последнем выпуске журнала Acta mathematic, которое г-н Пуанкаре подчеркивает в последнем выпуске Revue de Métaphysique et de Morale), на мой взгляд, заключается в следующем: Предполагается, что система {B} понятий B, которые должны использоваться для определения отдельных чисел, не более чем счетно бесконечен. Это предположение «должно быть ошибочным», потому что в противном случае мы получили бы неверную теорему: «континуум чисел имеет мощность ${ displaystyle aleph _ {0}}$".

Здесь Кантор ошибается. Сегодня мы знаем, что существует бесчисленное множество действительных чисел, не имеющих возможности конечного определения.

Эрнст Цермело комментирует аргумент Ричарда:

• Понятие «конечно определимость» не абсолютное, а относительное, всегда связанное с выбранным «языком». Вывод, согласно которому все конечно определимые объекты счетны, верен только в том случае, если используется одна и та же система символов; вопрос о том, может ли отдельный индивид подчиняться конечному определению, является недействительным, потому что любой вещи может быть присвоено произвольное имя.

Цермело указывает на причину провала парадокса Ричарда. Однако его последнее утверждение невозможно удовлетворить. Действительное число с бесконечно большим числом цифр, которое не определяется каким-либо «правилом», имеет бесконечно большой объем информации. Такой номер можно было идентифицировать только по короткому имени, если существовал только один или несколько из них. Если существует бесчисленное множество, а это и есть, идентификация невозможна.

Библиография

• Презентации на факультете естественных наук в Париже Жюля Ришара, 1-е место: Sur la surface des ondes de Fresnel ..., Chateauroux 1901 (126 страниц).
• Сюр ла философия математики, Готье-Виллар, Париж, 1903 г. (248 страниц).
• Sur une manière d'exposer la géométrie projective, L'Enseignement mathématique 7 (1905) 366-374.
• Принципы математики и проблемы ансамблей, Revue générale des Sciences pures et appliquées 16 (1905) 541-543.
• Принципы математики и проблема множеств (1905), английский перевод в Жан ван Хейенорт, «От Фреге до Геделя - Справочник по математической логике», 1879-1931. Harvard Univ. Press, 1967, с. 142-144.
• Lettre à Monsieur le rédacteur de la Revue Générale des Sciences, Acta Math. 30 (1906) 295-296.
• Sur les Principes de la Mécanique, L'Enseignement mathématique 8 (1906) 137-143.
• Considérations sur l'astronomie, sa place insuffisante dans les divers degrés de l'enseignement, L'Enseignement mathématique 8 (1906) 208-216.
• Sur la logique et la notion de nombre entier, L'Enseignement mathématique 9 (1907 ) 39-44.
• Sur un Paradoxe de la theory des ensembles et sur l'axiome Zermelo, L'Enseignement mathématique 9 (1907) 94-98.
• Sur la nature des axiomes de la géométrie, L'Enseignement mathématique 10 (1908 ) 60-65.
• Sur les translations, L'Enseignement mathématique 11 (1909) 98-101.
• Contre la géométrie expérimentale Revue de l’Enseignement des Sciences (1910) 150.

Смотрите также

• Доказательство невозможности

Рекомендации

• Дж. Итард: Ричард, Жюль Антуан, Словарь научной биографии, 11, Сыновья Чарльза Скрибнера, Нью-Йорк (1980) 413-414. [Похоже, это единственный первоисточник, используемый всеми другими биографами.]
• С. Готвальд: Ричард, Жюль Антуан в: Lexikon bedeutender Mathematiker, Harri Deutsch, Thun und Frankfurt (M) 1990.
• Дж. Дж. О'Коннор, Э. Ф. Робертсон: Архив истории математики MacTutor [1]

Литература о парадоксе Ричарда

• Х. Мешковский, В. Нильсон: Георг Кантор - Брифе, Sphinhubyringer, Берлин, 1991, стр. 446.
• В. Мюккенхайм: Die Mathematik des Unendlichen, Шейкер, Аахен 2006.
• А. Н. Уайтхед, Б. Рассел: Principia Mathematica я, Cambridge Univ. Press, Cambridge 1910, стр. 64. [2]
• Э. Цермело: Neuer Beweis für die Möglichkeit einer Wohlordnung, Математика. Анна. 65 (1908) стр. 107-128. [3]^{[постоянная мертвая ссылка ]}

внешняя ссылка

• [4]
• [5]