lieutenant2k (lieutenant2k) wrote,
lieutenant2k
lieutenant2k

для математиков

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

   Доказательство примером.
       Автор предоставляет доказательство только для случая n=2 и
       предполагает, что оно содержит большинство идей общего случая.
   Доказательство отпугиванием.
       'Тривиально.'
   Доказательство энергичным жестикулированием руками
       Отлично работает в небольшой аудитории или в обстановке
       семинарского занятия.
   Доказательство при помощи использования громоздких обозначений
       Лучше всего делается посредством использования хотя-бы четырёх
       алфавитов и специальных символов.
   Доказательство истощением.
       Здесь подойдёт ссылка на две-три журнальных статьи, необходимые
       для понимания доказательства.
   Доказательство опусканием подробностей.
       'Читатель может легко восполнить недостающие детали.'
       'Остальные 253 случая рассматриваются аналогично.'
       '...'
   Доказательство сбиванием с толку
       Длинная бессюжетная последовательность обладающих или не
       обладающих смыслом утверждений, связанных как-то синтаксически.
   Доказательство желаемым цитированием
       Автор цитирует отрицание, утверждение 'наоборот' или обобщение
       теоремы из литературы, чтобы поддержать своё утверждение.
   Доказательсто консолидированием
       Ну разве могут ошибаться сразу три правительственных агенства?
   Доказательство ссылкой на выдающийся авторитет
       'Я видел Карпа в лифте и он сказал, что задача, вероятно, NP-полна.'
       [комментарий переводчика: Карп - один из авторов теории
       сложности вычислений, в которой NP-полные проблемы занимают
       центральное место.]
   Доказательство при личном общении
       'Задача удаления раскрашенных циклов в 8-мерном пространстве NP-полна.'
   Доказательство сведением к неправильной задаче
       'Чтобы увидеть, что задача удаления раскрашенных циклов
       в бесконечномерном пространстве разрешима, мы сведём её к
       проблеме останова машины Тьюринга.'
   Доказательство ссылкой на недоступную литературу
       Автор цитирует простое следствие теоремы, которую следует
       искать в мемуарах Словенского Филологического Сообщества от 1883
       года, которые распространяются приватно в пределах ограниченного
       круга лиц.
   Доказательство значимостью
       Большое количество полезных следствий выводятся из предложения,
       которое находится под вопросом.
   Доказательство накопленными свидетельствами
       Длительный и старательный поиск не выявил контрпримера.
   Космологическое доказательство
       Отрицание предложения невообразимо или бессмыслено. Популярно
       для доказательств сущестования бога.
   Доказательство перекрёстной ссылкой
       Согласно источнику A, теорема 5 следует из теоремы 3 источника
       B, где показано её доказательство на основании следствия 6.2 из
       источника C, которое является простым следствием теоремы 5
       источника A.
   Доказательство при помощи мета-доказательства
       Предлагается метод, при помощи которого строится требуемое
       доказательство. Корректность метода доказывается при помощи
       либо того доказательства, которое строится этим методом,
       либо непосредственно этим методом.
   Доказательство при помощи рисунка
       Более убедительная форма доказательства примером.
       Хорошо комбинируется с доказательством путём опускания подробностей.
   Доказательство сильным по интонации высказыванием
       Полезно обладать каким-то авторитетом по отношению к слушателям.
   Доказательство ссылкой-призраком
       Ничего даже отдалённо похожего на цитированную теорему нет в
       источнике, на который ссылаются.
   Доказательство ссылкой вперед
       Ссылка часто даётся на близкую к публикации работу автора,
       которая часто не так близка к публикации, как первая.
   Доказательство семантическим смещением.
       Некоторые стандарные, но неудобные определения изменены, для
       формулировки результата.
   Доказательство воззванием к интуиции
       Здесь часто помогают рисунки тучек и подобных форм.
Tags: доказательство, математика, юмор
Subscribe

  • ЧГК. Первая лига Киева

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

  • ЧГК. Первая лига Киева

    Продолжаем тренировать свой мозг с помощью пять вопросов с этапов Первой лиги Киева по "Что? Где? Когда" прошлых лет. Бонусный вопрос не забыт.…

  • ЧГК. Первая лига Киева

    Нет времени объяснять - вперед, отвечать на очередные пять вопросов с этапов Первой лиги Киева по "Что? Где? Когда" прошлых лет. Есть также и…

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 5 comments