Деление на ноль - Division by zero

Функция

y =.mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px} 1/Икс

. Когда

x

приближается к

0

справа,

y

стремится к бесконечности. Когда

x

приближается к

0

слева,

y

стремится к отрицательной бесконечности.

В математике , деление на ноль является деление , где делитель (знаменатель) является нулевым . Такое деление можно формально выразить как где $а$ - делимое (числитель). В обычной арифметики, выражение не имеет смысла, так как не существует число , которое при умножении на $0$ , дает (при условии ), и так деление на ноль не определено . Поскольку любое число, умноженное на ноль, равно нулю, выражение также не определено; когда это форма предела , это неопределенная форма . Исторически одна из самых ранних записанных ссылок на математическую невозможность присвоения значения содержится в критике исчисления бесконечно малых величин англо-ирландским философом Джорджем Беркли в 1734 году в «Аналитике» («призраки ушедших величин»). ${\ textstyle {\ tfrac {а} {0}}}$ ${\ textstyle а \ neq 0}$ ${\ displaystyle {\ tfrac {0} {0}}}$ ${\ textstyle {\ tfrac {а} {0}}}$

Существуют математические структуры, в которых определено для некоторых $a,$ таких как сфера Римана ( модель расширенной комплексной плоскости ) и проективно расширенная вещественная линия ; однако такие структуры не удовлетворяют всем обычным правилам арифметики ( аксиомам поля ). ${\ textstyle {\ tfrac {а} {0}}}$

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

Элементарная арифметика

Когда деление объясняется на элементарном арифметическом уровне, оно часто рассматривается как разделение набора объектов на равные части. В качестве примера рассмотрим наличие десяти файлов cookie, и эти файлы cookie должны быть распределены поровну между пятью людьми за столом. Каждый человек будет получать файлы cookie. Точно так же, если есть десять файлов cookie и только один человек за столом, этот человек получит файлы cookie. ${\ displaystyle {\ tfrac {10} {5}} = 2}$ ${\ displaystyle {\ tfrac {10} {1}} = 10}$

Итак, для деления на ноль, какое количество файлов cookie получает каждый человек, когда 10 файлов cookie равномерно распределяются среди 0 человек за столом? В вопросе можно указать определенные слова, чтобы выделить проблему. Проблема с этим вопросом - «когда». Нет возможности никому раздать 10 файлов cookie. Так что , по крайней мере, в элементарной арифметике, это называется бессмысленным или неопределенным. ${\ displaystyle {\ tfrac {10} {0}}}$

Если есть, скажем, 5 файлов cookie и 2 человека, проблема в «равномерном распределении». В любом целочисленном разделении 5 вещей на 2 части либо одна из частей раздела будет иметь больше элементов, чем другая, либо будет остаток (записанный как5/2= 2 r1). Или проблему с 5 файлами cookie и 2 людьми можно решить, разрезав одно печенье пополам, что вводит идею дробей (5/2= 2+1/2). С другой стороны, проблема с 5 файлами cookie и 0 людьми не может быть решена никаким способом, сохраняющим значение слова «разделяет».

В элементарной алгебре деление на ноль также рассматривается с другой стороны: деление всегда можно проверить с помощью умножения. Принимая во внимание10/0пример выше, установив x =10/0, если x равно десяти, деленному на ноль, то x, умноженное на ноль, равно десяти, но нет x, который при умножении на ноль дает десять (или любое другое число, кроме нуля). Если вместо x =10/0, х =0/0, то каждый x удовлетворяет вопросу «какое число x , умноженное на ноль, дает ноль?»

Ранние попытки

Brāhmasphuṭasiddhānta из Брахмагупты (с. 598-668) является самым ранним текстом , чтобы рассматривать ноль как число в своем собственном праве и определить операции с нулем. Автор не мог объяснить деление на ноль в своих текстах: его определение, как легко доказать, приводит к алгебраическим нелепостям. Согласно Брахмагупте,

