Бесконечность

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

Бесконечность — это нечто безграничное, бесконечное или большее, чем любое натуральное число . Его часто обозначают символом бесконечности. .

Со времен древних греков философская природа бесконечности была предметом многочисленных дискуссий среди философов. В 17 веке, с появлением символа бесконечности. [1] и исчисление бесконечно малых , математики начали работать с бесконечными рядами и тем, что некоторые математики (в том числе Лопиталь и Бернулли ) [2] рассматривались как бесконечно малые величины, но бесконечность продолжала ассоциироваться с бесконечными процессами. Пока математики боролись за основы исчисления , оставалось неясным, можно ли рассматривать бесконечность как число или величину , и если да, то как это можно сделать. [1] В конце XIX века Георг Кантор расширил математическое исследование бесконечности, изучая бесконечные множества и бесконечные числа , показав, что они могут быть разных размеров. [1] [3] Например, если линию рассматривать как совокупность всех ее точек, их бесконечное число (т. е. мощность линии ) больше числа целых чисел . [4] В таком использовании бесконечность — это математическое понятие, и бесконечные математические объекты можно изучать, манипулировать ими и использовать так же, как и любой другой математический объект.

Математическая концепция бесконечности уточняет и расширяет старую философскую концепцию, в частности, вводя бесконечное множество бесконечных множеств различных размеров. Среди аксиом теории множеств Цермело–Френкеля , на которых может быть развита большая часть современной математики, есть аксиома бесконечности , гарантирующая существование бесконечных множеств. [1] Математическая концепция бесконечности и манипуляция бесконечными множествами широко используются в математике, даже в таких областях, как комбинаторика , которые, казалось бы, не имеют к ним никакого отношения. Например, доказательство Уайлсом Великой теоремы Ферма неявно опирается на существование вселенных Гротендика , очень больших бесконечных множеств, [5] для решения давней проблемы, сформулированной в терминах элементарной арифметики .

В физике и космологии остается вопрос о том, является ли Вселенная пространственно бесконечной, открытым.

История [ править ]

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

Ранний греческий [ править ]

Самая ранняя зарегистрированная идея бесконечности в Греции, возможно, принадлежала Анаксимандру (ок. 610 – ок. 546 до н.э.), греческому философу -досократику . Он использовал слово апейрон , что означает «неограниченный», «неопределенный» и, возможно, можно перевести как «бесконечный». [1] [6]

Аристотель (350 г. до н.э.) отличал потенциальную бесконечность от фактической бесконечности , которую он считал невозможной из-за различных парадоксов, которые она, казалось, порождала. [7] Утверждалось, что, в соответствии с этой точкой зрения, эллинистические греки испытывали «ужас перед бесконечностью». [8] [9] что, например, объяснило бы, почему Евклид (ок. 300 г. до н.э.) не говорил, что существует бесконечное число простых чисел, а скорее говорил: «Простые числа больше, чем любое заданное множество простых чисел». [10] Утверждалось также, что, доказав бесконечность простых чисел , Евклид «был первым, кто преодолел ужас бесконечности». [11] Аналогичные разногласия ведутся и относительно постулата Евклида о параллельности , который иногда переводят:

Если прямая, пересекающая две [другие] прямые, образует на одной и той же стороне внутренние углы [сама по себе, сумма которых] меньше двух прямых углов, то две [другие] прямые линии, доведенные до бесконечности, встречаются на этой стороне [исходной прямой], что [сумма внутренних углов] меньше двух прямых углов. [12]

Другие переводчики, однако, предпочитают перевод «две прямые линии, если производить их бесконечно…». [13] таким образом избегая предположения, что Евклиду было комфортно с понятием бесконечности. Наконец, утверждалось, что размышления о бесконечности не только не вызывают «ужаса бесконечности», но лежат в основе всей ранней греческой философии и что «потенциальная бесконечность» Аристотеля представляет собой отклонение от общей тенденции этого периода. [14]

черепаха : Ахилл и Зенон

Зенон Элейский ( ок. 495 – ок. 430 до н. э.) не выдвигал никаких взглядов относительно бесконечности. Тем не менее, его парадоксы, [15] особенно «Ахиллес и черепаха» были важным вкладом, поскольку они ясно показали неадекватность популярных представлений. описал эти парадоксы Бертран Рассел как «неизмеримо тонкие и глубокие». [16]

