?

Log in

No account? Create an account

Previous Entry | Next Entry

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

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

Tags:

Profile

oak
fregimus
L. Fregimus Vacerro

Latest Month

March 2016
S M T W T F S
  12345
6789101112
13141516171819
20212223242526
2728293031  
Powered by LiveJournal.com
Designed by Tiffany Chow