Положительное или отрицательное число при делении на ноль представляет собой дробь, знаменателем которой является ноль. Ноль, деленный на отрицательное или положительное число, либо равен нулю, либо выражается в виде дроби с нулем в числителе и конечной величиной в знаменателе. Ноль деленный на ноль - это ноль.

В 830 году Махавира безуспешно пытался исправить ошибку Брахмагупты в своей книге « Ганита Сара Самграха» : «Число остается неизменным при делении на ноль».

Алгебра

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

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

В современном подходе к построению поля действительных чисел рациональные числа появляются как промежуточный этап в развитии, основанном на теории множеств. Сначала натуральные числа (включая ноль) устанавливаются на аксиоматической основе, такой как система аксиом Пеано, а затем это расширяется до кольца целых чисел . Следующим шагом является определение рациональных чисел с учетом того, что это должно выполняться только с использованием уже установленных наборов и операций, а именно, сложение, умножение и целые числа. Начиная с набора упорядоченных пар целых чисел, ${(a, b)}$ с $b \neq 0$ , определите бинарное отношение на этом наборе как $(a, b) ≃ (c, d)$ тогда и только тогда, когда $ad = bc$ . Показано, что это отношение является отношением эквивалентности, и затем его классы эквивалентности определяются как рациональные числа. Именно в формальном доказательстве того, что это отношение является отношением эквивалентности, требуется требование, чтобы вторая координата не равнялась нулю (для проверки транзитивности ).

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

Из свойств используемой нами системы счисления (то есть целых, рациональных, вещественных и т. Д.) Следует, что если $b \neq 0,$ то уравнение $а / б = c$ эквивалентно $a = b \times c$ . При условии, что $а / 0$ - число $c$ , то должно быть, что $a = 0 \times c = 0$ . Однако тогда единственное число $c$ должно быть определено уравнением $0 = 0 \times c$ , но каждое число удовлетворяет этому уравнению, поэтому мы не можем присвоить числовое значение $0 / 0$ .

Деление как обратное умножению

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

{\ displaystyle {\ frac {6} {3}} = 2}

поскольку

2

- это значение, для которого неизвестная величина в

{\ displaystyle? \ times 3 = 6}

правда. Но выражение

{\ displaystyle {\ frac {6} {0}} = \, x}

требует, чтобы значение неизвестной величины было найдено в

{\ displaystyle x \ times 0 = 6.}

Но любое число, умноженное на

0,

равно

0,

и поэтому нет числа, которое решает уравнение.

Выражение

{\ displaystyle {\ frac {0} {0}} = \, x}

требует, чтобы значение неизвестной величины было найдено в

{\ displaystyle x \ times 0 = 0.}

Опять же, любое число, умноженное на

0,

равно

0,

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

0 / 0

.

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

Заблуждения

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

С предположениями:

{\ displaystyle {\ begin {align} 0 \ times 1 & = 0, \\ 0 \ times 2 & = 0, \ end {align}}}

верно следующее:

{\ displaystyle 0 \ times 1 = 0 \ times 2.}

Разделив обе стороны на ноль, мы получим:

{\ displaystyle {\ begin {align} {\ frac {0 \ times 1} {0}} & = {\ frac {0 \ times 2} {0}} \\ [6px] {\ frac {0} {0} }} \ times 1 & = {\ frac {0} {0}} \ times 2. \ end {align}}}

В упрощенном виде это дает:

{\ displaystyle 1 = 2.}

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

Однако можно замаскировать деление на ноль в алгебраическом аргументе, что приведет к недействительным доказательствам, что, например, $1 = 2,$ например следующее:

Пусть

1 = x

.

Умножьте на $x,$ чтобы получить

{\ displaystyle x = x ^ {2}.}

Вычтите по

1

с каждой стороны, чтобы получить

{\ displaystyle x-1 = x ^ {2} -1.}

Разделите обе части на

x - 1

