Proof
È®·üÁõ¸í (probabilistic proof) Àº ÇϳªÀÇ ¿¹°¡ È®·üÀÌ·ÐÀÇ ¹æ¹ý¿¡ ÀÇÇØ Á¸ÀçÇÑ´Ù´Â °ÍÀÌ º¸¿©Áö´Â Áõ¸íÀ» ÀǹÌÇϸç - ¾î¶² Á¤¸®°¡ '¾Æ¸¶µµ' ÂüÀÏ °ÍÀÌ´Ù ¶ó´Â ÁÖÀå¿¡ ÀÇÇÑ °ÍÀÌ ¾Æ´Ï´Ù. ÈÄÀÚÀÇ Ãß·Ð Çü½ÄÀ» '°¡´É¼º ÁÖÀå (plausibility argument)' ¶ó°í ºÎ¸¥´Ù ; Collatz conjecture ÀÇ °æ¿ì¿¡¼ ó·³ ÂüµÈ Áõ¸í°ú´Â °Å¸®°¡ ¸Ö´Ù´Â °ÍÀÌ ¸íÈ®ÇÏ´Ù. È®·üÁõ¸íÀº Á¸Àç (existence) Á¤¸®¸¦ º¸¿©ÁÖ´Â ¿©·¯ ¹æ¹ýÁß Çϳª·Î¼, ±¸Ãà¿¡ ÀÇÇÑ Áõ¸í°ú´Â ´Ù¸£´Ù.
¿¹¸¦µé¸é "¾î¶² X °¡ f(X) ¸¦ ¸¸Á·ÇÑ´Ù" ¸¦ Áõ¸íÇϰíÀÚ ÇÑ´Ù¸é, existence or nonconstructive Áõ¸íÀº f(X) ¸¦ ¸¸Á·ÇÏ´Â X °¡ Á¸ÀçÇÑ´Ù ´Â °ÍÀ» Áõ¸íÇÒ °ÍÀÌÁö¸¸, ±×·¯ÇÑ X °¡ ¾î¶»°Ô ¾ò¾îÁö´Â Áö¸¦ ¸»ÇÏÁö ¾Ê´Â´Ù. ±×·¯³ª constructive Áõ¸í¿¡¼´Â ±×·¸°Ô ÇÒ °ÍÀÌ´Ù.
ÂüÀ̶ó°í »ý°¢µÇÁö¸¸ ¾ÆÁ÷ Áõ¸íµÇÁö´Â ¾ÊÀº ¹®ÀåÀ» ÃßÃø (conjecture) ¶ó°í ºÎ¸¥´Ù.
¶§¶§·Î ¾î¶² ¹®ÀåÀÌ ÁÖ¾îÁø °ø¸® ÁýÇÕÀ¸·ÎºÎÅÍ ¾Æ¸¶µµ Áõ¸íµÉ ¼ö ¾øÀ» °ÍÀ̶ó´Â °ÍÀ» Áõ¸íÇÏ´Â °ÍÀº °¡´ÉÇÏ´Ù ; continuum hypothesis ¸¦ ±× ¿¹·Î¼ µé ¼ö ÀÖ´Ù. ´ëºÎºÐÀÇ °ø¸® ½Ã½ºÅÛ¿¡¼, Áõ¸íµÉ ¼öµµ ¾ø°í ¹ÝÁõµÉ ¼öµµ ¾ø´Â ¹®ÀåµéÀÌ Á¸ÀçÇÑ´Ù. ±«µ¨ÀÇ ºÒ¿ÏÀü¼º Á¤¸® (Incompleteness Theorem) ¸¦ Âü°íÇ϶ó. .... (Wikipedia : Mathmatical proof)
..... ÀÌ ±â¼úÀº ´ÙÀ½°ú °°Àº ÇϳªÀÇ ¹ýÄ¢¿¡ ÀÇÁ¸ÇÑ´Ù.
¸¸¾à ¿Í
°¡ ¸ðµÎ ÂüÀ̸é
Àº ÂüÀÌ´Ù. (1)
(1) ÀÇ Æ¯º°ÇÑ °æ¿ì´Â ´ÙÀ½°ú °°´Ù.
¸¸¾à ¿Í
°¡ ÂüÀ̸é
´Â ÂüÀÌ´Ù.
¸¸¾à ¿Í
ÀÌ ÂüÀ̸é
Àº ÂüÀÌ´Ù. (2)
À̰ÍÀº Ãß·ÐÀ̳ª Á¤¸® Áõ¸íÀÇ ¸¹Àº ÄÄÇ»ÅÍ ÇÁ·Î±×·¥ÀÇ ±âÃÊ (basis) ÀÌ´Ù. ... (Richard Johnsonbaugh, 1999)
term :
Áõ¸í (Proof) µµÃâ¹ý (Resolution) Á¤¸®Áõ¸í (Theorem Proving)
paper :
Áõ¸í (Proof) ºÐÇØÁõ¸í (Resolution Proof) : Richard Johnsonbaugh