Axiom

 

Turing ±â°è¿Í Çü½Äü°è´Â ÀÏ´ëÀÏ ´ëÀÀÀ» ÀÌ·é´Ù ........... (Turing ±â°è : ±èÈ«Á¾)

Turing ±â°è

Çü½Ä ü°è

ÀÔ·Â

°ø¸®

ÇÁ·Î±×·¥

Ã߷бÔÄ¢ (Inference Rule)

Ãâ·Â

Á¤¸® (Theorem)

¸íÁ¦ (Proposition, Thesis, Statement) ´Â ³í¸®ÇÐÀûÀ¸·Î Âü°ú °ÅÁþÀÌ ºÐ¸íÇÑ ¹®ÀåÀ» ¸»ÇÑ´Ù. °ø¸® (Axiom) ´Â ÇϳªÀÇ À̷п¡¼­ Áõ¸í ¾øÀÌ ¹Ù¸£´Ù°í ÇÏ´Â ¸íÁ¦, Áï Á¶°Ç ¾øÀÌ ÀüÁ¦µÈ ¸íÁ¦ÀÌ´Ù ..... ³í¸®Çп¡¼­´Â ¹«Áõ¸í¸íÁ¦(Ùíñû٥٤ð¹) ¶ó°íµµ ÇÑ´Ù. ¼öÇп¡¼­ÀÇ °ø¸®´Â Euclid ÀÇ ¡¶±âÇÏÇпøº»¡·ÀÇ °øÅë°³³ä¿¡¼­ À¯·¡Çϸç, ±âÇÏÇÐÀ» ¼ö¸³ÇØ °¡±â À§ÇÑ ÀüÁ¦Á¶°ÇÀ¸·Î »ý°¢µÇ´Â °ÍÀÌ´Ù. À¯Å¬¸®µå´Â ±×ÀÇ ¡®ÀÚ¸íÇÑ °ÍÀ̶ó°í »ý°¢µÇ´Â ¸íÁ¦, Áï Áõ¸íÀ» ¿äÇÏÁö ¾Ê´Â ¸íÈ®ÇÑ ¸íÁ¦¡¯ Áß¿¡¼­ ±âÇÏÇРƯÀ¯ÀÇ ¸íÁ¦¸¦ °øÁØ, º¸´Ù ÀϹÝÀûÀÎ °ÍÀ» °ø¸®¶ó°í ÇÏ¿´´Ù. °ø¸®·°øÁØÀº µÞ³¯ ÀÏ°ýÇؼ­ °ø¸®¶ó°í ±ÔÁ¤Áö¾ú´Ù. À¯Å¬¸®µåÀÇ ¡¶±âÇÏÇпøº»¡·¿¡¼­´Â ÀÌ¿Í °°Àº °ø¸®¿Í Á¤ÀǸ¸À» ±Ù°Å·Î ÇÏ¿© ³í¸®ÀûÀÎ ¾ö¹ÐÇÑ Áõ¸í¿¡ µû¶ó ±âÇÏÇÐÀ» ±¸¼ºÇÏ¿´À¸¸ç, ¿À·§µ¿¾È ÀÌ°ÍÀÌ Ã¼°èÀûÀÎ Çй®ÀÇ ÀüÇüó·³ »ý°¢µÇ¾ú´Ù.

±×·¯³ª À¯Å¬¸®µå°¡ º¸¿©ÁØ °ø¸® Áß 'ÆòÇ༱ÀÇ °ø¸®'´Â ´Ù¸¥ ¾î´À °ø¸®·°øÁغ¸´Ùµµ Ç¥ÇöÀÌ ±æ°í º¹ÀâÇؼ­ 'ÀÚ¸íÇÑ ÀÌÄ¡'¡¯¶ó°í ÇÏ´Â µ¥¿¡ Àǹ®À» Ç°°Ô ÇÏ¿´´Ù. ÀÌ Àǹ®¿¡¼­ ºñ·ÔµÈ °ÍÀÌ ºñÀ¯Å¬¸®µå±âÇÏÇÐÀ̸ç, ÀÌ·Î ÀÎÇØ ¼öÇÐÀڵ鿡°Ô '°ø¸®'ÀÇ ¼º°Ý¿¡ ´ëÇÑ ¹Ý¼ºÀÇ ±âȸ¸¦ ÁÖ°Ô µÇ¾î, Á¡Â÷·Î °ø¸®¿¡¼­ 'ÀÚ¸íÇÑ ÀÌÄ¡'¶ó´Â ¶æÀÌ ¾àÇØÁö°í, ´ÜÁö 'ÀÌ·ÐÀÇ ±âÃʷμ­ °¡Á¤ÇÑ ¸íÁ¦'¸¦ ±× ÀÌ·ÐÀÇ °ø¸®¶ó°í ÇÏ°Ô µÇ¾ú´Ù.