{\ displaystyle {\ begin {align} {\ frac {x-1} {x-1}} & = {\ frac {x ^ {2} -1} {x-1}} \\ [6pt] & = {\ frac {(x + 1) (x-1)} {x-1}}, \ end {выравнивается}}}

что упрощает

{\ displaystyle 1 = x + 1.}

Но поскольку

x = 1

,

{\ displaystyle 1 = 1 + 1 = 2.}

Замаскированное деление на ноль происходит, поскольку $x - 1 = 0$ при $x = 1$ .

Анализ

Расширенная реальная линия

На первый взгляд, представляется возможным определить / 0, рассматривая предел в виде / б а б приближается к 0.

Для любого положительного a предел справа равен

{\ displaystyle \ lim _ {b \ to 0 ^ {+}} {a \ over b} = + \ infty}

однако предел слева

{\ displaystyle \ lim _ {b \ to 0 ^ {-}} {a \ over b} = - \ infty}

и поэтому не определено (предел также не определен для отрицательного a ). ${\ displaystyle \ lim _ {b \ to 0} {a \ over b}}$

Кроме того, нет очевидного определения 0/0, которое можно было бы вывести из рассмотрения предела отношения. Лимит

{\ displaystyle \ lim _ {(a, b) \ to (0,0)} {a \ over b}}

не существует. Пределы формы

{\ Displaystyle \ lim _ {х \ к 0} {е (х) \ над г (х)}}

в котором и f ( x ), и g ( x ) приближаются к 0, когда x приближается к 0, могут равняться любому действительному или бесконечному значению или могут не существовать вообще, в зависимости от конкретных функций f и g .

Например, рассмотрим:

{\ displaystyle \ lim _ {x \ to 1} {x ^ {2} -1 \ over x-1}}

Сначала это кажется неопределенным. Тем не мение:

{\ Displaystyle {\ begin {align} & = \ lim _ {x \ to 1} {(x-1) (x + 1) \ over x-1} \\ & = \ lim _ {x \ to 1} {(х + 1)} \\ & = 2 \ конец {выровнено}}}

и поэтому предел существует и равен . ${\ displaystyle 2}$

Эти и другие подобные факты показывают, что это выражение не может быть четко определено как предел. ${\ displaystyle {\ frac {0} {0}}}$

Формальные операции

Формальный расчет один осуществляется с использованием правил арифметики, без учета того, хорошо определен результат расчета. Таким образом, иногда полезно думать об a / 0, где a 0, как о существующем . Эта бесконечность может быть положительной, отрицательной или беззнаковой, в зависимости от контекста. Например, формально: ${\ displaystyle \ infty}$

{\ displaystyle \ lim _ {x \ to 0} {{\ frac {1} {x}} = {\ frac {\ lim \ limits _ {x \ to 0} {1}} {\ lim \ limits _ { x \ to 0} {x}}}} = \ infty.}

Как и при любом формальном вычислении, могут быть получены неверные результаты. Логически строгие (в отличие от формальных) вычислений утверждают только то, что

{\ displaystyle \ lim _ {x \ to 0 ^ {+}} {\ frac {1} {x}} = + \ infty ~ {\ text {and}} ~ \ lim _ {x \ to 0 ^ {- }} {\ frac {1} {x}} = - \ infty.}

Поскольку односторонние пределы различны, двусторонний предел не существует в стандартной структуре действительных чисел. Кроме того, дробь 1/0 остается неопределенной в расширенной действительной строке , поэтому она и

{\ displaystyle {\ frac {\ lim \ limits _ {x \ to 0} 1} {\ lim \ limits _ {x \ to 0} x}}}

бессмысленные выражения .

Проективно расширенная действительная линия