Ахиллес мчится на черепахе, давая последней фору.

  • Шаг №1: Ахиллес бежит к отправной точке черепахи, а черепаха идет вперед.
  • Шаг № 2: Ахиллес продвигается туда, где черепаха была в конце шага № 1, а черепаха идет еще дальше.
  • Шаг №3: Ахиллес продвигается туда, где черепаха была в конце шага №2, а черепаха идет еще дальше.
  • Шаг №4: Ахиллес продвигается туда, где черепаха была в конце шага №3, а черепаха идет еще дальше.

И т. д.

По-видимому, Ахиллес никогда не догоняет черепаху, так как сколько бы шагов он ни сделал, черепаха остается впереди него.

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

Наконец, в 1821 году Огюстен-Луи Коши дал удовлетворительное определение предела и доказал, что для 0 < x < 1 [17]

Предположим, что Ахиллес бежит со скоростью 10 метров в секунду, черепаха идет со скоростью 0,1 метра в секунду, а последняя имеет фору в 100 метров. Продолжительность погони соответствует шаблону Коши с a = 10 секундами и x = 0,01 . Ахиллес догоняет черепаху; это занимает его

Ранний Индийский [ править ]

Джайнский математический текст Сурья Праджнапти (ок. 4–3 века до н. э.) делит все числа на три набора: перечислимые , неисчислимые и бесконечные. Каждый из них подразделялся на три порядка: [18]

  • Перечислимые: низший, промежуточный и высший.
  • Бесчисленные: почти бесчисленные, поистине бесчисленные и бесчисленно бесчисленные.
  • Бесконечное: почти бесконечное, истинно бесконечное, бесконечно бесконечное.

17 век [ править ]

В 17 веке европейские математики начали систематически использовать бесконечные числа и бесконечные выражения. В 1655 году Джон Уоллис впервые использовал обозначения для такого количества в этих конических сечениях , [19] и использовал это при расчете площади, разделив регион на бесконечно малые полосы шириной порядка [20] Но в «Арифметике бесконечной» (1656 г.) [21] он указывает бесконечные ряды, бесконечные произведения и бесконечные цепные дроби, записывая несколько членов или множителей и затем добавляя «&c.», например «1, 6, 12, 18, 24 и т. д.». [22]

В 1699 году Исаак Ньютон написал об уравнениях с бесконечным числом членов в своей работе «Об анализе с помощью уравнений с бесконечным числом членов» . [23]

Математика [ править ]

Герман Вейль открыл математико-философское выступление, произнесенное в 1930 году, словами: [24]

Математика – наука о бесконечности.

Символ [ править ]

Символ бесконечности (иногда называемая лемнискатой ) — математический символ, обозначающий понятие бесконечности. Символ закодирован в Unicode по адресу U+221E БЕСКОНЕЧНОСТЬ ( &infin; ) [25] и в LaTeX как \infty. [26]

Он был введен в 1655 году Джоном Уоллисом . [27] [28] и с момента своего появления он также использовался за пределами математики в современном мистицизме. [29] и литературная символика . [30]

Исчисление [ править ]

Готфрид Лейбниц , один из соавторов исчисления бесконечно малых , широко размышлял о бесконечных числах и их использовании в математике. Для Лейбница и бесконечно малые, и бесконечные количества были идеальными сущностями, не имеющими той же природы, что и ощутимые величины, но обладающими теми же свойствами в соответствии с Законом непрерывности . [31] [2]

анализ Реальный

В реальном анализе символ , называемая «бесконечностью», используется для обозначения неограниченного предела . [32] Обозначения означает, что неограниченно возрастает и означает, что неограниченно уменьшается. Например, если для каждого , затем [33]

  • означает, что не ограничивает конечную область из к
  • означает, что площадь под бесконечен.
  • означает, что общая площадь под конечно и равно

Бесконечность также можно использовать для описания бесконечных рядов следующим образом:

  • означает, что сумма бесконечного ряда сходится к некоторому действительному значению
  • означает, что сумма бесконечного ряда правильно расходится к бесконечности в том смысле, что частичные суммы неограниченно увеличиваются. [34]

