¾øÀ½(Ùí)¿¡ ´ëÇؼ
- ÀÛ¼ºÀÏ
- 10-09-13 00:28
- ±Û¾´ÀÌ
punkrocker
- IP
- 124.¢½.¢½.203
- ±Û¾´ÀÌÀÇ ´Ù¸¥ °Ô½Ã¹° º¸±â
- ̵̧
- 3
- Á¶È¸
- 2,265
¾øÀ½ÀÚü´Â »ç½Ç »çÈÄÀûÀÎ °³³äÀÌÁö¿ä.
¾øÀ½À̶ó´Â °Ç ¾øÀ½À̶ó´Â ¾ð¾îÀû °³³äÀÌ ÀνĵǾî¾ß¸¸ ¾Ë¼öÀÖ´Â »óÅÂÀÔ´Ï´Ù.
µû¶ó¼ ¼ø¼öÇÑ ÀǹÌÀÇ ¾øÀ½À̶õ Àΰ£ÀÇ Àνijʸӿ¡ ÀÖ´Â ¾Ë¼ö¾ø´Â ¹«¾ùÀ̶ó°í ÇؾßÁÒ.
ÀÖÀ½(Á¸Àç)ÀÎÁö ¾øÀ½(¹«)ÀÎÁöÁ¶Â÷µµ ºÐ°£Çϱâ ÀÌÀü ȤÀº ÀÌÈÄ¿¡µµ ¾Ë¼ö°¡ ¾ø´Â..
ÄÆ®ÀûÀ¸·Î Ç¥ÇöÇϸé "¹°ÀÚü"ÀÎ ¹«¾ù.
»ç½Ç ÀÌ°Ç ¾øÀ½ÀÌ ¾Æ´Õ´Ï´Ù¸¸ ¾Æ¹«°Íµµ ¾Ë¼ö¾ø´Â »óÅ°¡ µÇ¹Ç·Î ÀνĿ¡ ¼Ò¿©µÇ´Â °ÍÀÌ ¾Æ¹«°Íµµ '¾øÀ½'À¸·ÎÇؼ
¾øÀ½À¸·Î »ý°¢µÇ±â¿¡ À̸¨´Ï´Ù.
±×·¡¼ "¾øÀ½"ÀÌ °³³äÈµÈ °ÍÀÌÁö¿ä. ±×·¡¼ '»çÈÄÀû'ÀÌ°Ô µË´Ï´Ù.
¸¶Ä¡ ¼ö¿¡¼ 0ÀÌ ÀÚ¿¬¼öÀÇ ¹ß°ß ÀÌÈÄ¿¡ ¹ß°ßµÇ¾ú´ø °Í°ú ¸¶Âù°¡ÁöÁö¿ä.
±×·±µ¥ »ç¶÷µéÀº ¾øÀ½À» ¾Õ¼¼ ¸»ÇÑ Àý´ëÀû ÀνĺҰ¡´É¼ºÀÇ »óÅ·Π'°£ÁÖ'ÇÏ°Ô µÇ¸é¼
È¥µ¿ÀÌ ¹ß»ýÇϱ⠽ÃÀÛÇÕ´Ï´Ù.
ÇÏÀ̵¥°Å°¡ ÀÏÂî±â ¸»Çß´ø "Á¸Àç¸Á°¢"ÀÇ »çŶó°í³ª ÇÒ±î¿ä?
¾øÀ½¿¡ ´ëÇؼ ¸»Çϱ⠽ÃÀÛÇϸ鼺ÎÅÍ Àΰ£Àº ¿À¸¸ÇÏ°Ôµµ Àý´ëÀû ¾øÀ½À» ±¸¼ºÀûÀ¸·Î ÀÌÇØÇÑ °ÍÀ¸·Î Âø°¢ÇÏ°Ô µË´Ï´Ù.
Àý´ëÀû ¾øÀ½À̶ó´Â ¿ì¿¬À» ³í¸®Àû ¾øÀ½À̶ó´Â Ãß·ÐÀ¸·Î ÀÌÇØÇÑ °Íó·³ °¡»óÇϱ⠽ÃÀÛÇÑ °ÍÀÌÁö¿ä.
±×·±µ¥ »ç½Ç ÀÌ·¯ÇÑ °¡»óÀº ¾Õ¼ÀÇ ÀúÀÇ Æ÷½ºÆ®¿¡¼ ÁöÀûÇß´ø °Íó·³ '½ÇÀç'¿Í ¹«°üÇÑ °ÍÀÌ ¾Æ´Õ´Ï´Ù.
½ÇÀ縦 »ó¡°è ³»ºÎ¿¡ ÆíÀÔÇÏ´Â °úÁ¤¿¡¼ ½ÇÀ縦 ¾ð¾î·Î '¹ø¿ª'ÇÏ´Â °úÁ¤¿¡¼ »ý±ä °¡»óÀ̴ϱî¿ä.
ÀÌ·¸°Ô °øÁýÇÕ©ªÀÌ Åº»ýÇÕ´Ï´Ù.
±×·±µ¥ ¸èÁýÇÕÀÇ °ø¸®(Axiom of power-set)¿¡ ÀÇÇؼ ¾øÀ½À̶ó´Â °øÁýÇÕÀº ¸ðµç ÁýÇÕÀÇ Á¸Àç·ÐÀû ±âÃÊ°¡ µË´Ï´Ù.
°øÁýÇÕÀº ±×°ÍÀÇ ¸èÁýÇÕ Áï {©ª}À» °¡Áú¼ö ÀÖ°í ¶Ç ÀÌ ÁýÇÕÀº ÀÌ°ÍÀÇ ¸èÁýÇÕ {©ª, {©ª}}À» °¡Áú ¼öÀÖ½À´Ï´Ù.
ÀÌ°ÍÀº °è¼Ó ¹Ýº¹µÉ ¼öÀÖ½À´Ï´Ù...{©ª,{©ª},{©ª, {©ª}}}....ÀÌ·± ½ÄÀ¸·Î '¹«ÇÑ'ÇÏ°Ô °è¼ÓµÉ ¼öÀÖÁö¿ä.
¶ÇÇÑ ÀÌ·± ÁýÇÕ·ÐÀº ¼öü°è·Î ¹ø¿ªµÉ ¼öÀÖ½À´Ï´Ù.
0 = ©ª
1 = {©ª}
2 = {©ª, {©ª}}
3 = {©ª,{©ª},{©ª, {©ª}}}
................
ÀÌ·¸°Ô ¼öü°è¸¦ ÁýÇÕ·ÐÀ¸·Î ±âÃÊÁöÀ»¼ö ÀÖÀ½À¸·ÎÇؼ ÁýÇÕ·ÐÀº '¼öÇбâÃÊ·Ð'ÀÌ ±×¸®°í ¸ÞŸ-¼öÇÐÀÌ µÉ ¼öÀÖ°í
¶Ç ±×·¯ÇÑ Çü½Ä¼ºÀ» '±¸¼ºÀû'À¸·Î ¿Ï¼ºÇÒ ¼öÀÖÀ¸¸®¶ó '°¡»ó'Çß½À´Ï´Ù¸¸
¾Õ¼¼ À̾߱âÇß´Ù½ÃÇÇ °¡»óÀº °á±¹ '½ÇÀç'ÀÇ ¹ø¿ª¾îÀÏ »ÓÀÔ´Ï´Ù.
±×·¡¼ °á±¹ ¿ª¼³paradox¿Í ¸¸³¯ ¼ö¹Û¿¡ ¾ø°Ô µÇ¾ú´ø °ÍÀÌ°í ¼öü°èÀÇ Ã¼°è³»ÀûÀÎ ¿Ï¼ºÀº ºÒ°¡´ÉÇÔÀ» ±«µ¨ÀÌ 'Áõ¸í'ÇÏ°Ô µÇ¾ú´ø °ÍÀÌÁö¿ä.
ÀÌ·±½ÄÀ¸·Î '¾øÀ½'Àº ´Ù½Ã '½ÇÀç'¿Í ¸¸³ª°Ô µË´Ï´Ù.