Множество представляет собой проективно расширенную действительную прямую , которая представляет собой одноточечную компактификацию реальной прямой. Здесь означает беззнаковую бесконечность , бесконечную величину, которая не является ни положительной, ни отрицательной. Эта величина удовлетворяет , что необходимо в данном контексте. В этой структуре может быть определено для ненулевого $a$ , а когда $a$ - нет . Это естественный способ просмотра диапазона функций касательной и котангенса тригонометрии : $tan ($ $x$ $)$ приближается к единственной точке на бесконечности, когда $x$ приближается к $+$ ${\ Displaystyle \ mathbb {R} \ чашка \ {\ infty \}}$ ${\ displaystyle \ infty}$ ${\ displaystyle - \ infty = \ infty}$ ${\ displaystyle {\ frac {a} {0}} = \ infty}$ ${\ displaystyle {\ frac {a} {\ infty}} = 0}$ ${\ displaystyle \ infty}$ $π / 2$ или $- π / 2$ с любого направления.

Это определение приводит ко многим интересным результатам. Однако результирующая алгебраическая структура не является полем , и не следует ожидать, что она будет вести себя как единое целое. Например, в этом продолжении реальной линии не определено. ${\ displaystyle \ infty + \ infty}$

Сфера Римана

Множество представляет собой сферу Римана , которая имеет большое значение в комплексном анализе . Здесь также есть беззнаковая бесконечность - или, как ее часто называют в этом контексте, бесконечно удаленная точка . Этот набор аналогичен проективно расширенной числовой прямой, за исключением того, что она основана на поле из комплексных чисел . В сфере Римана, и , но и не определены. ${\ Displaystyle \ mathbb {C} \ чашка \ {\ infty \}}$ ${\ displaystyle \ infty}$ ${\ displaystyle {\ frac {1} {0}} = \ infty}$ ${\ displaystyle {\ frac {1} {\ infty}} = 0}$ ${\ displaystyle {\ frac {0} {0}}}$ ${\ displaystyle 0 \ times \ infty}$

Расширенная строка неотрицательных действительных чисел

Отрицательные действительные числа можно отбросить и ввести бесконечность, что приведет к множеству $[0, \infty]$ , где деление на ноль естественным образом определяется как $а / 0 = \infty$ для положительных $a$ . Хотя это делает деление определенным в большем количестве случаев, чем обычно, во многих случаях вычитание остается неопределенным, потому что нет отрицательных чисел.

Высшая математика

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

Нестандартный анализ

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

Теория распределения

В теории распределения можно расширить функцию до распределения на всем пространстве действительных чисел (фактически, используя главные значения Коши ). Однако нет смысла запрашивать «значение» этого распределения при x = 0; изощренный ответ относится к единственной поддержке распределения. ${\ textstyle {\ frac {1} {x}}}$

Линейная алгебра

В матричной алгебре (или линейной алгебре в целом), можно определить псевдо-разделение, путем установки в / б = абы ⁺ , в которой б ⁺ представляет Псевдообращение из б . Можно доказать, что если b ⁻¹ существует, то b ⁺ = b ⁻¹ . Если b равно 0, то b ⁺ = 0.

Абстрактная алгебра

Любую систему счисления, которая образует коммутативное кольцо - например, целые числа, действительные числа и комплексные числа - можно расширить до колеса, в котором всегда возможно деление на ноль; однако в таком случае «разделение» имеет несколько иное значение.

Концепции, применяемые к стандартной арифметике, аналогичны концепциям более общих алгебраических структур, таких как кольца и поля . В поле каждый ненулевой элемент обратим относительно умножения; как и выше, деление создает проблемы только при попытке деления на ноль. То же самое и с телом (которое по этой причине называется делительным кольцом ). Однако в других кольцах деление на ненулевые элементы также может создавать проблемы. Например, кольцо Z / 6 Z целых чисел mod 6. Смысл выражения должен быть решением x уравнения . Но в кольце Z / 6 Z 2 - делитель нуля . Это уравнение имеет два различных решения: $x$ $= 1$ и $x$ $= 4$ , поэтому выражение не определено . ${\ textstyle {\ frac {2} {2}}}$ ${\ displaystyle 2x = 2}$ ${\ textstyle {\ frac {2} {2}}}$

