Джованни Джироламо Саккери | |
---|---|
Рожденный | ( 1667-09-05 )5 сентября 1667 г. |
Умер | 25 октября 1733 г. (1733-10-25)(66 лет) |
Национальность | итальянский |
Альма-матер | Иезуитский колледж Брера, Милан |
Известный | Неевклидова геометрия Четырехугольник Саккери Теорема Саккери – Лежандра |
Родители) | Джованни Феличе Саккери Мария Саккери |
Научная карьера | |
Поля | Математика Геометрия Логика |
Учреждения | Университет Турина Университет Павии |
Известные студенты | Луиджи Гвидо Гранди [1] |
Джованни Джироламо Саккери ( итальянское произношение: [dʒoˈvanni dʒiˈrɔːlamo sakˈkɛːri] ; 5 сентября 1667 — 25 октября 1733) был итальянским священником -иезуитом , философом-схоластом и математиком . Он считается предшественником неевклидовой геометрии . [2] [3]
Сын юриста , Саккери родился в Сан-Ремо , Генуя (ныне Италия) 5 сентября 1667 года. [4] С юных лет он проявлял чрезвычайно раннее развитие и дух исследования. [2] Он вступил в иезуитский новициат в 1685 году. Он изучал философию и теологию в иезуитском колледже Брера в Милане. [5]
Его учителем математики в колледже Брера был Томмазо Чева , который познакомил его со своим братом Джованни . [4] Чева убедил Саккери посвятить себя математическим исследованиям и стал наставником молодого человека . Саккери находился в тесном научном общении с обоими братьями. Он использовал гениальные методы Чевы в своей первой опубликованной работе 1693 года, решениях шести геометрических задач, предложенных сицилийским математиком Руджеро Вентимилья (1670-1698). [6]
Саккери был рукоположен в священники в марте 1694 года. Он преподавал философию в Туринском университете с 1694 по 1697 год и философию, теологию и математику в Павийском университете с 1697 года до своей смерти. [3] Он опубликовал несколько работ, включая Quaesita geometrica (1693), Logica demonstrativa (1697) и Neo-statica (1708). Саккери умер в Милане 25 октября 1733 года. [4]
Logica demonstrativa , переизданная в Турине в 1701 году и в Кельне в 1735 году, дает Саккери право на выдающееся место в истории современной логики. [7] По словам Томаса Хита, « Саккери полностью предвосхитил представление Милля об истинном различии между реальными и номинальными определениями». [8]
Сегодня Саккери в первую очередь известен своей последней публикацией, опубликованной в 1733 году незадолго до его смерти. В настоящее время считающаяся ранним исследованием неевклидовой геометрии , работа Euclides ab omni naevo vindicatus ( Евклид, свободный от всякого изъяна ) томилась в безвестности, пока не была заново открыта Эудженио Бельтрами в середине 19 века. [9]
Целью работы Саккери было якобы установить справедливость Евклида посредством доказательства до абсурда любой альтернативы постулату параллельности Евклида . Чтобы сделать это, он предположил, что постулат параллельности был ложным, и попытался вывести противоречие. [3]
Поскольку постулат Евклида эквивалентен утверждению, что сумма внутренних углов треугольника равна 180°, он рассмотрел обе гипотезы: о том, что сумма углов больше или меньше 180°.
Первый привел к выводу, что прямые линии конечны, что противоречит второму постулату Евклида. Поэтому Саккери правильно отверг его. Однако этот принцип теперь принят в качестве основы эллиптической геометрии , где отвергаются как второй, так и пятый постулаты.
Вторую возможность оказалось сложнее опровергнуть. Фактически он не смог вывести логическое противоречие и вместо этого вывел много неинтуитивных результатов; например, что треугольники имеют максимальную конечную площадь и что существует абсолютная единица длины. В конце концов он пришел к выводу, что: «гипотеза острого угла абсолютно ложна; потому что она противоречит природе прямых линий». Сегодня его результаты — это теоремы гиперболической геометрии . [10]
Есть незначительный спор о том, действительно ли Саккери имел в виду, что, опубликовав свою работу в последний год своей жизни, он был чрезвычайно близок к открытию неевклидовой геометрии и был логиком. Некоторые полагают, что Саккери сделал такой вывод только для того, чтобы избежать критики, которая могла бы последовать из-за, казалось бы, нелогичных аспектов гиперболической геометрии.
Один из инструментов, который Саккери разработал в своей работе (теперь называемый четырехугольником Саккери ), имеет прецедент в работе персидского ученого-энциклопедиста Омара Хайяма XI века « Обсуждение трудностей у Евклида» ( Risâla fî sharh mâ ashkala min musâdarât Kitâb 'Uglîdis ). Однако Хайям не использовал четырехугольник в значительной степени, тогда как Саккери глубоко исследовал его последствия. [11]