Из Википедии, бесплатной энциклопедии
  (Перенаправлено из контрпримеров )
Перейти к навигации Перейти к поиску

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

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

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

В математике контрпримеры часто используются для доказательства границ возможных теорем. Используя контрпримеры, чтобы показать, что некоторые гипотезы ложны, математические исследователи могут избежать тупика и научиться изменять гипотезы, чтобы получить доказуемые теоремы. Иногда говорят, что математическое развитие состоит прежде всего в поиске (и доказательстве) теорем и контрпримеров. [4]

Пример прямоугольника [ править ]

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

В этом случае она может либо попытаться доказать истинность утверждения, используя дедуктивное рассуждение , либо попытаться найти контрпример утверждению, если она подозревает, что оно ложное. В последнем случае контрпримером может быть прямоугольник, который не является квадратом, например прямоугольник с двумя сторонами длиной 5 и двумя сторонами длиной 7. Однако, несмотря на то, что она нашла прямоугольники, которые не были квадратами, все прямоугольники она сделала У находки было четыре стороны. Затем она выдвигает новую гипотезу «Все прямоугольники имеют четыре стороны». Это логически слабее, чем ее первоначальная гипотеза, поскольку у каждого квадрата четыре стороны, но не каждая четырехгранная форма является квадратом.

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

  1. «Все формы, которые являются прямоугольниками, являются квадратами».
  2. «Все фигуры с четырьмя сторонами равной длины - квадраты».

Контрпример к (1) уже был приведен выше, а контрпример к (2) представляет собой неквадратный ромб . Таким образом, математик теперь знает, что оба допущения действительно были необходимы.

Другие математические примеры [ править ]

См. Также: Контрпримеры в топологии и Минимальный контрпример.

Контрпримером к утверждению «все простые числа являются нечетными » является число 2, так как это простое число, но не нечетное число. [2] Ни одно из чисел 7 или 10 не является контрпримером, поскольку ни одного из них недостаточно, чтобы противоречить утверждению. В этом примере число 2 фактически является единственным возможным контрпримером к утверждению, хотя одного этого достаточно, чтобы противоречить утверждению. Аналогичным образом утверждение «Все натуральные числа либо простые, либо составные » содержит число 1 в качестве контрпримера, поскольку 1 не является ни простым, ни составным.

Гипотеза Эйлера о сумме степеней была опровергнута контрпримером. Он утверждал , что , по крайней мере п п й сила была необходима , чтобы подвести к другому п - й мощности. Эта гипотеза была опровергнута в 1966 г. [5] контрпримером с n  = 5;  Теперь известны другие n = 5 контрпримеров, а также несколько  контрпримеров n = 4. [6]

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

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

В философии [ править ]

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

Например, в Plato «s Горгий , Калликл , пытаясь определить , что это значит сказать , что некоторые люди„лучше“ , чем другие, утверждает , что те , кто сильнее , тем лучше.

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

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

Так случилось, что он изменил свое заявление, сказав «мудрее» вместо «сильнее», утверждая, что никакое численное превосходство не может сделать людей мудрее.

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

  • Противоречие
  • Исключение, подтверждающее правило
  • Минимальный контрпример

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

  1. ^ "Окончательный словарь высшего математического жаргона - контрпример" . Математическое хранилище . 2019-08-01 . Проверено 28 ноября 2019 .
  2. ^ a b «Математические слова: контрпример» . www.mathwords.com . Проверено 28 ноября 2019 .
  3. ^ Вайсштейн, Эрик В. «Контрпример» . mathworld.wolfram.com . Проверено 28 ноября 2019 .
  4. ^ "Что такое контрпример?" . www.cut-the-knot.org . Проверено 28 ноября 2019 .
  5. ^ Лендер, Паркин (1966). «Контрпример к гипотезе Эйлера о суммах одинаковых степеней» (PDF) . Бюллетень Американского математического общества . Американское математическое общество. 72 (6): 1079. DOI : 10.1090 / s0002-9904-1966-11654-3 . ISSN 0273-0979 . Проверено 2 августа 2018 .  
  6. ^ Elkies Ноам (октябрь 1988). «На A4 + B4 + C4 = D4» (PDF) . Математика вычислений . 51 (184): 825–835.

Дальнейшее чтение [ править ]

  • Имре Лакатос , Доказательства и опровержения Cambridge University Press, 1976, ISBN 0521290384 
  • Линн Артур Стин и Дж. Артур Сибах младший : Контрпримеры в топологии , Спрингер, Нью-Йорк, 1978, ISBN 0-486-68735-X . 
  • Джозеф П. Романо и Эндрю Ф. Сигел: контрпримеры в вероятности и статистике , Chapman & Hall, Нью-Йорк, Лондон 1986, ISBN 0-412-98901-8 . 
  • Гэри Л. Уайз и Эрик Б. Холл: контрпримеры в вероятностном и реальном анализе . Oxford University Press, Нью-Йорк, 1993. ISBN 0-19-507068-2 . 
  • Бернард Р. Гельбаум, Джон М. Х. Олмстед: контрпримеры в анализе . Исправленное переиздание второго (1965) издания, Dover Publications, Mineola, NY 2003, ISBN 0-486-42875-3 . 
  • Джордан М. Стоянов: Контрпримеры в вероятности . Второе издание, Wiley, Chichester 1997, ISBN 0-471-96538-3 . 
  • Майкл Копобьянко и Джон Маллуццо (1978) Примеры и контрпримеры в теории графов , Elsevier North-Holland ISBN 0-444-00255-3 . 

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

  • Цитаты, связанные с контрпримером в Викицитатнике