В теории поля это выражение является лишь сокращением формального выражения ab ⁻¹ , где b ⁻¹ - мультипликативная величина, обратная b . Поскольку аксиомы поля гарантируют существование таких инверсий только для ненулевых элементов, это выражение не имеет смысла, когда b равно нулю. Современные тексты, которые определяют поля как особый тип кольца, включают аксиому $0 1$ для полей (или ее эквивалент), так что нулевое кольцо исключено из поля. В нулевом кольце возможно деление на ноль, что показывает, что других аксиом поля недостаточно, чтобы исключить деление на ноль в поле. ${\ textstyle {\ frac {a} {b}}}$

Компьютерная арифметика

Большинство калькуляторов, таких как Texas Instruments TI-86 , останавливают выполнение и отображают сообщение об ошибке, когда пользователь или запущенная программа пытается разделить на ноль.

Деление на ноль на калькуляторе Android 2.2.1 показывает символ бесконечности.

Стандарт IEEE с плавающей запятой , поддерживаемый почти всеми современными модулями с плавающей запятой , определяет, что каждая арифметическая операция с плавающей запятой , включая деление на ноль, имеет четко определенный результат. Стандарт поддерживает ноль со знаком , а также бесконечность и NaN ( не число ). Есть два нуля: +0 ( положительный ноль ) и -0 ( отрицательный ноль ), и это устраняет любую двусмысленность при делении. В арифметике IEEE 754 a ÷ +0 означает положительную бесконечность, когда a положительно, отрицательную бесконечность, когда a отрицательно, и NaN, когда a = ± 0. Знаки бесконечности меняются при делении на −0 .

Обоснованием этого определения является сохранение знака результата в случае арифметического опустошения . Например, в вычислении с одинарной точностью 1 / ( x / 2), где x = ± 2 ⁻¹⁴⁹ , при вычислении x / 2 будет ^{меньше нуля и будет получено} ± 0 с совпадением знаков x , и результат будет ± ∞ с согласованием знаков. х . Знак будет соответствовать знаку точного результата ± ²¹⁵⁰ , но величина точного результата слишком велика для представления, поэтому бесконечность используется для обозначения переполнения.

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

Из-за неправильных алгебраических результатов присвоения любого значения делению на ноль многие языки компьютерного программирования (включая те, которые используются в калькуляторах ) явно запрещают выполнение операции и могут преждевременно останавливать программу, которая пытается это сделать, иногда сообщая «Делить на ноль» " ошибка. В этих случаях, если требуется какое-то особое поведение для деления на ноль, условие должно быть явно проверено (например, с помощью оператора if ). Некоторые программы (особенно те, которые используют арифметику с фиксированной запятой, где нет специального оборудования с плавающей запятой) будут использовать поведение, аналогичное стандарту IEEE, используя большие положительные и отрицательные числа для аппроксимации бесконечностей. В некоторых языках программирования попытка разделить на ноль приводит к неопределенному поведению . Графический язык программирования Scratch 2.0 и 3.0, используемый во многих школах, возвращает Infinity или -Infinity в зависимости от знака дивиденда.

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

Большинство калькуляторов либо возвращают ошибку, либо сообщают, что 1/0 не определено; однако некоторые графические калькуляторы TI и HP вычисляют от (1/0) ² до ∞.

Microsoft Math и Mathematica возвращаются ComplexInfinityза 1/0. Maple и SageMath возвращают сообщение об ошибке для 1/0 и бесконечность для 1 / 0,0 (0,0 указывает этим системам использовать арифметику с плавающей запятой вместо алгебраической арифметики).

Некоторые современные калькуляторы допускают деление на ноль в особых случаях, когда это будет полезно студентам и, предположительно, будет понятно математикам в контексте. Некоторые калькуляторы, например, онлайн- калькулятор Desmos , допускают арктангенс (1/0). Студентов часто учат, что обратная функция котангенса, арккотангенс , должна быть вычислена, взяв арктангенс обратной величины , и поэтому калькулятор может разрешить арктангенс (1/0), давая результат , который является правильным значением арккотангенса 0. математическое обоснование состоит в том, что предел, когда x стремится к нулю арктангенса 1 / x, равен . ${\ displaystyle {\ tfrac {\ pi} {2}}}$ ${\ displaystyle {\ tfrac {\ pi} {2}}}$

