°Ü¿ï¹æÇÐÀº ¼öÇÐÀÇ ±âº»±â¸¦ °®Ãߴ Ȳ±Ý°ú °°Àº Áß¿äÇÑ ½Ã±â´Ù. ¹®Á¦¸¦ ÇØ°áÇÒ ¼ö ÀÖ´Â ‘³í¸®ÀûÀÎ »ç°í·Â’À» °®Ãß±â À§Çؼ´Â ¹®Á¦¸¦ ÇØ¼®ÇÏ´Â ³»¿ë ÆÄ¾ÇÀÌ ¼±ÇàµÇ¾î¾ß ÇÑ´Ù.
°Ü¿ï¹æÇÐÀº ¼öÇÐÀû Áö½ÄÀ» ½×À» ¼ö ÀÖ´Â ÃÖÀû±â´Ù. ÀÌÈÄ Çбâ Áß¿¡´Â ±×µ¿¾È ½ÖÀÎ ¼öÇÐÀû Áö½ÄÀ» ÀÀ¿ëÇÏ¿© ¹®Á¦¿¡ Àû¿ëÇÏ´Â ÈÆ·Ã°úÁ¤À» °ÅÄ¡¸ç ½ÃÇè¿¡ ´ëºñÇÏ°í ¿Ï¼ºÇÒ ¼ö ÀÖ´Ù. °íµî¼öÇÐÀ» ÀßÇÏ´Â µ¥ ÀÖ¾î ¿Õµµ´Â ¾øÁö¸¸ ¿Ã¹Ù¸¥ ¹æ¹ýÀº ÀÖ´Ù.
ù ¹øÂ°, °ø¸®(axiom:Àý´ëÀûÀÎ Áø¸®)¿Í Á¤ÀÇ(definition:¿ë¾îÀÇ ¶æÀ» ¸íÈ®È÷ ¹àÇô ±ÔÁ¤)µéÀ» Á¤È®È÷ ÀÌÇØÇÏ°í ¸Ó¸´¼Ó¿¡ ´ã¾ÆµÎ¾î¾ß ÇÑ´Ù.
µÎ ¹øÂ°, °ø¸®¿Í Á¤ÀǸ¦ ÅëÇØ ¸¸µé¾îÁö´Â Á¤¸®(theorem: ¼öÇÐÀû ÀÌ·Ð)À» ½º½º·Î Áõ¸í(proof) Çϰí ÀÌÇØÇÒ ¼ö ÀÖ¾î¾ß ÇÑ´Ù.
¸¶Áö¸·À¸·Î ÀÌ °úÁ¤À» ÅëÇØ ½ÀµæÇÑ Áö½ÄÀ» ³í¸®ÀûÀ¸·Î À籸¼ºÇÏ¿© ¹®Á¦¸¦ ÇØ°áÇØ ³ª°¥ ¼ö ÀÖ´ÂÁö Ç®ÀÌ(solve)¸¦ ÅëÇØ È®ÀÎÇÑ´Ù.
ÀÌ·¯ÇÑ °úÁ¤ÀÌ ¹®Á¦¿Í À¯ÇüÀ» ¾Ï±âÇÏ´Â °øºÎº¸´Ù ´À¸° °Í °°°í, µûºÐÇØ º¸ÀÌÁö¸¸, À̸¦ ÅëÇØ °³³ä°ú ¿ø¸®¸¦ üµæÇÑ ÇлýÀº Æø¹ßÀûÀÎ ½Ç·Â Çâ»óÀ» °æÇèÇÒ ¼ö ÀÖ´Ù. ‘¼öÇÐÀº ³í¸®Àû »ç°íÀÇ ÈÆ·Ã’À̹ǷΠÁ¤È®ÇÑ °³³ä°ú ¿ø¸®ÀÇ ÀÌÇØ ¾øÀÌ ³í¸®·ÂÀÌ Çü¼ºµÉ ¼ö ¾ø°í ±íÀº »ç°íÀÇ È®ÀåÀ¸·Î Ã߷зÂ, ¹®Á¦ ÇØ°á·ÂÀÌ »ý¼ºµÉ ¸® ¸¸¹«ÇÏ´Ù.
![]() |
[µµ¿ò¸» : ¹Ú¿µ¿í ¿¬¼¼ÇÏÀ̸ž²Çпø ºÀ¼±µ¿Á¡ ¿øÀå]
±èÁö¿ì ±âÀÚ kkk7@hanmail.net
<ÀúÀÛ±ÇÀÚ © Çѱ¹¿µ³ó½Å¹®, ¹«´Ü ÀüÀç ¹× Àç¹èÆ÷ ±ÝÁö>