David Hilbert ´Â, ¸ðµç ÀÌ·ÐÀº ¾ö¹ÐÇÑ °ø¸®Àû ¹æ¹ýÀ¸·Î Á¤¸³ÇØ¾ß ÇÑ´Ù´Â »ý°¢À» ¹ßÇ¥ÇÏ¿© °ø¸®ÁÖÀǼöÇÐ (¸ðµç ¼öÇÐÀÇ ÀÌ·ÐÀº ¸î °³ÀÇ °ø¸®¿¡¼­ Ãâ¹ßÇÏ¿© ¾ö¹ÐÇÑ Ã߷п¡ ÀÇÇØ ÀÌ·ç¾îÁ® ÀÖ¾î¾ß ÇÑ´Ù°í ÇÏ´Â ÁÖÀå) À» À̲ø¾î³Â´Ù. Çö´ëÀÇ ¼öÇÐÀº ¸ðµÎ ÀÌ °ø¸®ÁÖÀÇ¿¡ µû¶ó ¼ö¸³µÇ°í ÀÖ´Ù. ¾î¶² ÇϳªÀÇ ÀÌ·ÐÀ» °ø¸®ÁÖÀÇÀû °ßÁö¿¡¼­ Á¤¸®ÇÏ´Â ÀÏÀ» °ø¸®È­ÇÑ´Ù°í ÇÑ´Ù. °ø¸®ÁÖÀÇ´Â ¡¶±âÇÏÇбâÃʷУºGrundlagen der Geometrie¡·(1899)À¸·Î ¹ßÇ¥ÇÏ¿´´Ù. ÀÌ·ÐÀÇ ±âÃÊÀÎ °¡Á¤(Ê£ïÒ)À» °ø¸®¶ó°í ÇÑ´Ù.

°ø¸®°è (axiomatic system) ´Â ¼öÇÐÀûÀÎ ÀÌ·Ðü°èÀÇ ±âÃʷμ­ ¼³Á¤µÈ ¸íÁ¦µéÀ» Çϳª·Î ¹­Àº °Í ...... ¸íÁ¦´Â º¸Åë ´Ü 1°³·Î µÇ¾î ÀÖÁö ¾Ê°í ¸î °³ÀÇ ¸íÁ¦µé·Î ÀÌ·ç¾îÁ® ÀÖ´Ù. ÀÌ·± ¸íÁ¦µéÀ» Çϳª·Î ¹­¾î¼­ ±× ÀÌ·ÐÀÇ °ø¸®°è¶ó°í ÇÑ´Ù. À̸¦Å׸é, À¯Å¬¸®µå ±âÇÏÇÐÀ» Á¤¸®ÇÑ D.Èúº£¸£Æ®ÀÇ ¡¶±âÇÏÇбâÃʷС·¿¡¼­´Â °áÇÕÀÇ °ø¸®·¼ø¼­ÀÇ °ø¸®·ÇÕµ¿ÀÇ °ø¸®·ÆòÇ༱ÀÇ °ø¸®·¿¬¼Ó¼ºÀÇ °ø¸® µîÀ¸·Î ÀÏÄþîÁö´Â 5°³ÀÇ °ø¸®±ºÀ¸·Î µÈ °ø¸®°è¸¦ µé°í ÀÖ´Ù.

term :

°ø¸® (Axiom)     Á¤¸® (Theorem)      Euclid      David Hilbert     Ã߷бÔÄ¢ (Inference Rule)

site :

Wikipedia : Axiom    À§Å°¹é°ú : °ø¸®