L. Fregimus Vacerro (fregimus) wrote,
L. Fregimus Vacerro
fregimus

Categories:

Тьюринг о математической интуиции

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

Turing A. Systems of Logic Based on Ordinals, 11: The Essential Turing, B. J. Copeland, ed., Oxford Uni Pr: 2004.
Tags: math
Subscribe

  • Закон Соула

    «Для каждого эксперта существует равный по абсолютной величине противоположный эксперт». T. Sowell (1995). The Vision of the Anointed. (Источник.)…

  • Неуклонный прогресс

    Очень хорошая статья в «Атлантике» о Дугласе Хофштадтере (по-английски): «Человек, который учит машины думать». Вспомнил о ней в недавнем разговоре,…

  • Краткий курс философии позитивизма

    Копая вглубь истории спектроскопии, не могу не поделиться цитатой из весомого (6 томов!) «Курса позитивной философии» Огюста нашего Конта…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 0 comments