»ó´Ü¿©¹é
HOME ±ÝÀ¶¡¤ÇÉÅ×Å©
¼öÇÐÀû Áõ¸í, ÄÄÇ»ÅÍ °ËÁõ ½Ã´ë ¿­·È´Ù



Áö³­ 1611³â µ¶ÀÏ Ãµ¹®ÇÐÀÚÀÌÀÚ ¼öÇÐÀÚ, Á¡¼º¼ú»çÀ̱⵵ Çß´ø ÄÉÇ÷¯(Johannes Kepler. »çÁø À§)´Â ¡°»óÀÚ ¾È¿¡ °¡Àå È¿À²ÀûÀ¸·Î (¿À·»Áö °°Àº) ±¸Ã¼¸¦ ½×´Â ¹æ¹ýÀº °úÀÏ°¡°Ô°¡ °¡°Ô ¾Õ¿¡ ¿À·»Áö¸¦ ½×´Â °Í°ú °°Àº ¹æ¹ý¡±À̶ó´Â ÃßÃøÀ» Çß´Ù. ¾óÇÍ ½¬¿ö º¸ÀÌ´Â ÀÌ ¸íÁ¦¸¦ Áõ¸íÇÏ´Â µ¥ °É¸° ½Ã°£Àº ¹«·Á 400³âÀÌ´Ù. ±â°£À¸·Î´Â ¼öÇÐÀÚ¸¦ ±«·ÓÈù ³­Á¦¿´´ø Æ丣¸¶ÀÇ ¸¶Áö¸· Á¤¸®¿Í ¸Â¸Ô´Â ±â°£ÀÌ °É¸° °ÍÀÌ´Ù.

±×ÀÇ ÃßÁ¤Àº ±¸Ã¼¸¦ ½×¾Æ¿Ã¸®´Â µ¥ °¡Àå ÁÁÀº ¹æ¹ý¿¡ ´ëÇÑ °ÍÀÌ´Ù. ±×´Â °¡Àå È¿°úÀûÀÎ ¹æ¹ýÀ¸·Î °úÀÏ°¡°Ô°¡ ¿À·»Áö¸¦ ½×´Â °Í °°Àº ÇǶó¹Ìµå½Ä ´©ÀûÀ̶ó°í ¼³¸íÇß´Ù. ±×·±µ¥ ÀÌ ÃßÁ¤Àº Áö±Ý±îÁö Áõ¸íµÇÁö ¾Ê¾Ò¾ú´Ù. ÀÌ ÄÉÇ÷¯ÀÇ ÃßÁ¤À» Áõ¸íÇÑ °Ç ¹Ì±¹ ÇÇÃ÷¹ö±×´ëÇÐ Å丶½º ÇìÀϽº(Thomas Hales) ¹Ú»ç´Ù.

±×°¡ ÄÉÇ÷¯ÀÇ ÃßÁ¤À» Áõ¸íÇÑ °Ç Áö³­ 1998³âÀÌ´Ù. ±¸Ã¼¸¦ ½×¾Æ ¿Ã¸®´Â ¹æ¹ýÀº ¹«±Ã¹«ÁøÇÏÁö¸¸ ´ëºÎºÐÀº ¼öõ °¡ÁöÀÇ ¹æ¹ý¿¡¼­ º¯ÇüÇÑ °ÍÀÌ´Ù. ±×´Â ±¸Ã¼¸¦ ½×´Â ¹æ¹ýÀ» ¼öÇÐÀûÀ¸·Î Ç¥ÇöÇÒ ¼ö ÀÖ´Â ¼öõ °¡Áö·Î ºÐ·ùÇÑ ´ÙÀ½ ¼ÒÇÁÆ®¿þ¾î¸¦ ÀÌ¿ëÇØ Á¶»çÇß´Ù. Áõ¸íÀº 300ÆäÀÌÁö¿¡ ´ÞÇÏ´Â ¹æ´ëÇÑ ¾çÀ̾ ºñÆò°¡ 12¸íÀÌ ¸Å´Þ·Á 4³â¿¡ °ÉÃÄ È®ÀÎÇß°í Áö³­ 2005³â ¼öÇп¬º¸(Annals of Mathematics)¿¡ 99% È®·ü·Î ¿Ã¹Ù¸¥ °ÍÀ¸·Î ¹ßÇ¥Çß´Ù.



