|
¹ø¿ªÀÚÀÇ ¸»
¼¹®
1Àå ±âÃÊ ÁÖÁ¦
1.1 »ê¼ú
1.2 °è»ê
1.3 ´ë¼ö
1.4 ±âÇÏÇÐ
1.5 ¹ÌÀûºÐÇÐ
1.6 Á¶ÇÕ·Ð
1.7 È®·ü
1.8 ³í¸®ÇÐ
1.9 ¿ª»ç
1.10 öÇÐ
2Àå »ê¼ú
2.1 À¯Å¬¸®µå ¾Ë°í¸®Áò
2.2 ¿¬ºÐ¼ö
2.3 ¼Ò¼ö
2.4 À¯ÇÑ »ê¼ú
2.5 ÀÌÂ÷ Á¤¼ö
2.6 °¡¿ì½º Á¤¼ö
2.7 ¿ÀÀÏ·¯ÀÇ Áõ¸í µÇµ¹¾Æº¸±â
2.8 ¡î2¿Í Æç ¹æÁ¤½Ä
2.9 ¿ª»ç
2.10 öÇÐ
3Àå °è»ê
3.1 ¼ýÀÚ Ç¥±â¹ý
3.2 µ¡¼À
3.3 °ö¼À
3.4 ³ª´°¼À
3.5 °ÅµìÁ¦°ö
3.6 P-NP ¹®Á¦
3.7 Æ©¸µ ±â°è
3.8 ÇØ°áºÒ°¡´ÉÇÑ ¹®Á¦
3.9 ¹ü¿ë ±â°è
3.10 ¿ª»ç
3.11 öÇÐ
4Àå ´ë¼ö
4.1 °íÀü ´ë¼ö
4.2 ȯ
4.3 ü
4.4 ¿ª¼ö¿Í ¿¬°üµÈ µÎ Á¤¸®
4.5 º¤ÅÍ °ø°£
4.6 ÀÏÂ÷ Á¾¼Ó, ±âÀú, Â÷¿ø
4.7 ´ÙÇ×½Ä È¯
4.8 ´ë¼öÀû ¼ö ü
4.9 º¤ÅÍ °ø°£À¸·Î¼ÀÇ ¼ö ü
4.10 ¿ª»ç
4.11 öÇÐ
5Àå ±âÇÏ
5.1 ¼ö¿Í ±âÇÏÇÐ
5.2 °¢¿¡ ´ëÇÑ À¯Å¬¸®µåÀÇ ÀÌ·Ð
5.3 ³ÐÀÌ¿¡ ´ëÇÑ À¯Å¬¸®µåÀÇ ÀÌ·Ð
5.4 ´«±Ý ¾ø´Â ÀÚ¿Í ÄÄÆÛ½º¸¦ ÀÌ¿ëÇÑ ÀÛµµ
5.5 ¿¬»êÀÇ ±âÇÏÀû ½ÇÇö
5.6 ÀÛµµÀÇ ´ë¼öÀû ½ÇÇö
5.7 º¤ÅÍ °ø°£ÀÇ ±âÇÏ
5.8 ³»ÀûÀ» ÀÌ¿ëÇÏ¿© ±æÀÌ Á¤ÀÇÇϱâ
5.9 ÀÛµµ°¡´ÉÇÑ ¼öÀÇ Ã¼
5.10 ¿ª»ç
5.11 öÇÐ
6Àå ¹ÌÀûºÐ
6.1 ±âÇϱ޼ö
6.2 Á¢¼±°ú ¹ÌºÐ
6.3 µµÇÔ¼ö ±¸Çϱâ
6.4 °î¼±À¸·Î Á¦ÇÑµÈ ¿µ¿ªÀÇ ³ÐÀÌ
6.5 𝑦=𝑥𝑛 ¾Æ·¡ÀÇ ³ÐÀÌ
6.6 ¹ÌÀûºÐÇÐÀÇ ±âº»Á¤¸®
6.7 ·Î±×ÇÔ¼ö¸¦ °ÅµìÁ¦°ö±Þ¼ö·Î Ç¥ÇöÇϱâ
6.8 źÁ¨Æ®ÇÔ¼öÀÇ ¿ªÇÔ¼ö¿Í ¥ð
6.9 ÃʵîÇÔ¼ö
6.10 ¿ª»ç
6.11 öÇÐ
7Àå Á¶ÇÕ·Ð
7.1 ¼Ò¼öÀÇ ¹«ÇѼº
7.2 ÀÌÇ× °è¼ö¿Í Æä¸£¸¶ÀÇ ¼ÒÁ¤¸®
7.3 »ý¼º ÇÔ¼ö
7.4 ±×·¡ÇÁ ÀÌ·Ð
7.5 Æ®¸®
7.6 Æò¸é ±×·¡ÇÁ
7.7 ¿ÀÀÏ·¯ÀÇ ´Ù¸éü Á¤¸®
7.8 ºñÆò¸é ±×·¡ÇÁ
7.9 Äê´ÏÈ÷ ¹«ÇÑ º¸Á¶Á¤¸®
7.10 ½´Æä¸£³ÊÀÇ º¸Á¶Á¤¸®
7.11 ¿ª»ç
7.12 öÇÐ
8Àå È®·ü
8.1 È®·ü°ú Á¶ÇÕ
8.2 µµ¹Ú»çÀÇ ÆÄ»ê
8.3 ¹«ÀÛÀ§ °È±â
8.4 Æò±Õ, ºÐ»ê°ú Ç¥ÁØÆíÂ÷
8.5 º§ °î¼±
8.6 ¿ª»ç
8.7 öÇÐ
9Àå ³í¸®
9.1 ¸íÁ¦ ³í¸®
9.2 µ¿¾î¹Ýº¹, Ç×µî½Ä, ÇØÀÇ Á¸À缺
9.3 ¼Ó¼º, °ü°è, ¾çÈ»ç
9.4 ±Í³³¹ý
9.5 Æä¾Æ³ë »ê¼ú
9.6 ½Ç¼ö
9.7 ¹«ÇÑ
9.8 ÁýÇÕ·Ð
9.9 ¿ª¼öÇÐ
9.10 ¿ª»ç
9.11 öÇÐ
10Àå °íµî ¼öÇÐÀÇ ¸î °¡Áö ÁÖÁ¦µé
10.1 »ê¼ú: Æç ¹æÁ¤½Ä
10.2 °è»ê: ³¹¸» ¹®Á¦
10.3 ´ë¼ö: ±âº» Á¤¸®
10.4 ±âÇÏ: »ç¿µ Á÷¼±
10.5 ¹ÌÀûºÐÇÐ: ¥ðÀÇ ¿ù¸®½º °ö
10.6 Á¶ÇÕ·Ð: ·¥Áö ÀÌ·Ð
10.7 È®·ü: µå ¹«¾Æºê¸£ ºÐÆ÷
10.8 ³í¸®: ¿ÏÀü¼º Á¤¸®
10.9 ¿ª»ç¿Í öÇÐ
Âü°í¹®Çå
ã¾Æº¸±â
°íµîÀûÀΡ¯ °üÁ¡À¸·Î ¹Ù¶óº¸´Â ¡®±âÃÊ¡¯ ¼öÇÐ
¼öÇÐÀÇ ¿ª»ç¿¡¼ ƯÈ÷ ÀλóÀûÀÎ Á¡Àº ¼öÇÐÀÚµéÀÌ ÇÑ ½ÃÁ¡¿¡¼ °ú°Å¸¦ µ¹¾Æº¸¸ç ¼öÇÐÀ̶ó´Â Çй® ÀÚüÀÇ ¸ñÀû°ú ¹æ¹ý, ÇѰè¿Í ÁöÆò¿¡ ´ëÇØ ¡®¼öÇÐÀÇ ¾ð¾î¡¯·Î »çÀ¯ÇؿԴٴ Á¡ÀÌ´Ù. ÀúÀÚ Á¸ ½ºÆ¿À£Àº 20¼¼±â±îÁöÀÇ ´«ºÎ½Å ¼öÇÐÀû ¹ßÀü¿¡ ¾ÈÁÖÇÏÁö ¾Ê°í Çö´ë ¼öÇÐÀÇ À§Ä¡¸¦ ´Ù½Ã ¼³Á¤ÇÑ´Ù.
¡º±âÃÊ ¼öÇÐ: »õ·Ó°Ô ´Ù½Ã Àд١»´Â »ê¼ú, ´ë¼ö, ±âÇÏ, ¹ÌºÐÀûºÐ, È®·ü, ³í¸® µîÀÇ ±âº» ¿ø¸®¸¦ »ìÆìº¸°í ¿ª»çÀûÀ̰í öÇÐÀûÀÎ ³íÀǸ¦ ÅëÇØ ¼·Î ´Ù¸¥ ÁÖÁ¦µé »çÀÌ¿¡ ¹ß°ßµÇÁö ¾Ê¾Ò°Å³ª ¼û°ÜÁ® ÀÖ´ø °ü°èµéÀ» ã¾Æ³ª°£´Ù.
ÀÌ Ã¥Àº ±âº»ÀûÀÎ ¼öÇÐ °³³äÀ» ÀÍÈ÷°íÀÚ ÇÏ´Â Çлý°ú ±× °³³äÀ» ¼³¸íÇØ¾ß ÇÏ´Â ±³¼öÀÚ, Áï ¸ðµç ¼öÇÐÀÚ¿¡°Ô Èï¹Ì·Î¿î Ã¥ÀÌ´Ù. »õ·Î¿î °üÁ¡À» ÅëÇØ ¼öÇÐÀÇ ½ºÆåÆ®·³À» Æø³Ð°Ô È®ÀåÇÏ°í ±âÃÊ ¼öÇаú °íµî ¼öÇÐÀÇ °æ°è¸¦ ±íÀÌ Å½±¸ÇÒ ¼ö ÀÖ´Ù.
±× °æ°è ³Ê¸ÓÀÇ ¼öÇÐÀ» ¿³º¸¸ç Çö´ë ¼öÇÐÀ» Á¶¸ÁÇÏ´Â ¸ÚÁø °æÇèÀ» ÀÌ Ã¥°ú ÇÔ²²ÇÏ±æ ¹Ù¶õ´Ù.
Çö´ëÀÇ °üÁ¡À¸·Î ´Ù½Ã ¾²´Â À¯Å¬¸®µåÀÇ ¡º¿ø·Ð¡»
À¯Å¬¸®µåÀÇ ¡º¿ø·Ð¡»Àº ±âÃÊÀûÀÎ ³»¿ëÀ» ºÐ·ùÇÏ°í ¾î¶² °üÁ¡°ú ¹æ¹ýÀ¸·Î ¼öÇÐÀû ´ë»óµé¿¡ Á¢±ÙÇØ¾ß ÇÏ´ÂÁö Á¦½ÃÇØ¿Ô´Ù. ¼öÇл翡¼ 2õ ³â ÀÌ»ó ¿µÇâÀ» ¹ÌÃĿ ÀÌ °íÀüÀº ¿À·£ ÀüÅëÀÌÀÚ µ¿½Ã¿¡ ±Øº¹ÀÇ ´ë»óÀ̱⵵ Çß´Ù.
¿À´Ã³¯ ±âÃÊ ¼öÇÐÀÇ ¹üÁÖ¿¡ ¼ÓÇÏ´Â ÁÖÁ¦µéÀÌ ¾ðÁ¦³ª ¡®±âÃÊÀû¡¯ÀÌ¶ó ¿©°ÜÁ³´ø °ÍÀº ¾Æ´Ï¸ç ±× ÁÖÁ¦µéÀÌ ¡®±âÃÊ¡¯°¡ µÈ µ¥¿¡´Â À§´ëÇÑ ¼öÇÐÀû ¹ß°ß°ú ¹ßÀüÀÌ ÀÖ¾ú´Ù. ±âÃÊ ¼öÇÐÀ» »õ·ÎÀÌ ³íÀÇÇϱâ À§Çؼ´Â 21¼¼±â °üÁ¡¿¡¼ÀÇ ±âÃÊ ÁÖÁ¦µéÀÌ Ãß°¡µÇ¾î¾ß ÇÏ°í ¡®±âÃÊ¡¯¶ó´Â Àǹ̿¡ ´ëÇØ º¸´Ù ¸íÈ®ÇÑ ¼³¸íÀÌ ÇÊ¿äÇÒ °ÍÀÌ´Ù.
ÀÌ Ã¥Àº »õ·Î¿î °üÁ¡À¸·Î ¼öÇÐÀÇ ½ºÆåÆ®·³À» Æø³Ð°Ô È®ÀåÇÏ°í ±âÃÊ ¼öÇаú °íµî ¼öÇÐÀÇ °æ°è¸¦ ±íÀÌ Å½±¸ÇÑ´Ù. ¼öõ ³â¿¡ °ÉÃÄ ¼öÇÐÀÚµéÀÌ ¼öÇÐÀÇ ±âÃʸ¦ ¾î¶»°Ô ±¸ÃàÇØ¿Ô´ÂÁö, ¡®±âÃÊÀû¡¯À̶ó´Â °³³äÀÌ ¼öÇл翡¼ ¾î¶»°Ô º¯ÈÇØ¿Ô´ÂÁö »ìÆìº¸°í, ¿ª»çÀûÀ̰í öÇÐÀûÀÎ ³íÀǸ¦ ÅëÇØ ¼·Î ´Ù¸¥ ÁÖÁ¦µé »çÀÌ¿¡ ¹ß°ßµÇÁö ¾Ê¾Ò°Å³ª ¼û°ÜÁ® ÀÖ´ø °ü°èµéÀ» ã¾Æ³ª°£´Ù.
¡°¼öÇлçÀÇ ºóÆ´À» ¸Þ¿ì°í »õ·Î¿î ÁöÆòÀ» ¿¬ Ã¥!¡±
— George Hacken, Computing Reviews
¡°ÀÌ Ã¥ÀÇ ¸í·áÇÏ°í °£°áÇÑ ¹®ÀåµéÀº ±âÃʷκÎÅÍ ´õ ½ÉÃþÀûÀÌ°í µµÀüÀûÀÎ »ý°¢À¸·Î ¿ì¸®¸¦ À̲ö´Ù. ¼öÇÐÀÚµéÀÇ ¼°¡¿¡ »©¾î³ ±âº»À» ´õÇϴ åÀÌ´Ù.¡±
— Math Tango
¡°Á¸ ½ºÆ¿À£ÀÇ Æø³Ð°í ü°èÀûÀÎ ¡®¼öÇб¸»ç·Â¡¯Àº µ¶ÀÚµé·Î ÇÏ¿©±Ý ´õ ³ôÀº Â÷¿øÀ» ÀÌÇØÇÏ°í ±× ³Ê¸Ó·Î ÁúÀÇÇÒ ¼ö ÀÖµµ·Ï ÇÑ´Ù. ¿ì¸®´Â ÀÌ Ã¥À» ÅëÇØ ÀÌ¹Ì ÃæºÐÇÏ°Ô ¾Ë°í ÀÖ´Â ¼öÇп¡ ´ëÇØ ´Ù½Ã »ý°¢Çغ¼ ¼ö ÀÖ´Ù.¡±
— Frank Swetz, The Pennsylvania State University ÁöÀºÀÌ Á¸ ½ºÆ¿À£(John Stillwell)
¿À½ºÆ®·¹Àϸ®¾Æ ¸á¹ö¸¥ Ãâ»ý. ÇÏÆ²¸® ·ÎÀú½º ÁִϾîHartley Rogers Jr.ÀÇ ÁöµµÇÏ¿¡ MIT¿¡¼ ¹Ú»çÇÐÀ§¸¦ ¹Þ¾Ò´Ù. ¿À½ºÆ®·¹Àϸ®¾ÆÀÇ ¸ð³ª½¬ ´ëÇб³Monash University¿¡¼ 31³â°£ ÀçÁ÷ÇÑ ÈÄ, 2002³âºÎÅÍ ¹Ì±¹ »÷ÇÁ¶õ½Ã½ºÄÚ ´ëÇб³¿¡¼ °ÀÇÇϰí ÀÖ´Ù. 1994³â ¼¼°è¼öÇÐÀÚ´ëȸICMÀÇ ÃÊû ¿¬»ç¿´À¸¸ç, 2005³â ¹Ì±¹¼öÇп¬¸ÍMAAÀÌ ¼ö¿©ÇÏ´Â ¼îº£³Ý »óChauvenet PrizeÀ» ¹Þ¾Ò´Ù. 2012³â¿¡ ¹Ì±¹¼öÇÐȸAMSÀÇ Æç·Î¿ì·Î ¼±ÃâµÇ¾ú´Ù. ¡ºMathematics and Its History¡»1989, ¡ºYearning for theImpossible: The Surprising Truths of Mathematics¡»2006,¡ºRoads to Infinity¡»2010, ¡ºReverse Mathematics: Proofsfrom the Inside Out¡»2018 µî ´Ù¾çÇÑ ÁÖÁ¦ÀÇ ¼öÇÐ ±³°ú¼¿Í±³¾ç¼¸¦ Àú¼úÇÏ¿´´Ù.
¿Å±äÀÌ ±è¿µÁÖ
°Ç±¹´ëÇб³ ¼öÇб³À°°ú ÀÌÇлç
¼¿ï´ëÇб³ ¼ö¸®°úÇкΠÀÌÇм®»ç
¹Ì±¹ City University of New York Ph. D. in Mathematics
´º¿å Lehman College ¼öÇаú ÀüÀÓ°»ç
°íµî°úÇпø ¼öÇкΠ¿¬±¸¿ø, Open KIAS ¿¬±¸±³¼ö
ÇöÀç, °Ç±¹´ëÇб³ ¼öÇб³À°°ú ºÎ±³¼ö
°øÀú: ¡º¹ÌºÐ±âÇÏÇÐ ¥°+¥±¡»
°ø¿ª: ¡º¿ÀÀÏ·¯ ¿ì¸® ¸ðµÎÀÇ ¼öÇÐÀÚ¡», ¡ºThe Princeton Companion to Mathematics¡»
¿Å±äÀÌ À̰è½Ä
¼¿ï´ëÇб³ ¼öÇаú ÀÌÇлç
µ¶ÀÏ University of Müenster ÀÌÇм®»ç, ¹Ú»ç
ÇÁ¶û½º INRIA Coq Team ¿¬±¸¿ø
ÀϺ» AIST Á¤º¸º¸¾È¿¬±¸¼¾ÅÍ(RCIS) ¿¬±¸¿ø
¼¿ï´ëÇб³ ¼ÒÇÁÆ®¿þ¾î ¹«°áÁ¡ ¿¬±¸¼¾ÅÍ ¿¬±¸¿ø
ÇöÀç, ÇѰæ´ëÇб³ ÄÄÇ»ÅÍÀÀ¿ë¼öÇкΠ±³¼ö
¿Å±äÀÌ ÃÖÀμÛ
¼¿ï´ëÇб³ ¼öÇаú ÀÌÇлç
¼¿ï´ëÇб³ ¼ö¸®°úÇкΠÀÌÇм®»ç, ¹Ú»ç
°íµî°úÇпø ¼öÇкΠ¿¬±¸¿ø, Á¶±³¼ö
ÇöÀç, °Ç±¹´ëÇб³ ¼öÇаú ±³¼ö
°øÀú: ¡º´Ùº¯¼ö ¹ÌºÐÀûºÐÇС»
|