Исторические случайности

21 сентября 1997 года ошибка деления на ноль в «Диспетчере удаленных баз данных» на борту авианосца « Йорктаун» (CG-48) вызвала отключение всех машин в сети, в результате чего двигательная установка корабля вышла из строя.

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

использованная литература

Примечания

Источники

Банч, Брайан (1997) [1982], Математические заблуждения и парадоксы , Довер, ISBN 978-0-486-29664-7
Кляйн, Феликс (1925), Элементарная математика с продвинутой точки зрения / Арифметика, алгебра, анализ , перевод Хедрика, ER; Ноубл, Калифорния (3-е изд.), Дувр
Гамильтон, AG (1982), Числа, множества и аксиомы , Cambridge University Press, ISBN 978-0521287616
Хенкин, Леон; Смит, Норман; Варино, Верн Дж .; Уолш, Майкл Дж. (2012), Retracing Elementary Mathematics , Literary Licensing LLC, ISBN 978-1258291488
Патрик Суппес 1957 (издание Dover 1999 г.), Введение в логику , Dover Publications, Inc., Минеола, Нью-Йорк. ISBN 0-486-40687-3 (PBK.). Эта книга уже напечатана и легко доступна. В §8.5 Суппеса «Проблема деления на ноль» начинается так: «То, что в этом лучшем из всех возможных миров не все идет к лучшему, даже в математике, хорошо иллюстрируется неприятной проблемой определения операции деления в элементарной теории. арифметики »(стр. 163). В своем §8.7 « Пять подходов к делению на ноль» он отмечает, что «... не существует однозначно удовлетворительного решения» (стр. 166).
Шумахер, Кэрол (1996), Глава Zero: Основные понятия абстрактной математики , Addison-Wesley, ISBN 978-0-201-82653-1
Чарльз Сейф 2000, Ноль: Биография опасной идеи , Penguin Books, Нью-Йорк, ISBN 0-14-029647-6 (PBK). Эта отмеченная наградами книга очень доступна. Наряду с увлекательной историей (для некоторых) отвратительного понятия, а для других - культурного достояния, он описывает, как ноль неправильно применяется в отношении умножения и деления.
Альфред Тарски 1941 (издание Dover 1995), Введение в логику и методологию дедуктивных наук , Dover Publications, Inc., Минеола, Нью-Йорк. ISBN 0-486-28462-X (PBK). В §53 Тарского Определения, дефиниендум которого содержит знак тождества, обсуждается, как допускаются ошибки (по крайней мере, относительно нуля). Он заканчивает свою главу «(Обсуждение этой довольно сложной проблемы [ровно одно число, удовлетворяющее определению], здесь будет опущено *)» (стр. 183). Значок * указывает на Упражнение № 24 (стр. 189), в котором он просит доказательства следующего: «В разделе 53 определение числа« 0 »было приведено в качестве примера. Чтобы убедиться, что это определение не приводят к противоречию, ему должна предшествовать следующая теорема: существует ровно одно число x такое, что для любого числа y имеет место: y + x = y "

дальнейшее чтение

Якуб Чайко (июль 2004 г.) « О канторовском пространстве-времени по системам счисления с делением на ноль », Хаос, солитоны и фракталы , том 21, номер 2, страницы 261–271.
Бен Голдакр (07.12.2006). «Профессор математики делит на ноль, - говорит Би-би-си» .
Продолжение преемственности Метафизика 6, стр. 91–109, философская статья 2005 года, вновь представила (древнеиндийскую) идею применимого целого числа, равного 1/0, в более современном (канторианском) стиле.

Languages

In other projects