2003³â ÇìÀϽº ¹Ú»ç ¿¬±¸ÆÀÀº ÇöóÀ̽ºÆå(Flyspeck)À̶ó´Â ÇÁ·ÎÁ§Æ®¸¦ ½ÃÀÛÇß´Ù. ÀÌ¹Ì Á¤È®µµ 99%·Î ÄÉÇ÷¯ÀÇ ÃßÁ¤À» ÀÔÁõÇßÁö¸¸ ¿¬±¸ÆÀÀº ÀÛÀº ¿À·ù±îÁö È®ÀÎÇÒ ¼ö ÀÖ´Â Ä¿³ÎÀ» °®Ãá ÇÁ·Î±×·¥À» ÀÌ¿ëÇØ Áõ¸íÀÌ ¿Ç´Ù´Â °ÍÀ» üũÇß´Ù.

32ÄÚ¾î º´·Ä ó¸® ½Ã½ºÅÛÀ» ÀÌ¿ëÇØ Á¤´ä ¸ÂÃ߱⿡ µé¾î°£ °ÍÀÌ´Ù. ÀÌ °ËÁõ¿¡ ÀÌ¿ëÇÑ ÇÁ·Î±×·¥Àº Á¸ Çظ®½¼(John Harrison)ÀÌ °³¹ßÇÑ HOL ¶óÀÌÆ®(HOL Light)¿Í À̻级(Isabelle)ÀÌ´Ù. ÀÌ ÇÁ·Î±×·¥Àº ÀÏ·ÃÀÇ ¼öÇÐÀû Áõ¸í¿¡ ´ëȯ Á¤È®µµ¸¦ È®ÀÎÇÒ ¼ö ÀÖµµ·Ï ¼³°èµÇ¾î ÀÖ´Ù. ÀÌ °úÁ¤À» °ÅÃÄ ¿ÃÇØ 8¿ù 10ÀÏ ¿¬±¸ÆÀÀº ÇìÀϽº ¹Ú»çÀÇ Áõ¸íÀ» ÄÄÇ»ÅÍ·Î ºÐ¼®ÇÑ °á°ú ¸Â¾Ò´Ù´Â ¹ßÇ¥¸¦ ÇÑ °ÍÀÌ´Ù.

ÇìÀϽº ¹Ú»ç´Â ±â¼úÀº Àΰ£ÀÌ ¼öÇÐÀû Áõ¸íÀÇ Á¤È®¼ºÀ» Æò°¡ÇÒ ÇÊ¿ä°¡ ¾ø¾îÁö°Ô ¸¸µé¾ú´Ù¸é¼­ ¾ÕÀ¸·Î ¸¹Àº ¼öÇÐÀÚÀÇ Áõ¸í Á¤È®µµ¸¦ Æò°¡ÇÏ´Â µ¥ ÄÄÇ»ÅÍ°¡ ¾²ÀÌ°Ô µÉ °ÍÀ̶ó°í ¹àÇû´Ù. ¼¼°èÀûÀÎ ¼öÇÐÀÚ°¡ ÄÄÇ»Å͸¦ ÀÌ¿ëÇØ ÀÚ½ÅÀÇ Áõ¸íÀ» °ËÁõÇß´Ù´Â °Í ÀÚü°¡ ÀÇ¹Ì ÀÖ´Â ÄÉÀ̽º ½ºÅ͵𰡠µÉ °ÍÀ̶ó´Â ¼³¸íÀÌ´Ù. °ü·Ã ³»¿ëÀº ÀÌ°÷¿¡¼­ È®ÀÎÇÒ ¼ö ÀÖ´Ù.

ÀÌ»ó¿ì ±âÀÚ  oowoo73@techholic.co.kr

<ÀúÀÛ±ÇÀÚ © Å×ũȦ¸¯, ¹«´Ü ÀüÀç ¹× Àç¹èÆ÷ ±ÝÁö>

ÀÌ»ó¿ì ±âÀÚÀÇ ´Ù¸¥±â»ç º¸±â
Àαâ±â»ç
Ãßõ±â»ç
±â»ç ´ñ±Û 0°³
Àüüº¸±â
ù¹ø° ´ñ±ÛÀ» ³²°ÜÁÖ¼¼¿ä.
¿©¹é
¿©¹é
Àç¹ÌÀÖ´Â Å×Å©¿ùµå ¼¼»ó
¿©¹é
¿©¹é
¿©¹é
¿©¹é
¿©¹é
¿©¹é
¿©¹é
Back to Top