Помимо определения предела, бесконечность также может использоваться как значение в расширенной системе действительных чисел. Точки отмечены и может быть добавлено в топологическое пространство действительных чисел, производя двухточечную компактификацию действительных чисел. Добавление к этому алгебраических свойств дает нам расширенные действительные числа . [35] Мы также можем лечить и то же самое, что приводит к одноточечной компактификации действительных чисел, которая является вещественной проективной линией . [36] Проективная геометрия также относится к бесконечной линии в плоской геометрии, бесконечной плоскости в трехмерном пространстве и бесконечной гиперплоскости для общих размеров , каждая из которых состоит из бесконечных точек . [37]

Комплексный анализ [ править ]

С помощью стереографической проекции комплексную плоскость можно «обернуть» сферой, причем верхняя точка сферы соответствует бесконечности. Это называется сферой Римана .

В комплексном анализе символ , называемый «бесконечностью», обозначает беззнаковый бесконечный предел . Выражение означает, что величина из выходит за пределы любого присвоенного значения. Точка с надписью может быть добавлено к комплексной плоскости как топологическое пространство, дающее одноточечную компактификацию комплексной плоскости. Когда это будет сделано, полученное пространство представляет собой одномерное комплексное многообразие или риманову поверхность , называемую расширенной комплексной плоскостью или сферой Римана . [38] Арифметические операции, аналогичные приведенным выше для расширенных действительных чисел, также могут быть определены, хотя нет различия в знаках (что приводит к одному исключению: бесконечность не может быть добавлена ​​сама к себе). С другой стороны, этот вид бесконечности допускает деление на ноль , а именно для любого ненулевого комплексного числа  . В этом контексте часто бывает полезно рассматривать мероморфные функции как отображения в сфере Римана, принимающие значение на полюсах. Область определения комплексной функции может быть расширена, включив в нее также точку, находящуюся на бесконечности. Одним из важных примеров таких функций является группа преобразований Мёбиуса (см. § Обзор преобразований Мёбиуса ).

Нестандартный анализ [ править ]

Бесконечно малые (ε) и бесконечности (ω) на гипердействительной числовой прямой (1/ε = ω/1)

В первоначальной формулировке исчисления бесконечно малых Исаака Ньютона и Готфрида Лейбница использовались бесконечно малые величины. Во второй половине 20-го века было показано, что эту трактовку можно поставить на строгую основу с помощью различных логических систем , включая гладкий анализ бесконечно малых и нестандартный анализ . В последнем случае бесконечно малые числа обратимы, а их обратные числа — бесконечные числа. Бесконечности в этом смысле являются частью гиперреального поля ; между ними нет эквивалентности, как в случае с канторовскими трансфинитами . Например, если H — бесконечное число в этом смысле, то H + H = 2H и H + 1 — различные бесконечные числа. Этот подход к нестандартному исчислению полностью развит у Кейслера (1986) .

Теория множеств [ править ]

Взаимное соответствие между бесконечным множеством и его собственным подмножеством

Другой формой «бесконечности» являются порядковые и кардинальные бесконечности теории множеств — системы трансфинитных чисел , впервые разработанной Георгом Кантором . В этой системе первый трансфинитный кардинал — это алеф-нуль ( 0 ), мощность множества натуральных чисел . Эта современная математическая концепция количественной бесконечности развилась в конце 19 века на основе работ Кантора, Готлоба Фреге , Рихарда Дедекинда и других, используя идею коллекций или множеств. [1]

Подход Дедекинда заключался, по сути, в том, чтобы принять идею взаимно однозначного соответствия в качестве стандарта для сравнения размеров множеств и отвергнуть точку зрения Галилея (заимствованную из Евклида ) о том, что целое не может быть того же размера, что и часть. (Однако см. парадокс Галилея , где Галилей заключает, что положительные целые числа нельзя сравнивать с подмножеством положительных квадратных целых чисел, поскольку оба являются бесконечными множествами.) Бесконечное множество можно просто определить как множество, имеющее тот же размер, что и хотя бы одна из его собственных частей. ; это понятие бесконечности названо Дедекиндом бесконечным . На диаграмме справа показан пример: рассматривая линии как бесконечные наборы точек, левую половину нижней синей линии можно однозначно сопоставить (зеленые соответствия) с более высокой синей линией и, в свою очередь, , до всей нижней синей линии (красные соответствия); поэтому вся нижняя синяя линия и ее левая половина имеют одинаковую мощность, то есть «размер». [ нужна ссылка ]

