math4school.okis.ru

 

1858–1932

 

Основательное исследование понятия числа всегда должно проходить несколько философски. Для философии и математики эта задача является общей.

Готлоб Фреге

 

Как бы то ни было, в 90-е годы XIX в., через каких-нибудь шесть тысяч лет (!) после того, как египтяне и вавилоняне “пустили в оборот” целые числа, дроби и иррациональные числа, математики смогли наконец доказать, что 2+2 = 4.

Моррис Клайн

 

… Такая поздняя формулировка аксиом арифметики – своего рода исторический парадокс.

Д.В. Аносов

 

Джузеппе Пеано (28 августа 1858 – 24 апреля 1932) – итальянский математик. Внёс вклад в математическую логику, аксиоматику, философию математики. Автор более 200 книг и статей, он был одним из основателей математической логики и теории множеств.

Пеано родился и вырос на ферме в Спинетте. По окончанию лицея, поступил в Туринский университет в 1876 году, который окончил в 1880 году с отличием. Работал там же (с 1890 года – профессор), пионер и пропагандист символической логики. Исследовал основные понятия и утверждения анализа (вопросы о возможно более широких условиях существования решений дифференциальных уравнений, понятие производной и другие). Занимался формально-логическим обоснованием математики. Пеано и его ученики (Фано, Пиери), воплощая идеи Лейбница, изложил математику в точной символической форме, без слов. Пеано – один из создателей современной математической логики. Его логическая теория занимает промежуточное положение между алгебраическими системами Ч. Пирса и Э. Шредера, с одной стороны, и функциональным подходом Г. Фреге и П. Рассела, с другой. Пеано принадлежит одна из первых дедуктивных систем логики высказываний.

Важный вклад внес Пеано в арифметику, создав в 1891 году систему аксиом натурального ряда чисел, которая теперь называется системой аксиом Пеано, а также в геометрию, установив основы, на которых можно осуществить логическое построение геометрии Евклида.

Пеано первый построил непрерывную жорданову кривую, полностью заполняющую квадрат (кривая Пеано).

В линейной алгебре он первым дал аксиоматическое определение  n-мерного линейного пространства.

В 1887 году Пеано ввел очень общее понятие векторнозначных функций точечных множеств и определил для них понятие производной и интеграла, которые при соответствующих уточнениях могут рассматриваться теперь как понятие производной одной функции множества по другой и интеграла Лебега – Стилтьеса.

Пеано также создал международную искусственный язык Latina sine flexione, который был упрощенной форме латыни, над которым работал в 1903–1904 годах.

Более всего Пеано известен как автор стандартной аксиоматизации натуральной арифметики – арифметики Пеано.

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

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

Каждый, кто учился в школе, знает, что в геометрии есть аксиомы. Полный список аксиом геометрии довольно длинный и поэтому в деталях не изучается, и упоминаются лишь те аксиомы, которые необходимы с точки зрения методики обучения математике. А как обстоит дело с аксиомами арифметики? У многих с арифметикой ассоциируется прежде всего таблица умножения, но вряд ли кто-нибудь когда-нибудь доказывал в школьном курсе ее правильность. Можно даже задать такой вопрос: «Почему для натуральных чисел справедливы законы арифметических действий?» Так уж традиционно  повелось, что в школе не говорят о том, что арифметика тоже может быть построена на основе аксиом, подобно тому, как это делается в геометрии.

Почему же, имея перед собой  выдающийся  образец  дедуктивного  изложения  геометрии,  воплощенный еще  в «Началах»  Евклида,  в  котором,  несмотря  на  все  недостатки,  математики примерно  до  конца XVIII века  видели  идеал  математической  строгости,  они  не предприняли попыток логически обосновать арифметику?

Во-первых, фундаментальная причина связана с гносеологической проблемой обоснования математики. Вместо того чтобы, начав с целых и рациональных чисел, перейти к иррациональным и комплексным числам, а затем к алгебре и математическому  анализу,  так  уж  исторически  сложилось,  что  события  в последовательном обосновании математики развивались в обратном порядке. После доказательства в начале прошлого века теорем Гёделя о неполноте стало понятно, что все это было вовсе не случайно. Во-вторых, можно указать и на то, что до второй половины XIX века обоснование основных утверждений и алгоритмов арифметики натуральных чисел, а также правил арифметических действий можно было осуществить без ее аксиоматизации.

Математическая  строгость  характеризует  доказательство  с  его  формальной  стороны,  с точки зрения корректности определений, полноты посылок и независимости принятых  аксиом.  Значительную  роль  в  достижении  математической  строгости «основных законов арифметики» сыграл как раз Джузеппе Пеано.

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

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

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

В аксиоматике Пеано первоначальные понятия: множество натуральных чисел (обозначается N), единица (обозначается 1), следующее число (следующее для числа n обозначается n'). Пеано определил натуральный ряд чисел следующими пятью аксиомами:

1. В N существует натуральное число 1, называемое единицей.
2. За каждым натуральным числом n непосредственно следует однозначно определенное натуральное число n', называемое следующее за n.
3. Единица,  т.е.  натуральное  число 1, непосредственно  не  следует  ни  за каким натуральным числом.
4. Каждое  натуральное  число  непосредственно  следует  не  более  чем  за одним натуральным числом.
5. Любое подмножество М из множества N, содержащее единицу,  и вместе с каждым числом из М, содержащее следующее за ним число, совпадает с множеством N.

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

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

Оценивая усилия, потраченные в первые десятилетия XX века на аксиоматику,  выдающийся  немецкий  математик  и  философ  математики  Герман  Вейль  в сборнике  работ «О  философии  математики»  написал:

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

Джузеппе Пеано умер от сердечного приступа 24 апреля 1932 года в возрасте 73 лет.

Именем Пеано назван один из астероидов.

Имя Пеано носят следующие математические объекты:

• кривая Пеано;
• производная Пеано;
• арифметика Пеано;
• формула Тейлора – Пеано.

 

По материалам сайта univer.omsk.su, Википедии и лекции профессора В.А.Еровенко ««СИМВОЛ ФИЛОСОФСКОЙ ПРОСТОТЫ», ИЛИ ПОЧЕМУ ДЛЯ НАТУРАЛЬНЫХ ЧИСЕЛ СПРАВЕДЛИВЫ ЗАКОНЫ АРИФМЕТИКИ?».