±Û¾´ÀÌ: semy (¾È´ÜÅ×)
³¯ Â¥: Fri Jun 9 13:36:00 2000
Á¦ ¸ñ: [°í±ÞB¹Ý] °úÁ¦ ¹× ¿¬½À º¸°­¿¡ ´ëÇØ ¾Ë¸³´Ï´Ù.

°í±Þ¹ÌÀû B¹Ý(±Ý¿äÀÏ9½Ã 1217È£ °­ÀǽǹÝ) Á¶±³ °íºÀ±ÕÀÔ´Ï´Ù.

1. ¿¬½À º¸°­

¿¬½À º¸´çÀÌ ÀÖ½À´Ï´Ù. ±â¸»°í»ç¸¦ ´ëºñÇÑ Æ¯°­ÀÔ´Ï´Ù.
½ÃÇè ÀüÀü³¯ÀÎ 19ÀÏ(¿ù) Àú³á 7½Ã, °°Àº °­ÀǽÇÀÎ 1È£°ü 1217È£ÀÔ´Ï´Ù.
Ȥ½Ã ¹®ÀÌ Àá°ÜÀÖ´Ù¸é ±× ¿·¹æ¿¡¼­ Çϵµ·Ï ÇϰڽÀ´Ï´Ù.

2. °úÁ¦¹°¿¡ ´ëÇØ

¿À´Ã(9ÀÏ) ÀÚÁ¤±îÁö 13ÁÖÂ÷±îÁöÀÇ °úÁ¦¹°À» ¸ðµÎ Á¦ÃâÇϽðí,
³ª¸ÓÁö(14,15ÁÖÂ÷) °úÁ¦¹°Àº ½ÃÇè´çÀϱîÁö Á¦ÃâÇØ ÁÖ¼¼¿ä.
µô·¹ÀÌ´Â ½ÃÇèÀÌ ³¡³­ Á÷ÈÄÀÇ Åä¿äÀÏ(24ÀÏ) ÀÚÁ¤±îÁö¸¸ ¹Þ½À´Ï´Ù.

Ãâ¼®À» ´ë½ÅÇÒ 1ÂÊÂ¥¸® º¸°í¼­µµ °°Àº Åä¿äÀÏ(24ÀÏ) ÀÚÁ¤±îÁö Á¦ÃâÇØÁÖ¼¼¿ä.
³»¿ëÀº Àü¿¡µµ ¾Ë·Áµå·ÈµíÀÌ ±³°úÆò°¡¿¡ ¹Ý¿µµÇÁö ¾Ê´Â °ú¿ÜȰµ¿¿¡ ´ëÇÑ °ÍÀÔ´Ï´Ù.
¿¹¸¦ µé¾î µ¿¾Æ¸®¿¡¼­ °ø¿¬À̳ª Àü½Ãȸ µîÀÇ È°µ¿À» ÇßÀ» ¶§¿¡´Â
±× ÆÊÇ÷¿°ú ©¸·ÇÑ ÀÚ½ÅÀÇ °¨»óÀ» Àû¾îÁ¦ÃâÇÏ½Ã¸é µÇ°Ú°í,
ÇÁ·Î±×·¥À̳ª ¹®ÇÐÀÛǰ, ȤÀº ±×¸² µîÀÇ Ã¢ÀÛȰµ¿ÀÌ ÀÖ¾ú´Ù¸é ±×¿¡ ´ëÇÑ
°£·«ÇÑ ¼Ò°³¿Í °¨»ó~ ±×¿Ü¿¡ ¾ßÇÐ µîÀÇ ºÀ»çȰµ¿À̳ª, ȤÀº ±¹Åä´ëÀåÁ¤À̶ó°Å³ª,
ȤÀº Ưº°È÷ ¼ÓÇÑ ÆÀÀÌ ¾ø´õ¶óµµ È¥ÀÚ¼­ Ãß±¸Çؿ ¾î¶² Ȱµ¿ÀÌ ÀÖ¾ú´Ù´Â °ÍµÎ ÁÁ±¸.
À̰ÍÀú°Í ¾Æ¹«°Íµµ ¾øÀÌ ¿ÀÁ÷ °øºÎ¸¸ ÇϽŠºÐÀº ¼öÇб³¾çµµ¼­¸¦ Àаí ªÀº(1ÂÊ)
µ¶ÈݨÀ» Àû¾îÁ¦ÃâÇϼ¼¿ä. Ã¥ÀÌ ¾øÀ¸¸é http://math.kaist.ac.kr/~semi/logic/
¿¡ °¡¼­ "¼öÇÐÀÇ ¹ß°ß" ½Ã¸®Áî Áß Çϳª¸¦ ÀÐÀ¸¼¼¿ä.
³»¿ëÀ» Àß ¸¸µé·Á°í ³Ê¹« ¾Ö¾²Áö ¸¶½Ã°í ÆíÈ÷ Àû¾î Á¦ÃâÇϼ¼¿ä.
Á¦ÃâÇÏ¸é ´ëºÎºÐ ´Ù ¸¸Á¡ÀÔ´Ï´Ù. Á¤¸» Á¦´ë·ÎµÈ Ȱµ¿ÀÌ ÀÖ¾ú´ø ºÐÀº
Á¶±Ý ´õ ÀÚ¼¼ÇÑ º¸°í¼­¸¦ Á¦ÃâÇϽøé plus¸¦ µå¸± ¼ö ÀÖ½À´Ï´Ù.

±×¸®°í, ¼÷Á¦ Á¦ÃâÀ» ÀÚÁÖ »©¸Ô¾ú´ø ºÐÀº ±³ÀçÀÇ Problems(Á» ¾î·Á¿î ¹®Á¦µé,
¾ËÁÒ?) ¿¡ ÀÖ´Â ¹®Á¦µéÀ» ±×µ¿¾È Á¦ÃâÇÏÁö ¸øÇß´ø ¼÷Á¦ ºÐ·®¿¡ ¸ÂÃß¾î Ç®¾î
Á¦ÃâÇÏ¸é ²Ï ÀÎÁ¤ÇØ µå¸®µµ·Ï ÇϰڽÀ´Ï´Ù. ¿ª½Ã 24ÀÏ Åä¿äÀϱîÁö.

_ ,, 7º¸´Ù Å©¸é ¿Ö ¾È µÇ³Ä±¸?
_(_)// Àç¹Ì°¡ ¾øÀó¾Æ.

¹øÀ¸·Î     óÀ½±Û¸¶Áö¸·±Û

ÀÌÀü ±Û ´ÙÀ½ ±Û ¸ñ·Ï È­¸é º¸µå ¸ñ·Ï