Кантор определил два вида бесконечных чисел: порядковые и кардинальные числа . Порядковые числа характеризуют хорошо упорядоченные множества или счет, продолжающийся до любой точки остановки, включая точки после того, как уже подсчитано бесконечное число. Обобщение конечных и (обычных) бесконечных последовательностей , которые являются отображениями натуральных чисел , приводит к отображениям порядковых чисел в трансфинитные последовательности. Кардинальные числа определяют размер наборов, то есть количество элементов, которые они содержат, и могут быть стандартизированы путем выбора первого порядкового числа определенного размера для представления кардинального числа этого размера. Наименьшая порядковая бесконечность — это бесконечность натуральных чисел, и любое множество, мощность которого равна целым числам, счетно бесконечно . Если набор слишком велик, чтобы его можно было поставить во взаимно однозначное соответствие целым положительным числам, его называют несчетным . Взгляды Кантора возобладали, и современная математика принимает фактическую бесконечность как часть последовательной и последовательной теории. [39] [40] [ нужна страница ] Некоторые расширенные системы счисления, такие как гипердействительные числа, включают в себя обычные (конечные) числа и бесконечные числа разных размеров. [ нужна ссылка ]

Мощность континуума [ править ]

Одним из наиболее важных результатов Кантора было то, что мощность континуума больше, чем у натуральных чисел ; больше, то есть действительных чисел R натуральных чисел N. чем А именно, Кантор показал, что . [41]

утверждает Гипотеза континуума не существует кардинального числа , то есть: , что между мощностью действительных чисел и мощностью натуральных чисел .

Эту гипотезу нельзя доказать или опровергнуть в рамках широко распространенной теории множеств Цермело-Френкеля , даже если предположить аксиому выбора . [42]

Кардинальную арифметику можно использовать, чтобы показать не только то, что число точек на прямой с действительными числами равно числу точек на любом отрезке этой прямой , но также и то, что оно равно числу точек на плоскости и, более того, , в любом конечномерном пространстве. [ нужна ссылка ]

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

Первый из этих результатов становится очевидным, если рассмотреть, например, функцию тангенса , которая обеспечивает взаимно однозначное соответствие между интервалом ( - п / 2 , π / 2 ) и р .

Второй результат был доказан Кантором в 1878 году, но стал интуитивно очевиден только в 1890 году, когда Джузеппе Пеано ввел кривые, заполняющие пространство , изогнутые линии, которые скручиваются и поворачиваются достаточно, чтобы заполнить весь любой квадрат, или куб , или гиперкуб , или конечномерное пространство. Эти кривые можно использовать для определения взаимно однозначного соответствия между точками на одной стороне квадрата и точками в квадрате. [43]

Геометрия [ править ]

До конца XIX века бесконечность редко обсуждалась в геометрии , за исключением процессов, которые могли продолжаться без каких-либо ограничений. Например, линия представляла собой то, что сейчас называется отрезком линии , при условии, что ее можно продлить так далеко, как хочется; но о его бесконечном расширении не могло быть и речи. Точно так же линия обычно не считалась состоящей из бесконечного множества точек, а представляла собой место, где можно разместить точку. Даже если возможных позиций бесконечно много, на прямой можно разместить только конечное число точек. Свидетельством этого является выражение « место точки , удовлетворяющее некоторому свойству» (единственное число), где современные математики обычно говорят «множество точек , обладающих этим свойством» (множественное число).

Одним из редких исключений из математической концепции, включающей реальную бесконечность , была проективная геометрия , где точки на бесконечности добавляются к евклидову пространству для моделирования эффекта перспективы , который показывает параллельные линии, пересекающиеся «на бесконечности». С математической точки зрения точки, удаленные от бесконечности, имеют то преимущество, что позволяют не учитывать некоторые особые случаи. Например, на проективной плоскости две различные прямые пересекаются ровно в одной точке, тогда как без точек на бесконечности нет точек пересечения параллельных прямых. Итак, в классической геометрии параллельные и непараллельные прямые необходимо изучать отдельно, а в проективной геометрии их не нужно различать.

