Джон Пенн Мэйберри (18 ноября 1939 - 19 августа 2016) был американским философом-математиком и создателем отличительной аристотелевской философии математики, которую он выразил в своей книге «Основы математики в теории множеств» . [1] После получения докторской степени. в Иллинойсе под руководством Гайси Такеути он занял в 1966 году должность на математическом факультете Бристольского университета . Он оставался там до выхода на пенсию в 2004 году в качестве читателя по математике.
Философская работа
С одной стороны, философия Мэйберри отвергает платоновскую традицию, которая считает математику трансцендентальной наукой, занимающейся открытием истин о нематериальных, но понятных, объективных сущностях, как метафизически тщеславных. Эта позиция отличает его от того, что, вероятно, является точкой зрения «молчаливого большинства» среди практикующих математиков. Роджер Пенроуз красноречиво выражает типичную платоническую позицию.
- «Натуральные числа существовали до того, как на Земле появились люди или любые другие существа, и они останутся после того, как вся жизнь погибнет. Всегда было так, что каждое натуральное число представляет собой сумму четырех квадратов, и не нужно было ждать, пока Лагранж вызовет этот факт » [2].
С другой стороны, Мэйберри также категорически отвергает любое понимание математики, испорченное, как он думает, операционализмом. Он пишет:
- «Я считаю операционализм в математике доктриной, согласно которой основы математики должны быть открыты в деятельности (фактической или идеализированной) математиков, когда они считают, вычисляют, записывают доказательства, изобретают символы, рисуют диаграммы и так далее. …… Рассмотрению человеческой деятельности и способностей, реальных или идеализированных, нет места в основах математики, и мы должны приложить все усилия, чтобы исключить их из элементов, принципов и методов, на которых мы намерены основывать нашу математику ». [3]
Самая архетипичная и широко распространенная из таких операционалистских доктрин состоит в том, что натуральные числа могут быть построены, начиная с 1, прибавляя 1, чтобы получить 2, снова прибавляя 1, чтобы получить 3, и продолжаться бесконечно. Это выражается обозначением N = 1, 2, 3 ……. где точки обозначают неопределенное повторение «прибавления 1». Принимая эти точки многоточия, человек соглашается с разборчивостью неопределенной итерации. Мэйберри не считает, что определение этого типа достаточно ясно и в достаточной мере отделено от наивных и, возможно, ошибочных интуитивных представлений о природе времени, чтобы гарантировать его включение в математику без дальнейшего обоснования. Он пишет:
- «Когда система натуральных чисел берется в качестве первичных данных, что-то просто« данное », естественно рассматривать принципы доказательства посредством математической индукции и определения посредством рекурсии по этой системе как« данные ». … .. Натуральные числа, таким образом, рассматриваются как то, что мы получаем в процессе отсчета: 1,2… .. где точки многоточия «… ..» как-то говорят сами за себя - в конце концов, мы знаем как продолжать подсчет, как бы далеко мы ни зашли. Но в этих точках многоточия заключается вся загадка понятия натурального числа! .... Не следует также рассматривать операции подсчета или вычисления в качестве первичных данных: их следует анализировать с точки зрения более фундаментальных понятий. Таким образом, мы вынуждены отказаться от операционализма, который разделяют все антиканторианские школы.
- Для нас, современных, числа берут свое начало от того, что мы можем с ними делать, а именно считать и вычислять: но греческие «числа» (arithmoi) были самостоятельными объектами с простой понятной природой. Наши натуральные числа - это вещи, которые мы можем (в принципе) построить (считая до них): греческие числа просто «там», так сказать. .......
- Я убежден, что эта операционалистская концепция натурального числа является центральной ошибкой, лежащей в основе всех наших размышлений об основах математики. Это не ограничивается еретиками, но разделяется ортодоксальным канторианским большинством ». [4]
Его позиция ставит его в противоречие не только с педагогической практикой последних нескольких веков, но и с традициями, уходящими корнями в древность. В Определении 4 Книги V своих Элементов Евклид определяет две величины одного типа, A и B, как «имеющие отношение друг к другу» следующим образом:
- «Говорят, что величины имеют отношение друг к другу, и при умножении они могут превосходить друг друга» [5]
Другими словами, если повторное добавление одного из них, скажем A, к самому себе приводит к величине, превышающей другое, скажем B, то есть для некоторого натурального числа n, nA> B. И наоборот, A и B не имеют отношение друг к другу, если бесконечно повторяющееся добавление одного из них к самому себе никогда не приводит к величине, превышающей другое. В Книге V Евклид развивает общую теорию соотношений, а в Книге VI демонстрирует силу концепции отношения как для значительного упрощения выводов, приведенных в Книгах I - IV, так и для расширения области применения некоторых теорем Книг I – IV. Особенно примечательными примерами являются Книга III, предложение 35, где сразу доступно гораздо более простое доказательство с использованием подобных треугольников, и книга VI, предложение 31, где он расширяет теорему Пифагора с квадратов на общие аналогичные фигуры.
В Книге VII Евклид вводит в качестве другого типа величины наряду с его геометрическими величинами линии, угла и фигуры понятие «арифмос». Это следует понимать как «множество единиц», где единица - это «то, что мы называем чем-то одним». С некоторыми оговорками относительно статуса синглетонов и пустого множества, греческое понятие «арифмос», таким образом, по сути является современным понятием «множество». Мэйберри отмечает, что его поразила сила откровения, что значение общего понятия 5 Евклида - «целое больше, чем часть» - в применении к арифмои состоит в том, что арифмос не может быть конгруэнтным, когда это слово понимается следующим образом. Хит, как «может быть помещен с точной подгонкой» [6] к любой собственной части, или, другими словами, что набор конечен в современном смысле, когда не существует соответствия 1-1 между набором и собственное подмножество самого себя. Тот факт, что греческая арифметика, и в частности книги Евклида VII-IX, на самом деле является изучением конечных множеств, был затемнен повсеместным переводом «арифмоса» как «число» и преобразованием понятия числа из его первоначального «арифмоса». «Означает отношение», которое произошло в 17 веке. Преобразование смысла было ясно выражено Ньютоном в его лекциях.
- «Под числом я имею в виду не столько множество единиц, сколько абстрактное Отношение любой Величины к другой Величине того же вида, которое мы принимаем за Единство» [7]
Убеждения Мэйберри относительно истинной исторической последовательности событий в развитии ключевых математических концепций занимают центральное место в его философской ориентации. К ним его привело чтение книги Якоба Клейна «Греческая математическая мысль и происхождение алгебры». [8] и мемуары Ричарда Дедекинда «Was sind und was sollen die Zahlen». [9]
С середины 17-го до 19-го века натуральные числа и понятие неограниченного повторения, на котором они основывались, приобрели фундаментальный статус в математике как с прагматической, так и с философской точек зрения. С философской стороны Кант классифицировал арифметические предложения как синтетические априорные знания и, параллельно с аналогичным анализом геометрических теорем, который он проследил до нашей интуиции пространства, проследил их неотразимую природу до нашей интуиции времени. Общая позиция Канта в отношении арифметики получила одобрение величайших математиков-практиков XIX века. Даже Гаусс, хотя и не согласен с позицией Канта о статусе геометрии, поддержал его позицию по арифметике.
- «Я все больше прихожу к убеждению, что необходимость нашей геометрии не может быть доказана, по крайней мере, человеческим пониманием для человеческого понимания. Возможно, в другой жизни мы придем к другим взглядам на природу пространства, которые доступны нам в настоящее время. До тех пор нельзя ставить геометрию в один ряд с арифметикой, которая стоит априори, а скорее в один ряд, скажем, с механикой ». [10]
Почти столетие спустя Пуанкаре пишет:
- «В этой области арифметики мы можем думать, что очень далеки от анализа бесконечно малых, но идея математической бесконечности уже играет преобладающую роль, и без нее не было бы науки вообще, потому что не было бы ничего общего. …… Таким образом, мы не можем избежать вывода о том, что правило рассуждений путем повторения не сводится к принципу противоречия. … Это правило, недоступное аналитическому доказательству и эксперименту, является точным типом априорной синтетической интуиции ». [11]
Из значительных фигур XIX века только Дедекинд, по-видимому, выступал против кантовского консенсуса. В «Was sind und was sollen die Zahlen» он холодно пишет:
- «Говоря об арифметике (алгебре, анализе) как части логики, я имею в виду, что считаю понятие числа полностью независимым от понятий или интуитивных представлений о пространстве и времени». [12]
Дедекинд , которым Мэйберри очень восхищался, показал, что натуральные числа могут быть установлены без какой-либо зависимости от кантовской интуиции времени или от бесконечно повторяющихся операций. Однако он сделал это на основе явного принятия канторовской аксиомы бесконечности, которая, как указывает Мэйберри, лучше всего понимается как простое противоречие с общим понятием 5 Евклида в применении к арифмоусам. Однако работа Дедекинда не привела к мнению, что натуральные числа и итерационные процессы имеют особый фундаментальный статус, чтобы потерять доверие среди большинства математиков. Движение интуиционистов , разделяя с Мэйберри отрицание платонистского понимания смысла математики, прибегло к операционалистскому пониманию предмета, что привело к принятию бесконечно длительных итеративных процессов в самое сердце их мышления. Формалистское движение, следуя программе Гильберта по сохранению математических плодов канторовской аксиомы бесконечности посредством доказательств финитной непротиворечивости, аналогичным образом в самих определениях формальных систем и установлении их свойств, присвоило особый статус неопределенной итерации и связанным с ней определениям посредством рекурсии. и доказательства по индукции.
Позиция Мэйберри состоит в том, что все это, прямо из Книги V Евклида, представляет собой отклонение от истинного духа математики, примером которого является Евклид Книги I-IV. Основная цель его книги - объяснить его позицию и показать, что она не разрушает существенное содержание или современную математическую практику, но в его рекомендации более четкого аристотелевского понимания того, что такое математика, и стандарта строгости. В соответствии с его более требовательным пониманием значения, он следует традиции, инициированной Кантором, по восстановлению смысла в математике после трех столетий формализма. Однако в глазах Мэйберри современная платонически вдохновленная доктрина, которая утверждает, что, скажем, надлежащие классы объективно существуют, является таким же отходом от здравого смысла и вероятной правдивости, как, скажем, формалистически вдохновленная доктрина начала 19-го века, « Принцип эквивалентности» Пикока. Постоянные формы ». [13]
Положительные философские взгляды Мэйберри проистекают из его решительной приверженности небольшому количеству философских доктрин, частично вдохновленных Аристотелем, а частично размышлениями о почти двух с половиной тысячелетиях математического опыта, особенно в 19 веке.
Он является аристотелевским реалистом и полностью согласен с мнением Аристотеля о том, что математика, и, в частности, изучение арифметики, является естественной наукой, занимающей свое место рядом с другими научными предметами особого интереса, такими как энтомология или орнитология, и имеющими дело с объективно существующими предметами этого мира. Аристотель пишет:
- «Универсальные утверждения в математике не касаются отделимых сущностей, находящихся за пределами величин и арифм. Они об этих вещах, но не как о таких вещах, которые имеют величину или делимы ".
(Аристотель имеет в виду, что в геометрии каждый рассматривает конкретные размеры конкретных объектов как случайные и не относящиеся к геометрии, а в арифметике аналогично игнорируется тот факт, что конкретные единицы - люди, камешки и т. Д. - на самом деле могут быть делимыми. .)
и в другом месте:
- «Каждая наука занимается своей собственной областью, так что наука о здоровых - это то, что изучает что-то как здоровое, а наука о человеке - это то, что изучает что-то как человек. То же самое и с геометрией. Математические науки не собираются рассматривать воспринимаемые сущности в качестве своей области только потому, что предметы, которыми они являются, обладают случайной особенностью быть воспринимаемыми (хотя, конечно, они не изучаются как воспринимаемые). Но, с другой стороны, они также не возьмут в качестве своей области некоторые другие сущности, отделенные от воспринимаемых ». [14]
Наука, которой занимается Мэйберри, - это арифметика, понимаемая как в очищенной версии того смысла, который Евклид дает слову в книгах VII - IX, а также, как он утверждает, в том смысле, который дал этому слову Кантор. Первой из основных позиций Мэйберри является согласие с Аристотелем в том, что арифметик изучает вещи и определенные множества вещей как единицы и арифмы, по существу, аналогично изучению энтомологом вещей и определенных множеств вещей как насекомых и колоний насекомых. Он принимает лапидарное определение «единицы» Евклида, возражая только против перевода Хита «εκαστον των οντων» как «каждая из вещей, которые существуют» как философски перегруженные. »В определении Евклида -« Арифмос - это множество, состоящее из единиц »- словом« определенный ». Под этим он подразумевает, что арифмоиды имеют определенные объективно существующие границы или пределы - не в том смысле, что арифмоиды ограничены по размеру или поддаются любой операционной процедуре, такой как отсчет, или включают в себя именно те вещи, для которых выполняется какое-либо лингвистически сформулированное условие. но только в том смысле, что для любой индивидуальной вещи верно то, что она либо находится в арифмосе, либо нет. В частности, соответствие Общему понятию 5 (целое больше, чем часть) не подразумевается в самом понятии «арифмос», а просто суждение о том, что все арифмои обладают этим свойством. Для множественности, определяемой соответствием какому-либо условию или соответствию некоторому нарицательному существительному - например, «арифмои с более чем тремя единицами» или «лошади» - Мэйберри использует аристотелевское слово «виды». Вид существует только потому, что мы можем его представить: это не объективная вещь в мире, а мысль в наших головах, тогда как вещи, которые попадают в вид, могут совпадать, а могут и не совпадать с арифмосом. Аналогичные замечания применимы к другим концепциям, таким как «свойство» - например, бытие и порядковый номер или «глобальная функция», например, к операторам Power Set и Union. Мэйберри пишет:
- «Существенное различие между наборами и видами состоит в том, что наборы существуют, а виды - нет. Под этим я подразумеваю, что виды - это не объекты: это фикции или виртуальные объекты ».
- "Но важно помнить, что в конечном итоге - и все разговоры о глобальных функциях различных видов вопреки обратному - не существует таких вещей, как глобальные функции : и когда мы говорим о таких функциях, мы, в конечном счете, говорим о наших собственные условные обозначения для обозначения множеств ". [15]
Вторая из основных философских доктрин Мэйберри заключается в том, что вещи и арифмы вещей объективно существуют и являются частью ткани внешней реальности. Онтологические характеристики арифмоса в точности соответствуют его составляющим единицам. Однако задача математика не состоит в том, чтобы исследовать или размышлять о том, достаточно ли четко индивидуализированы объекты, относящиеся к определенному виду, такие как облака в небе, оттенки красного, человеческие эмоциональные состояния, люди 22-го века, чтобы составить единицы возможных arithmoi или границы множественности вещей - например, должны ли мы считать кентавров и русалок попадающими в вид «человеческий род»? точно ли определяется, когда заканчиваются оттенки красного и начинаются оттенки фиолетового? - достаточно четко очерчены, чтобы составлять арифм. Работа арифметика может начаться с простого предположения, что существуют объективные четко индивидуализированные вещи, которые он может принять за единицы, и определенные множества таких вещей, которые он может принять за арифмои. Мэйберри пишет:
- «В представлении Аристотеля о математических числах мы имеем лучший инструмент, из когда-либо созданных для объяснения фактов теоретической арифметики. В арифметических рассуждениях математик рассматривает вещи наиболее абстрактным и общим мыслимым образом, а именно лишь постольку, поскольку они подчиняются законам тождества и различия. То, что есть вещи, подчиняющиеся таким законам, он просто считает само собой разумеющимся ». [16]
и чуть позже:
- «Однако числа в первоначальном смысле - арифмои - множественности, состоящие из единиц - эти вещи не похожи на« натуральные числа », простые выдумки разума, а, напротив, являются подлинными обитателями мира, независимыми от людей и их обитателей. умственная деятельность; это то, что мы обязаны признать, если хотим осмыслить весь наш математический опыт ». [17]
Третья из основных философских доктрин Мэйберри состоит в том, что сделанные определения, определенные свойства и аргументы, построенные с использованием количественных оценок «Для всех» и «Существуют», понятны как утверждения объективного факта только в том случае, если объем каждого количественного показателя ограничен одним определенный арифмос. Так, например, если мы имеем дело с девушками в качестве единиц и знаем, как сравнивать двух девушек по признаку «умная», мы можем разумно сказать «Джоан самая умная девочка в своем классе», но не «Джоан - самая умная девушка в своем классе». Самая умная девочка », так как последнее утверждение имеет целью дать количественную оценку всему, что относится к виду« девочка ». Эта позиция дает ему дополнительную причину отвергать основополагающие претензии двух классических аксиоматических систем первого порядка - арифметики Пеано и теории множеств Цермело-Френкеля. Он не только возражает против операционализма, присущего самой конструкции таких формальных систем, но также отвергает понятность свободного использования неограниченных кванторов при формировании предикатов в схемах аксиом индукции и замещения.
Четвертая основная доктрина Мэйберри связана с его третьей. Он утверждает, что, имея дело с единицами и арифмоидами, то есть с вещами, мы можем беспроблемно использовать классическую логику, тогда как при работе с мыслями, такими как виды, глобальные функции, общие свойства конструкций и т. Д., Соответствующая логика является интуиционистской. В частности, если мы знаем, что предположение «Все члены арифмоса a обладают свойством P» подразумевает абсурд, тогда мы можем законно вывести «существует некоторый член а, x, для которого P (x) не выполняется». Однако, если мы делаем утверждение, используя квантор для вида, например, «существует нечто, обладающее P» или «P имеет значение для всех вещей», мы больше не сообщаем об объективном факте, который должен быть либо так, либо нет. Подтверждающий такое утверждение следует понимать как утверждающий, что он имеет в виду его обоснование, т. Е. В случае универсального квантора, основания полагать, что данная любая мыслимая вещь P имеет его, или в случае экзистенциального квантора, он знает пример вида, для которого имеет место P. Поскольку утверждения, включающие неограниченные кванторы, должны пониматься субъективно, ясно, что тогда принцип исключенного среднего просто недействителен. Например, если значение фразы «Для всех вещей P имеет место» означает «Я имею в виду общую конструкцию, чтобы произвести для каждой вещи аргумент, который P имеет в отношении этой вещи», а значение «существует вещь, для которой P не имеет значения». hold "- это" Я имею в виду конструкцию, производящую вещь, для которой P не удерживается ". тогда я не могу обязательно утверждать, что дизъюнкция истинна, так как я могу, например, вообще не иметь в виду никаких конструкций.По этой теме Мэйберри пишет:
- «Какие логические принципы должны определять глобальную количественную оценку? Это сложный вопрос, и я не уверен, что смогу ответить на него полностью. Но я предлагаю принять частичный ответ, а именно принцип Брауэра:
- (i) Традиционная (то есть то, что Брауэр называет «классической») логика - это логика конечных областей. В частности, математические законы количественной оценки применимы только тогда, когда области количественной оценки конечны. [«Конечный» здесь используется в смысле «определенный» или «ограниченный», который Мэйберри понимает как определяющую характеристику арифм.]
- (ii) Утверждениям, которые требуют глобальной количественной оценки для их выражения, нельзя присвоить общепринятые значения истинности, истинные или ложные. Их можно только классифицировать как оправданные или необоснованные.
- .....
- Тогда в соответствии с принципом Брауэра утверждение «Для всех объектов x в S (x)» не является обычным («классическим») утверждением с определенным значением истинности. Это не правда или ложь, но оправдано или неоправданно.
- Сказать, что такое предложение оправдано, значит сказать, что у нас есть основания утверждать, что любое предложение формы (t) истинно, где t - любое выражение, которое обозначает или может обозначать объект. С другой стороны, сказать, что утверждение необоснованно, значит просто сказать, что у нас нет таких оснований; и это не то же самое, что сказать, что у нас есть основания отрицать это ». [18]
Пятая основная доктрина Мэйберри заключается в том, что, в широком смысле по аналогии с постулатами Евклида для геометрии, постулаты для арифметики могут быть сформулированы, что устраняет дефект в элементах, который, вопреки ожиданиям, созданным структурой Общие понятия и постулаты геометрии, действительно не содержат таких постулатов. Мэйберри выполняет эту программу в главе 4 своей книги. Его постулаты следуют в некоторой степени Евклиду по форме, но по содержанию аксиоматические идеи о множествах, вышедшие из XIX и начала XX веков. В целом аналогичные постулатам Евклида о построении круга по заданной точке и линии или построении уникальной прямой по заданным двум точкам являются постулаты, связанные с Союзом, Набором мощности и Декартовым произведением, которые постулируют глобальные конструкции, производящие новые арифмои из одного. или более данных. Однако несколько иные его постулаты о замещении и понимании. Они не излагают отдельные конструкции, которые просто необходимо понять, а скорее содержат утверждения обо всех возможных конструкциях и всех мыслимых свойствах. В некотором смысле их можно понять как подтверждение существования общих мостов между мыслями и вещами. Однако оба могут, подобно постулатам о конкретных конструкциях, пониматься как «принципы конечности», подтверждающие существование новых арифм. Таким образом, «исправленный» Евклид Мэйберри будет поддерживать родственные дисциплины - геометрию и арифметику с общими понятиями, применимые к обоим, дополненные двумя наборами постулатов, по одному для каждой дисциплины. Действительно, поскольку геометрия действительно полагается на понятие арифмоса - она делает это даже при определении треугольников, четырехугольников, пятиугольников и т. Д., Но более строго в некоторых предложениях, например. Книга VI, предложение 31, в которой содержатся утверждения об общих многоугольниках - «исправленный» Евклид поставил изучение Арифмона перед изучением геометрии.
Последним элементом основной философии Мэйберри является его вера в то, что в неспособности Евклида признать силу Общего понятия 5 - в применении к арифмои была упущена великая историческая возможность, и, позволив себе определение путем итераций, была сделана огромная ошибка, последствия которой разветвились в истории математики. Обладая должным пониманием Общего понятия 5 и избегая повторения, «исправленный» Евклид изучал бы те части математики, которые имеют отношение к конечному - в дополнение к фактическому скромному содержанию Книг 7-9, теории натуральных чисел, конечной комбинаторика, теория конечных групп и поля и в более общем плане изучение конечных структур. Мэйберри называет эту тему евклидовой арифметикой и посвящает значительную часть своей книги развитию ее основ. Он, в частности, озабочен установлением того, в какой степени доказательство посредством индукции и определения посредством рекурсии вообще оправдано. Он показывает, что, в отличие от евклидовой теории арифметики, являющейся незначительной переработкой современной теории натуральных чисел, на самом деле никакое жизнеспособное понятие натуральных чисел не может быть установлено в евклидовой арифметике. Дополняя свой взгляд на евклидову арифметику, Мэйберри придерживается точки зрения, что подобно тому, как альтернативная геометрия была создана путем отрицания аксиомы параллелей Евклида, альтернативная арифметика создается путем отрицания общего понятия 5 и подтверждения существования по крайней мере одного арифмоса, для которого все может быть выполнено. поставить в соответствие 1-1 с деталью. Эта теория, которую Мэйберри предпочел бы назвать канторианской арифметикой, конечно же, является современной теорией множеств, которая показала себя способной (возможно) охватить всю математику и, в частности, геометрию, которая в евклидовом устроении приверженности Общему понятию 5 , является отдельной сестринской дисциплиной арифметики.
Философия Мэйберри стремится навязать новый стандарт, проистекающий из его онтологических и семантических убеждений, ясности и строгости в математике, который должен быть достигнут в первую очередь посредством программы систематического отделения евклидовой математики от канторианской. В евклидовом случае этот стандарт потребовал бы от специалистов, занимающихся геометрией и арифметикой, воздерживаться от всех обращений к итерационным процессам. Вследствие этого наиболее непосредственная задача в геометрии состоит в том, чтобы «исправить» Евклида, установив теоремы из Книги VI на основе методов и техник из Книг I-IV, избегая использования концепции отношения, введенной в Книге V. Для Арифметики соответствующие Задача состоит в том, чтобы установить результаты Книг VII-IX, не прибегая к той итерационной процедуре, которую Евклид допускает при определении умножения. (Книга VII, определение 15.) Для канторианской арифметики главной задачей было бы показать, что большая часть бесконечной математики - дисциплин, так или иначе вытекающих из исчисления - не требует неограниченных кванторов и, следовательно, что экземпляры Схема замены аксиом Цермело-Френкеля для теории множеств, включающая такие кванторы, не только запрещена общей философией Мэйберри, но и в любом случае технически избыточна.
Рекомендации
- ^ Мейберри, JP (2001). Основы математики в теории множеств . Издательство Кембриджского университета .
- ^ Пенроуз, Роджер (1994). Тени разума . Oxford University Press, стр. 413.
- ^ Мэйберри, JP (2001). Основы математики в теории множеств . п. 15.
- ^ Мэйберри, JP (2001). Основы математики в теории множеств . Издательство Кембриджского университета, стр. Xvi - xvii.
- ^ Хит, Томас L (1908). Евклид Тринадцать книг стихий . Dover Том II стр. 114.
- ^ Хит, Томас Л. (1908). Евклид Тринадцать книг стихий . Том 1 с. 224-5.
- ^ Ньютон, Исаак (1720). Универсальная арифметика (Тр. Рафсон) . J. Senex стр. 2.
- ^ Кляйн, Джейкоб (1966). Греческая математическая мысль и происхождение алгебры . Дувр .
- ^ Дедекинд, Ричард (1893). Was sind und was sollen die Zahlen . Фридрих Бевиг и сын, Брауншвейг.
- ^ Гаусс, Карл Фридрих . Письмо Ольберсу . 28 апреля 1817 г.
- ^ Пуанкаре, Анри (1905). Науки и гипотезы . Издательство Walter Scott Publishing Company, Нью-Йорк Глава 1, с. 11–12.
- ^ Дедекинд, Ричард (1893). Was sind und was sollen die Zahlen . Предисловие к первому изданию.
- ^ Ханкин, Томас L (1980). Сэр Уильям Роуэн Гамильтон . Издательство Университета Джона Хопкинса с. 250.
- ^ Аристотель (Тр. Лоусон-Танкред) (1998). Метафизика Mu 3, 1077b, 1078a . Пингвин.
- ^ Мэйберри, JP (2001). Основы математики в теории множеств . Издательство Кембриджского университета, стр. 89 и стр. 83.
- ^ Мэйберри, JP (2001). Основы математики в теории множеств . Издательство Кембриджского университета стр. 44.
- ^ Мэйберри, JP (2001). Основы математики в теории множеств . Издательство Кембриджского университета стр. 60.
- ^ Мэйберри, JP (2001). Основы математики в теории множеств . Издательство Кембриджского университета стр. 89.