До использования теории множеств в качестве основы математики точки и линии рассматривались как отдельные объекты, и точка могла располагаться на линии . С повсеместным использованием теории множеств в математике точка зрения резко изменилась: линия теперь рассматривается как множество ее точек , и говорят, что точка принадлежит линии, а не расположена на линии (однако, последняя фраза используется до сих пор).

В частности, в современной математике линии представляют собой бесконечные множества .

Бесконечное измерение [ править ]

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

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

Фракталы [ править ]

Структура фрактального объекта повторяется при увеличении. Фракталы можно увеличивать до бесконечности, не теряя при этом своей структуры и не становясь «гладкими»; они имеют бесконечный периметр и могут иметь бесконечную или конечную площадь. Одной из таких фрактальных кривых с бесконечным периметром и конечной площадью является снежинка Коха . [ нужна ссылка ]

Математика без бесконечности [ править ]

Леопольд Кронекер скептически относился к понятию бесконечности и к тому, как его коллеги-математики использовали его в 1870-х и 1880-х годах. Этот скептицизм получил развитие в философии математики , называемой финитизмом — крайней формой математической философии в общефилософских и математических школах конструктивизма и интуиционизма . [44]

Физика [ править ]

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

Космология [ править ]

Первое опубликованное предположение о бесконечности Вселенной было сделано Томасом Диггесом в 1576 году. [46] Восемь лет спустя, в 1584 году, итальянский философ и астроном Джордано Бруно предложил безграничную Вселенную в своей книге «О бесконечной Вселенной и мирах» : «Существует бесчисленное множество солнц; бесчисленные земли вращаются вокруг этих солнц так же, как семь планет вращаются вокруг нашей планеты. Солнце. Живые существа населяют эти миры». [47]

Космологи уже давно пытаются выяснить, существует ли бесконечность в нашей физической Вселенной : существует ли бесконечное количество звезд? Имеет ли Вселенная бесконечный объем? Пространство « продолжается вечно »? Это все еще открытый вопрос космологии . Вопрос о бесконечности логически отделен от вопроса о границах. Например, двумерная поверхность Земли конечна, но не имеет края. Путешествуя по прямой относительно кривизны Земли, человек в конечном итоге вернется в ту же точку, из которой начал. Вселенная, по крайней мере в принципе, могла бы иметь аналогичную топологию . Если это так, то в конечном итоге можно вернуться в исходную точку после достаточно долгого путешествия по прямой через вселенную. [48]

Кривизну Вселенной можно измерить через мультипольные моменты в спектре космического фонового излучения . На сегодняшний день анализ диаграмм направленности, зарегистрированных космическим кораблем WMAP, намекает на то, что Вселенная имеет плоскую топологию. Это соответствовало бы бесконечной физической вселенной. [49] [50] [51]

Однако Вселенная может быть конечной, даже если ее кривизна плоская. Самый простой способ понять это — рассмотреть двумерные примеры, такие как видеоигры, в которых предметы, покидающие один край экрана, снова появляются на другом. Топология таких игр тороидальная , а геометрия плоская. Для трехмерного пространства также существует множество возможных ограниченных, плоских возможностей. [52]

Понятие бесконечности также распространяется на гипотезу мультивселенной , которая, будучи объяснена астрофизиками, такими как Мичио Каку , утверждает, что существует бесконечное число и разнообразие вселенных. [53] Кроме того, циклические модели предполагают бесконечное количество Больших взрывов , что приводит к бесконечному разнообразию вселенных после каждого события Большого взрыва в бесконечном цикле. [54]

Логика [ править ]

В логике аргумент бесконечного регресса — это «отчетливо философский вид аргумента, претендующий на то, чтобы показать, что тезис ошибочен, поскольку он порождает бесконечный ряд, когда либо (форма А) такого ряда не существует, либо (форма Б) если бы он существовал, тезису не хватило бы той роли (например, обоснования), которую он должен играть». [55]

Вычисление [ править ]

Стандарт IEEE с плавающей запятой (IEEE 754) определяет положительное и отрицательное значение бесконечности (а также неопределенные значения). Они определяются как результат арифметического переполнения , деления на ноль и других исключительных операций. [56]

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

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

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

и когнитивные науки Искусство, игры

В перспективных произведениях искусства используется концепция точек схода , примерно соответствующих математическим точкам в бесконечности , расположенным на бесконечном расстоянии от наблюдателя. Это позволяет художникам создавать картины, реалистично передающие пространство, расстояния и формы. [59] Художник М. К. Эшер особенно известен тем, что использовал концепцию бесконечности в своих работах тем и другим способом. [ нужна ссылка ]

Варианты шахмат, в которые играют на неограниченной доске, называются бесконечными шахматами . [60] [61]

Ученый-когнитивист Джордж Лакофф считает концепцию бесконечности в математике и естественных науках метафорой. Эта точка зрения основана на базовой метафоре бесконечности (ИМТ), определяемой как постоянно возрастающая последовательность <1,2,3,...>. [62]

См. также [ править ]

Ссылки [ править ]

  1. ^ Jump up to: Перейти обратно: а б с д и ж Аллен, Дональд (2003). «История бесконечности» (PDF) . Техасская математика A&M . Архивировано из оригинала (PDF) 1 августа 2020 г. Проверено 15 ноября 2019 г.
  2. ^ Jump up to: Перейти обратно: а б Джессиф, Дуглас Майкл (1 мая 1998 г.). «Лейбниц об основах исчисления: вопрос о реальности бесконечно малых величин» . Перспективы науки . 6 (1 и 2): 6–40. дои : 10.1162/posc_a_00543 . ISSN   1063-6145 . OCLC   42413222 . S2CID   118227996 . Архивировано из оригинала 11 января 2012 года . Проверено 1 ноября 2019 г. - через Project MUSE.
  3. ^ Гауэрс, Тимоти; Барроу-Грин, июнь (2008 г.). Принстонский спутник математики . Имре Лидер, Принстонский университет. Принстон: Издательство Принстонского университета. ISBN  978-1-4008-3039-8 . OCLC   659590835 .
  4. ^ Мэддокс 2002 , стр. 113–117.
  5. ^ МакЛарти, Колин (15 января 2014 г.) [сентябрь 2010 г.]. «Что нужно, чтобы доказать Великую теорему Ферма? Гротендик и логика теории чисел» . Бюллетень символической логики . 16 (3): 359–377. дои : 10.2178/bsl/1286284558 . S2CID   13475845 – через издательство Кембриджского университета.
  6. ^ Уоллес 2004 , с. 44
  7. ^ Аристотель. Физика . Перевод Харди, Р.П.; Гэй, Р.К. Архив интернет-классики. Книга 3, главы 5–8.
  8. ^ Гудман, Николас Д. (1981). «Размышления о философии математики Бишопа». В Ричмане, Ф. (ред.). Конструктивная математика . Конспект лекций по математике. Том. 873. Спрингер. стр. 135–145. дои : 10.1007/BFb0090732 . ISBN  978-3-540-10850-4 .
  9. ^ Мэр, с. 3
  10. ^ Сартон, Джордж (март 1928 г.). « Тринадцать книг элементов Евклида . Томас Л. Хит, Хейберг» . Исида . 10 (1): 60–62. дои : 10.1086/346308 . ISSN   0021-1753 – через журналы прессы Чикагского университета.
  11. ^ Хуттен, Эрнест Хиршлафф (1962). Истоки науки; исследование основ западной мысли . Интернет-архив. Лондон, Аллен и Анвин. стр. 1–241. ISBN  978-0-04-946007-2 . Проверено 9 января 2020 г.
  12. ^ Евклид (2008) [ок. 300 г. до н. э.]. Элементы геометрии Евклида (PDF) . Перевод Фитцпатрика, Ричарда. Лулу.com. п. 6 (Книга I, Постулат 5). ISBN  978-0-6151-7984-1 .
  13. ^ Хит, сэр Томас Литтл ; Хейберг, Йохан Людвиг (1908). Тринадцать книг «Начал» Евклида . Том. т. 1. Университетское издательство. п. 212.
  14. ^ Дроздек, Адам (2008). В начале был апейрон : бесконечность в греческой философии . Штутгарт, Германия: Франц Штайнер Верлаг. ISBN  978-3-515-09258-6 .
  15. ^ «Парадоксы Зенона» . Стэнфордский университет . 15 октября 2010 года . Проверено 3 апреля 2017 г.
  16. ^ Рассел 1996 , с. 347
  17. ^ Коши, Огюстен-Луи (1821). Курс анализа в Королевской политехнической школе . Книготорговцы короля и королевской библиотеки. п. 124 . Проверено 12 октября 2019 г.
  18. ^ Ян Стюарт (2017). Бесконечность: очень краткое введение . Издательство Оксфордского университета. п. 117. ИСБН  978-0-19-875523-4 . Архивировано из оригинала 3 апреля 2017 года.
  19. ^ Каджори, Флориан (2007). История математических обозначений . Том. 1. Козимо, Инк. с. 214. ИСБН  9781602066854 .
  20. ^ Каджори 1993 , разд. 421, Том. II, с. 44
  21. ^ «Арифметика бесконечного» .
  22. ^ Каджори 1993 , разд. 435, Том. II, с. 58
  23. ^ Граттан-Гиннесс, Айвор (2005). Знаковые сочинения по западной математике 1640-1940 гг . Эльзевир. п. 62. ИСБН  978-0-08-045744-4 . Архивировано из оригинала 3 июня 2016 г. Выдержка из стр. 62
  24. ^ Вейль, Герман (2012), Питер Пешич (ред.), Уровни бесконечности / Избранные сочинения по математике и философии , Дувр, стр. 17, ISBN  978-0-486-48903-2
  25. ^ АГ, комп. «Символ Юникода «∞» (U+221E)» . Compart.com . Проверено 15 ноября 2019 г.
  26. ^ «Список математических символов LaTeX — OeisWiki» . oeis.org . Проверено 15 ноября 2019 г.
  27. ^ Скотт, Джозеф Фредерик (1981), Математическая работа Джона Уоллиса, DD, FRS, (1616–1703) (2-е изд.), Американское математическое общество , стр. 24, ISBN  978-0-8284-0314-6 , заархивировано из оригинала 9 мая 2016 г.
  28. ^ Мартин-Лёф, Пер (1990), «Математика бесконечности», COLOG-88 (Таллинн, 1988) , Конспект лекций по информатике, том. 417, Берлин: Springer, стр. 146–197, номер документа : 10.1007/3-540-52335-9_54 , ISBN.  978-3-540-52335-2 , МР   1064143
  29. ^ О'Флаэрти, Венди Донигер (1986), Мечты, иллюзии и другие реальности , University of Chicago Press, стр. 243, ISBN  978-0-226-61855-5 , заархивировано из оригинала 29 июня 2016 г.
  30. ^ Токер, Леона (1989), Набоков: Тайна литературных структур , издательство Корнельского университета, стр. 159, ISBN  978-0-8014-2211-9 , заархивировано из оригинала 9 мая 2016 г.
  31. ^ Белл, Джон Лейн . «Непрерывность и бесконечно малые» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .
  32. ^ Тейлор 1955 , с. 63
  33. ^ Это использование бесконечности для интегралов и рядов можно найти в любом стандартном тексте по исчислению, например, Swokowski 1983 , стр. 468–510.
  34. ^ «Правильно расходящиеся последовательности — Матонлайн» . mathonline.wikidot.com . Проверено 15 ноября 2019 г.
  35. ^ Алипрантис, Хараламбос Д.; Буркиншоу, Оуэн (1998), Принципы реального анализа (3-е изд.), Сан-Диего, Калифорния: Academic Press, Inc., стр. 29, ISBN  978-0-12-050257-8 , MR   1669668 , заархивировано из оригинала 15 мая 2015 г.
  36. ^ Джеминьяни 1990 , с. 177
  37. ^ Бойтельспехер, Альбрехт; Розенбаум, Уте (1998), Проективная геометрия / от основ к приложениям , Cambridge University Press, стр. 27, ISBN  978-0-521-48364-3
  38. ^ Рао, Мурали; Стеткер, Хенрик (1991). Комплексный анализ: приглашение: краткое введение в теорию комплексных функций . Всемирная научная. п. 113. ИСБН  9789810203757 .
  39. ^ "Бесконечность" . math.dartmouth.edu . Проверено 16 ноября 2019 г.
  40. ^ Мур, AW (1991). Бесконечный . Рутледж.
  41. ^ Добен, Джозеф (1993). «Георг Кантор и битва за теорию трансфинитных множеств» (PDF) . Материалы 9-й конференции ACMS : 4.
  42. ^ Коэн 1963 , с. 1143
  43. ^ Саган 1994 , стр. 10–12
  44. ^ Клайн 1972 , стр. 1197–1198.
  45. ^ Дорические линзы. Архивировано 24 января 2013 г. в Wayback Machine - Рекомендации по применению - Аксиконы - 2. Распределение интенсивности. Проверено 7 апреля 2014 г.
  46. ^ Джон Гриббин (2009), В поисках Мультивселенной: параллельные миры, скрытые измерения и окончательный поиск границ реальности , ISBN   978-0-470-61352-8 . п. 88
  47. ^ Тормоз, Марк (2013). Воображаемая инопланетная жизнь: передача науки и культуры астробиологии (иллюстрированное издание). Издательство Кембриджского университета. п. 63. ИСБН  978-0-521-49129-7 .
  48. ^ Купелис, Тео; Кун, Карл Ф. (2007). В поисках Вселенной (иллюстрировано под ред.). Джонс и Бартлетт Обучение. п. 553. ИСБН  978-0-7637-4387-1 . Выдержка из стр. 553
  49. ^ «Будет ли Вселенная расширяться вечно?» . НАСА. 24 января 2014 года. Архивировано из оригинала 1 июня 2012 года . Проверено 16 марта 2015 г.
  50. ^ «Наша Вселенная плоская» . ФермиЛаб/SLAC. 7 апреля 2015 г. Архивировано из оригинала 10 апреля 2015 г.
  51. ^ Маркус Ю. Ю (2011). «Неожиданные связи». Инженерия и наука . LXXIV1: 30.
  52. ^ Уикс, Джеффри (2001). Форма пространства . ЦРК Пресс. ISBN  978-0-8247-0709-5 .
  53. ^ Каку, М. (2006). Параллельные миры. Издательская группа Кнопфа Doubleday.
  54. ^ Макки, Мэгги (25 сентября 2014 г.). «Гениально: Пол Дж. Стейнхардт – физик из Принстона о том, что не так с теорией инфляции и его взглядом на Большой взрыв» . Наутилус . № 17. NautilusThink Inc. Проверено 31 марта 2017 г.
  55. ^ Кембриджский философский словарь , второе издание, стр. 429
  56. ^ «Бесконечность и NaN (Библиотека GNU C)» . www.gnu.org . Проверено 15 марта 2021 г.
  57. ^ Гослинг, Джеймс; и др. (27 июля 2012 г.). «4.2.3». . Спецификация языка Java (Java SE 7-е изд.). Калифорния: Oracle America, Inc. Архивировано из оригинала 9 июня 2012 года . Проверено 6 сентября 2012 г.
  58. ^ Стоукс, Роджер (июль 2012 г.). «19.2.1» . Обучение Дж . Архивировано из оригинала 25 марта 2012 года . Проверено 6 сентября 2012 г.
  59. ^ Клайн, Моррис (1985). Математика для нематематика . Публикации Courier Dover. п. 229 . ISBN  978-0-486-24823-3 . , раздел 10-7, с. 229. Архивировано 16 мая 2016 г. в Wayback Machine.
  60. ^ Бесконечные шахматы на страницах вариантов шахмат. Архивировано 2 апреля 2017 г. в Wayback Machine . Бесконечная шахматная схема.
  61. ^ «Бесконечные шахматы, бесконечная серия PBS». Архивировано 7 апреля 2017 г. в Wayback Machine PBS Infinite Series, с академическими источниками Дж. Хэмкинса (бесконечные шахматы: Эванс, CDA; Джоэл Дэвид Хэмкинс (2013). «Трансфинитные игровые значения в бесконечных шахматах». arXiv : 1302.4377 [ math.LO ]. и Эванс, CDA; Джоэл Дэвид Хэмкинс; Норман Льюис Перлмуттер (2015). «Позиция в бесконечных шахматах с игровым значением $ω^4$». arXiv : 1510.08155 [ math.LO ]. ).
  62. ^ Эльглали, Ясмин Надер; Кек, Фрэнсис. «Обзор книги Джорджа Лакоффа и Рафаэля Э. Нуньеса «Откуда возникла математика: как воплощенный разум создает математику» (PDF) . ОМС 2009 . Архивировано из оригинала (PDF) 26 февраля 2020 г. Проверено 25 марта 2021 г.

Библиография [ править ]

Источники [ править ]

Внешние ссылки [ править ]