{"id":9753,"date":"2026-07-25T20:27:58","date_gmt":"2026-07-25T11:27:58","guid":{"rendered":"https:\/\/sasamath.com\/blog\/?page_id=9753"},"modified":"2026-07-27T16:00:16","modified_gmt":"2026-07-27T07:00:16","slug":"math-abstraction-10-optimal-generality","status":"publish","type":"page","link":"https:\/\/sasamath.com\/blog\/mathematical-abstraction\/math-abstraction-10-optimal-generality\/","title":{"rendered":"\ud604\ub300 \uc218\ud559 \uc5f0\uad6c\uc5d0\uc11c\uc758 \ucd94\uc0c1\ud654"},"content":{"rendered":"<p><!-- \uc218\ud559\uc801 \ucd94\uc0c1\ud654 10\ud3b8: \uc5f0\uad6c \ud604\uc7a5\uc758 \ucd94\uc0c1\ud654 --><\/p>\n<div class=\"math-abs-series\">\n<p><a href=\"..\/math-abstraction-09-cognitive-process\/\">9\ubd80<\/a>\uc758 \ub9d0\ubbf8\uc5d0\uc11c \uc608\uace0\ud55c \ub300\ub85c, \uc774\uc81c \uc815\ud615\ud654\ub41c \uac15\uc758\uc2e4\uc744 \ubc97\uc5b4\ub098 \uc5ed\ub3d9\uc801\uc778 \uc5f0\uad6c\uc758 \ud604\uc7a5\uc73c\ub85c \uc2dc\uc120\uc744 \uc62e\uaca8 \ubcf4\uc790. \uc9c0\uae08\uae4c\uc9c0 \uc6b0\ub9ac\ub294 \uad70, \ubca1\ud130\uacf5\uac04, \uc704\uc0c1\uacf5\uac04, \uce21\ub3c4\uacf5\uac04\uc774\ub77c\ub294 \uc774\ubbf8 \uc815\ub9ac\ub41c \ucd94\uc0c1\uc801 \uacb0\uacfc\ubb3c\ub4e4\uc774 \uc5ed\uc0ac\uc801\uc73c\ub85c \uc5b4\ub5bb\uac8c \ud615\uc131\ub418\uc5c8\uc73c\uba70 \uc624\ub298\ub0a0 \ud559\uc0dd\ub4e4\uc5d0\uac8c \uc5b4\ub5bb\uac8c \uc804\ub2ec\ub418\ub294\uc9c0\ub97c \uc0b4\ud3b4\ubcf4\uc558\ub2e4. \uadf8\ub7f0\ub370 \uc0c8\ub85c\uc6b4 \uc815\ub9ac\ub97c \uc99d\uba85\ud574\uc57c \ud558\ub294 \ud604\uc5ed \uc218\ud559\uc790 \uc55e\uc5d0\ub294 \ub9e4 \uc21c\uac04 \ube44\uc2b7\ud55c \ub51c\ub808\ub9c8\uac00 \ub193\uc778\ub2e4. \ub208\uc55e\uc758 \ubb38\uc81c\ub97c \uacfc\uc5f0 \uc5bc\ub9c8\ub098 \uc77c\ubc18\uc801\uc774\uace0 \ucd94\uc0c1\uc801\uc778 \uc5b8\uc5b4\ub85c \uacf5\ub7b5\ud560 \uac83\uc778\uac00? \ubb38\uc81c\uc5d0 \uc9c0\ub098\uce58\uac8c \uad6c\uccb4\uc801\uc73c\ub85c \ub2e4\uac00\uac00\uba74 \ube44\uc2b7\ud55c \ubb38\uc81c\ub97c \ub9cc\ub0a0 \ub54c\ub9c8\ub2e4 \uc99d\uba85\uc744 \ucc98\uc74c\ubd80\ud130 \ub2e4\uc2dc \uc804\uac1c\ud574\uc57c \ud560 \uc218 \uc788\ub2e4. \ubc18\ub300\ub85c \uc9c0\ub098\uce58\uac8c \uc77c\ubc18\uc801\uc778 \ud2c0\uc744 \uba3c\uc800 \uc138\uc6b0\uba74, \ub208\uc55e\uc758 \ubb38\uc81c\uac00 \uc9c0\ub2cc \uace0\uc720\ud55c \ud575\uc2ec\uc774 \ubd88\ud544\uc694\ud55c \uc7a5\uce58 \uc18d\uc5d0 \uac00\ub824\uc9c8 \uc218 \uc788\ub2e4. \uc774\ub7ec\ud55c \ud310\ub2e8\uc740 \ud558\ub098\uc758 \uacf5\uc2dd\uc73c\ub85c \uc815\ub9ac\ud558\uae30 \uc5b4\ub835\uc9c0\ub9cc, \uc5f0\uad6c\uc790\uac00 \uc815\ub9ac\uc758 \uac00\uc815\uacfc \uc5b8\uc5b4\ub97c \uc124\uacc4\ud560 \ub54c \uac70\ub4ed \ub9c8\uc8fc\ud558\ub294 \uc2e4\ubb34\uc801 \ubb38\uc81c\ub2e4.<\/p>\n<h4>\uac00\uc6cc\uc2a4\uc758 \ub450 \ubb38\ud654<\/h4>\n<p>\ud544\uc988\uc0c1 \uc218\uc0c1\uc790\uc778 \uc601\uad6d\uc758 \uc218\ud559\uc790 \ud2f0\ubaa8\uc2dc \uac00\uc6cc\uc2a4(Timothy Gowers)\ub294 2000\ub144\uc5d0 \ubc1c\ud45c\ud55c \uc5d0\uc138\uc774 \u300c\uc218\ud559\uc758 \ub450 \ubb38\ud654(The Two Cultures of Mathematics)\u300d\uc5d0\uc11c \uc21c\uc218\uc218\ud559 \ub0b4\ubd80\uc758 \ub450 \uc5f0\uad6c \uc131\ud5a5\uc744 \uad6c\ubd84\ud588\ub2e4.<a class=\"math-abs-series-ref\" title=\"W. T. Gowers, \u201cThe Two Cultures of Mathematics,\u201d in V. I. Arnold, M. Atiyah, P. Lax, and B. Mazur (eds.), Mathematics: Frontiers and Perspectives, American Mathematical Society, 2000, pp. 65\u201378.\" href=\"#ref-Gowers2000\">[Gowers2000]<\/a><\/p>\n<p>[\uc774 \uc81c\ubaa9\uc740 \uc601\uad6d\uc758 \uacfc\ud559\uc790\uc774\uc790 \uc18c\uc124\uac00 C. P. \uc2a4\ub178(C. P. Snow)\uac00 1959\ub144 \ub9ac\ub4dc \uac15\uc5f0 \u300c\ub450 \ubb38\ud654\uc640 \uacfc\ud559\ud601\uba85(The Two Cultures and the Scientific Revolution)\u300d\uc5d0\uc11c \uacfc\ud559\uacfc \uc778\ubb38\ud559 \uc0ac\uc774\uc758 \ub2e8\uc808\uc744 \ub17c\ud55c \ub370\uc11c \uc758\uc2dd\uc801\uc73c\ub85c \uac00\uc838\uc628 \uac83\uc774\ub2e4. \uac00\uc6cc\uc2a4\ub294 \uae00 \uccab\uba38\ub9ac\uc5d0\uc11c \uc774 \uc5f0\uc6d0\uc744 \uc9c1\uc811 \ubc1d\ud78c\ub2e4.<a class=\"math-abs-series-ref\" title=\"C. P. Snow, The Two Cultures and the Scientific Revolution: The Rede Lecture, Cambridge University Press, 1959. Cambridge University Press.\" href=\"#ref-Snow1959\">[Snow1959]<\/a>]<\/p>\n<p>\uac00\uc6cc\uc2a4\uac00 \uad6c\ubd84\ud55c \ub450 \uc131\ud5a5\uc740 <span class=\"defined\">\uc774\ub860 \uad6c\ucd95\uac00<\/span>(theory-builder)\uc640 <span class=\"defined\">\ubb38\uc81c \ud574\uacb0\uc0ac<\/span>(problem-solver)\uc774\ub2e4. <!-- \uadf8\ub7ec\ub098 \uc774\ub294 \uc218\ud559\uc790\ub97c \uc11c\ub85c \uacb9\uce58\uc9c0 \uc54a\ub294 \ub450 \uc9d1\ub2e8\uc73c\ub85c \uc5c4\uaca9\ud558\uac8c \ub098\ub204\ub294 \ubd84\ub958\uac00 \uc544\ub2c8\ub2e4. \uac00\uc6cc\uc2a4 \uc790\uc2e0\ub3c4 \uc774\ub97c \uc720\uc6a9\ud558\uc9c0\ub9cc \ub2e8\uc21c\ud654\ub41c \uad6c\ubd84\uc774\ub77c\uace0 \ubc1d\ud788\uba70, \ucc28\uc774\ub294 \ub450 \ud65c\ub3d9 \uac00\uc6b4\ub370 \uc5b4\ub514\uc5d0 \uc6b0\uc120\uc21c\uc704\ub97c \ub450\ub290\ub0d0\uc5d0 \uc788\ub2e4\uace0 \uc124\uba85\ud55c\ub2e4. --> \uc774\ub860 \uad6c\ucd95\uac00\ub294 \uc5ec\ub7ec \ud604\uc0c1\uc744 \uc870\uc9c1\ud558\ub294 \uac1c\ub150\uacfc \uad6c\uc870\ub97c \ub9cc\ub4e4\uace0 \uc774\ud574\ud558\ub294 \uc77c\uc744 \uc911\uc2dc\ud55c\ub2e4. \ubc18\uba74 \ubb38\uc81c \ud574\uacb0\uc0ac\ub294 \uad6c\uccb4\uc801\uc778 \ubb38\uc81c\uc5d0\uc11c \ucd9c\ubc1c\ud558\uc5ec \uadf8 \ubb38\uc81c\ub97c \ub3cc\ud30c\ud560 \ub17c\uc99d\uacfc \uae30\ubc95\uc744 \ucc3e\ub294 \uc77c\uc744 \uc911\uc2dc\ud55c\ub2e4. \ub300\ubd80\ubd84\uc758 \uc218\ud559\uc790\ub294 \ub450 \ud65c\ub3d9\uc744 \ubaa8\ub450 \ud558\uba70, \uc218\ud559\uc740 \ub450 \uc131\ud5a5\uc744 \ubaa8\ub450 \ud544\uc694\ub85c \ud55c\ub2e4.<a class=\"math-abs-series-ref\" title=\"W. T. Gowers, \u201cThe Two Cultures of Mathematics,\u201d in V. I. Arnold, M. Atiyah, P. Lax, and B. Mazur (eds.), Mathematics: Frontiers and Perspectives, American Mathematical Society, 2000, pp. 65\u201378.\" href=\"#ref-Gowers2000\">[Gowers2000]<\/a><\/p>\n<p>\uc774\ub860 \uad6c\ucd95\ud615 \uc5f0\uad6c\uc5d0\uc11c\ub294 \ud558\ub098\uc758 \uc801\uc808\ud55c \uad6c\uc870\ub97c \uc138\uc6c0\uc73c\ub85c\uc368 \uadf8 \uacf5\ub9ac\ub97c \ub9cc\uc871\ud558\ub294 \uc5ec\ub7ec \uc0ac\ub840\ub97c \ud55c\uaebc\ubc88\uc5d0 \ub2e4\ub8f0 \uc218 \uc788\ub2e4. \uc774 \uc5f0\uc7ac\uc5d0\uc11c \uc0b4\ud3b4\ubcf8 \uad70, \uc704\uc0c1\uacf5\uac04, \uce21\ub3c4\uacf5\uac04\uc758 \uacf5\ub9ac\ud654\uac00 \uadf8\ub7ec\ud55c \ud798\uc744 \ubcf4\uc5ec \uc900\ub2e4. \ubb38\uc81c \ud574\uacb0\ud615 \uc5f0\uad6c\uc5d0\uc11c\ub294 \ubc18\ub300\ub85c \uad6c\uccb4\uc801\uc778 \ubb38\uc81c\uc758 \uc870\ud569\uc801 \ubc30\uce58\ub098 \uc218\uce58\uc801 \uc81c\uc57d\ucc98\ub7fc \uc77c\ubc18 \uc774\ub860\uc774 \uc989\uc2dc \ud3ec\ucc29\ud558\uc9c0 \ubabb\ud558\ub294 \ud2b9\uc9d5\uc744 \uae4a\uc774 \ud30c\uace0\ub4e0\ub2e4. <!-- \uadf8\ub7ec\ub098 \ubb38\uc81c \ud574\uacb0\ud615 \uc218\ud559\uc744 \u201c\uc624\uc9c1 \ud55c \ubb38\uc81c\uc5d0\ub9cc \uc4f8 \uc218 \uc788\ub294 \uc784\uc2dc \uae30\ubc95\u201d\uc73c\ub85c \uc774\ud574\ud574\uc11c\ub294 \uc548 \ub41c\ub2e4. --> \uac00\uc6cc\uc2a4\uc758 \ud575\uc2ec \uc8fc\uc7a5 \uac00\uc6b4\ub370 \ud558\ub098\ub294 \uc870\ud569\ub860\uc5d0\ub3c4 \uad6c\uc870\uc640 \ucd95\uc801\uc774 \uc788\uc73c\uba70, \uadf8 \uc870\uc9c1 \uc6d0\ub9ac\uac00 \uac70\ub300\ud55c \uc774\ub860\uc758 \ud615\ud0dc\ubcf4\ub2e4 \ud655\ub960\uc801 \ubc29\ubc95, \uc900\ubb34\uc791\uc704\uc131, \uc9d1\uc911 \ud604\uc0c1 \uac19\uc740 \ub110\ub9ac \uc4f0\uc774\ub294 \uc77c\ubc18 \uc6d0\ub9ac\uc758 \ud615\ud0dc\ub85c \ub35c \uba85\uc2dc\uc801\uc73c\ub85c \ub098\ud0c0\ub0a0 \uc218 \uc788\ub2e4\ub294 \uac83\uc774\ub2e4.<a class=\"math-abs-series-ref\" title=\"W. T. Gowers, \u201cThe Two Cultures of Mathematics,\u201d in V. I. Arnold, M. Atiyah, P. Lax, and B. Mazur (eds.), Mathematics: Frontiers and Perspectives, American Mathematical Society, 2000, pp. 65\u201378.\" href=\"#ref-Gowers2000\">[Gowers2000]<\/a><\/p>\n<p>\uac00\uc6cc\uc2a4\ub294 \uc870\ud569\ub860\uc744 \ubb38\uc81c \ud574\uacb0\uc0ac \ubb38\ud654\uac00 \uac15\ud558\uac8c \ub098\ud0c0\ub098\ub294 \ubd84\uc57c\ub85c \ub17c\ud558\uba74\uc11c, \uc870\ud569\ub860\uc774 \uc774\ub860 \uad6c\ucd95\ud615 \ubd84\uc57c\ubcf4\ub2e4 \uc595\uac70\ub098 \uc8fc\ubcc0\uc801\uc774\ub77c\ub294 \ud3c9\uac00\uc5d0 \ub9de\uc130\ub2e4. \uadf8\ub294 \uc815\ub9ac\ub4e4 \uc0ac\uc774\uc5d0 \uae34 \ud615\uc2dd\uc801 \uc758\uc874 \uc0ac\uc2ac\uc774 \ubcf4\uc774\uc9c0 \uc54a\ub354\ub77c\ub3c4, \ud55c \uc99d\uba85\uc5d0\uc11c \ubc1c\uc804\ud55c \uc77c\ubc18 \uc6d0\ub9ac\uac00 \ub2e4\uc74c \uc138\ub300\uc758 \ubb38\uc81c \ud574\uacb0\uc744 \uac00\ub2a5\ud558\uac8c \ud558\ub294 \ub610 \ub2e4\ub978 \uc885\ub958\uc758 \uc758\uc874 \uad00\uacc4\uac00 \uc788\ub2e4\uace0 \uc124\uba85\ud55c\ub2e4. <!-- \ub530\ub77c\uc11c \uadf8\uc758 \uacb0\ub860\uc740 \ucd94\uc0c1\ud654\ub97c \ubc84\ub9ac\uc790\ub294 \uac83\ub3c4, \uad6c\uccb4\uc801 \ubb38\uc81c\ub97c \uc774\ub860\uc73c\ub85c \ub36e\uc9c0 \ub9d0\uc790\ub294 \uac83\ub3c4 \uc544\ub2c8\ub2e4. --> \ubb38\uc81c \ud574\uacb0\ud615 \uc218\ud559\uc5d0\ub3c4 \uace0\uc720\ud55c \uae4a\uc774\uc640 \uc804\uc2b9 \ubc29\uc2dd\uc774 \uc788\uc74c\uc744 \uc778\uc815\ud558\uace0 \ub450 \ubb38\ud654 \uc0ac\uc774\uc758 \uad50\ub958\ub97c \ub113\ud788\uc790\ub294 \uac83\uc774\ub2e4.<\/p>\n<p>[\uac00\uc6cc\uc2a4\ub294 \uc2e4\uc81c\ub85c \ub7a8\uc9c0 \uc815\ub9ac\uc640 \ub7a8\uc9c0 \uc218 \\(R(k)\\)\uc758 \uc0c1\u00b7\ud558\ud55c \ubb38\uc81c\ub97c \uc911\uc2ec \uc0ac\ub840\ub85c \ub4e0\ub2e4. \ud2b9\ud788 \ub354 \ub098\uc740 \uc0c1\ud55c\uc740 \uadf8 \ubb38\uc81c\uc5d0\ub9cc \ub9de\ucd98 \uc784\uc2dc \ub17c\uc99d\ubcf4\ub2e4 \uc911\uc694\ud55c \uc0c8 \uae30\ubc95\uc744 \uc694\uad6c\ud560 \uac00\ub2a5\uc131\uc774 \ud06c\ub2e4\uace0 \ubcf4\uc558\ub2e4. \uc774 \uc0ac\ub840\uc758 \uc694\uc9c0\ub294 \ub7a8\uc9c0 \uc774\ub860 \uc804\uccb4\uac00 \uad6c\uc870 \uc774\ub860\uacfc \ubb34\uad00\ud558\ub2e4\ub294 \uac83\uc774 \uc544\ub2c8\ub77c, \uc870\ud569\ub860\uc758 \uc77c\ubc18 \uc6d0\ub9ac\uac00 \ub54c\ub85c \uac1c\ubcc4 \ubb38\uc81c\uc758 \uc99d\uba85 \uc18d\uc5d0 \ub35c \uba85\uc2dc\uc801\uc73c\ub85c \ucd95\uc801\ub41c\ub2e4\ub294 \ub370 \uc788\ub2e4.<a class=\"math-abs-series-ref\" title=\"W. T. Gowers, \u201cThe Two Cultures of Mathematics,\u201d in V. I. Arnold, M. Atiyah, P. Lax, and B. Mazur (eds.), Mathematics: Frontiers and Perspectives, American Mathematical Society, 2000, pp. 65\u201378.\" href=\"#ref-Gowers2000\">[Gowers2000]<\/a>]<\/p>\n<h4>\uc544\ub180\ub4dc, \ud615\uc2dd\uc8fc\uc758\ub97c \uaca8\ub204\ub2e4<\/h4>\n<p>\ub7ec\uc2dc\uc544\uc758 \uc218\ud559\uc790 \ube14\ub77c\ub514\ubbf8\ub974 \uc544\ub180\ub4dc(Vladimir Arnol&#8217;d)\ub294 1997\ub144 3\uc6d4 7\uc77c \ud30c\ub9ac \ud314\ub808 \ub4dc \ub77c \ub370\ucfe0\ubca0\ub974\ud2b8(Palais de la D\u00e9couverte)\uc5d0\uc11c \ud55c \uac15\uc5f0\uc744 \ud655\uc7a5\ud55c \uae00\uc5d0\uc11c, \uc218\ud559 \uad50\uc721\uc774 \ubb3c\ub9ac\uc801 \ub3d9\uae30\uc640 \uae30\ud558\ud559\uc801 \uc9c1\uad00\uc5d0\uc11c \uba40\uc5b4\uc9c0\uace0 \ud615\uc2dd\uc801 \uc815\uc758\uc640 \uc99d\uba85\ub9cc\uc744 \uc55e\uc138\uc6b0\ub294 \uacbd\ud5a5\uc744 \uaca9\ub82c\ud558\uac8c \ube44\ud310\ud588\ub2e4. \uc774 \uae00\uc740 1998\ub144 \u300cOn Teaching Mathematics\u300d\ub77c\ub294 \uc81c\ubaa9\uc73c\ub85c \ucd9c\ud310\ub418\uc5c8\ub2e4.<a class=\"math-abs-series-ref\" title=\"V. I. Arnol'd, \u201cOn Teaching Mathematics,\u201d Russian Mathematical Surveys 53(1), 1998, pp. 229\u2013236.\" href=\"#ref-Arnold1998\">[Arnold1998]<\/a><\/p>\n<p>[\u201cMathematics is a part of physics\u201d\ub294 \uc774 \uae00\uc758 \ucd9c\ud310 \uc81c\ubaa9\uc774 \uc544\ub2c8\ub77c \uccab \ubb38\uc7a5\uc774\uc790 \uc544\ub180\ub4dc\uc758 \ud575\uc2ec \uba85\uc81c\ub2e4. \uc815\ud655\ud55c \ubb38\ud5cc\uba85\uc740 \u300cOn Teaching Mathematics\u300d\uc774\uba70, \uc601\uc5b4 \ubc88\uc5ed\uc740 1998\ub144 <em>Russian Mathematical Surveys<\/em> 53\uad8c 1\ud638\uc5d0 \uc2e4\ub838\ub2e4.<a class=\"math-abs-series-ref\" title=\"V. I. Arnol'd, \u201cOn Teaching Mathematics,\u201d Russian Mathematical Surveys 53(1), 1998, pp. 229\u2013236.\" href=\"#ref-Arnold1998\">[Arnold1998]<\/a>]<\/p>\n<p>\uc544\ub180\ub4dc\uc758 \uad00\uc810\uc5d0\uc11c \uc218\ud559\uc740 \uacf5\uac04, \uc6b4\ub3d9, \ud798\uacfc \uac19\uc740 \uad6c\uccb4\uc801 \ud604\uc0c1\uc744 \ud0d0\uad6c\ud558\ub294 \uacfc\uc815\uc5d0\uc11c \uc790\ub77c\ub0ac\uace0, \uacc4\uc0b0\uacfc \uadf8\ub9bc\uacfc \uc2e4\ud5d8\uc801 \uc720\ube44\ub294 \uc815\ub9ac\ub97c \ubc1c\uacac\ud558\ub294 \uc911\uc694\ud55c \ud1b5\ub85c\ub2e4. \uadf8\ub294 \ud2b9\ud788 \ubd80\ub974\ubc14\ud0a4\ub85c \uc0c1\uc9d5\ub418\ub294 \ud0c8\uae30\ud558\ud559\uc801\u00b7\uacf5\ub9ac\uc8fc\uc758\uc801 \uad50\uc721\uc774 \uc774\ub7ec\ud55c \ud1b5\ub85c\ub97c \ucc28\ub2e8\ud55c\ub2e4\uace0 \uc8fc\uc7a5\ud588\ub2e4. <!-- \ub2e4\ub9cc \u201c\ubd80\ub974\ubc14\ud0a4\uac00 \ud604\ub300 \uc218\ud559\uc5d0\uc11c \uc9c1\uad00\uc744 \ubaa8\ub450 \uc81c\uac70\ud588\ub2e4\u201d\ub294 \uc2dd\uc758 \ubb38\uc7a5\uc740 \uc911\ub9bd\uc801\uc778 \uc5ed\uc0ac\uc801 \uacb0\ub860\uc774 \uc544\ub2c8\ub77c \uc544\ub180\ub4dc\uc758 \ub17c\uc7c1\uc801 \ud3c9\uac00\ub85c \uc77d\uc5b4\uc57c \ud55c\ub2e4. \uadf8\uc758 \uae00\uc740 \ud615\uc2dd\ud654 \uc77c\ubc18\uc744 \ubc18\ubc15\ud558\ub294 \uccb4\uacc4\uc801 \uc218\ud559\uc0ac \uc5f0\uad6c\ub77c\uae30\ubcf4\ub2e4, \ub3d9\uae30 \uc5c6\uc774 \uc81c\uc2dc\ub418\ub294 \u2018\uc815\uc758\u2013\uc815\ub9ac\u2013\uc99d\uba85\u2019\uc2dd \uad50\uc721\uc5d0 \ub300\ud55c \uac15\ud55c \ube44\ud310\uc774\ub2e4.<a class=\"math-abs-series-ref\" title=\"V. I. Arnol'd, \u201cOn Teaching Mathematics,\u201d Russian Mathematical Surveys 53(1), 1998, pp. 229\u2013236.\" href=\"#ref-Arnold1998\">[Arnold1998]<\/a> --><\/p>\n<p>[\uac19\uc740 \uae00\uc5d0\uc11c \uc544\ub180\ub4dc\ub294 \ud504\ub791\uc2a4 \ucd08\ub4f1\ud559\uc0dd\uacfc \ub300\ud559\uc0dd\uc5d0 \uad00\ud55c \uc77c\ud654, \uadf8\ub9ac\uace0 ENS \ud559\uc0dd\ub4e4\uc774 \ud3ec\ubb3c\uba74\uc774\ub098 \ub9e4\uac1c\ubcc0\uc218 \uace1\uc120\uc744 \ub2e4\ub8e8\ub294 \ub370 \uc5b4\ub824\uc6c0\uc744 \uacaa\uc5c8\ub2e4\ub294 \uc790\uc2e0\uc758 \uad50\uc721 \uacbd\ud5d8\uc744 \ub4e4\uc5c8\ub2e4.<!-- \uc774\ub294 \ub2f9\uc2dc \uad50\uc721\uc5d0 \ub300\ud55c \uc544\ub180\ub4dc\uc758 \ub17c\ud3c9\uacfc \uc77c\ud654\uc774\uc9c0, \ud504\ub791\uc2a4 \ud559\uc0dd \uc804\uccb4\uc758 \ub2a5\ub825\uc744 \uce21\uc815\ud55c \uc2e4\uc99d \uc5f0\uad6c \uacb0\uacfc\ub294 \uc544\ub2c8\ub2e4.<a class=\"math-abs-series-ref\" title=\"V. I. Arnol'd, \u201cOn Teaching Mathematics,\u201d Russian Mathematical Surveys 53(1), 1998, pp. 229\u2013236.\" href=\"#ref-Arnold1998\">[Arnold1998]<\/a> -->]<\/p>\n<p>\uc774 \ube44\ud310\uc740 <a href=\"..\/math-abstraction-09-cognitive-process\/\">9\ubd80<\/a>\uc5d0\uc11c \ub2e4\ub8e8\uc5c8\ub358 \uc0c8\uc218\ud559(New Math)\uc758 \uc77c\ubd80 \ud615\uc2dd\uc8fc\uc758\uc801 \ud750\ub984\uacfc \uc811\uc810\uc744 \uac16\ub294\ub2e4. <!-- \uadf8\ub7ec\ub098 \ub458\uc744 \ub3d9\uc77c\uc2dc\ud574\uc11c\ub294 \uc548 \ub41c\ub2e4. --> \ubd80\ub974\ubc14\ud0a4\uc758 \uad6c\uc870 \uac1c\ub150\uc774 \uc5f0\uad6c\uc218\ud559\uc5d0\uc11c \ubc1c\ud718\ud55c \ud1b5\ud569\uc758 \ud798\uacfc, \uace0\ub3c4\ub85c \ucd94\uc0c1\uc801\uc778 \uac1c\ub150\uc744 \ud559\uad50 \uad50\uc721\uc5d0 \uc62e\uae38 \ub54c \uc0dd\uae34 \uad50\uc218\ud559\uc801 \ubb38\uc81c\ub294 \uc11c\ub85c \ub2e4\ub978 \uce35\uc704\uc758 \uc7c1\uc810\uc774\ub2e4. \ub354\uad6c\ub098 \u2018\uc0c8\uc218\ud559\u2019\uc740 \uc5ec\ub7ec \ub098\ub77c\uc5d0\uc11c \uc804\uac1c\ub41c \ub2e4\uc591\ud55c \uac1c\ud601\uc744 \ubb36\uc5b4 \ubd80\ub974\ub294 \ub9d0\uc774\uc9c0 \ud558\ub098\uc758 \ub2e8\uc77c\ud55c \ud504\ub85c\uadf8\ub7a8\uc774 \uc544\ub2c8\uc5c8\ub2e4. <!-- \ubd80\ub974\ubc14\ud0a4\uac00 \uc911\uc694\ud55c \uc601\ud5a5\uc744 \ub07c\uce5c \uac83\uc740 \ub9de\uc9c0\ub9cc, \uc0c8\uc218\ud559 \uc804\uccb4\ub97c \ubd80\ub974\ubc14\ud0a4\uc758 \uc9c1\uc811 \uc0b0\ubb3c\uc774\ub098 \ub2e8\uc21c\ud55c \uc2e4\ud328\ub85c \ud658\uc6d0\ud560 \uc218\ub294 \uc5c6\ub2e4.<a class=\"math-abs-series-ref\" title=\"Jeremy Kilpatrick, \u201cThe New Math as an International Phenomenon,\u201d ZDM Mathematics Education 44, 2012, pp. 563\u2013571.\" href=\"#ref-Kilpatrick2012\">[Kilpatrick2012]<\/a> --><\/p>\n<p>\ucd94\uc0c1\ud654\uc758 \uc639\ud638\uc790\ub4e4\uc740 \ubc18\ub300\ud3b8\uc758 \uc0ac\ub840\ub97c \uc81c\uc2dc\ud560 \uc218 \uc788\ub2e4. 19\uc138\uae30 \ub9d0 \ud30c\uc288\uc640 \ud790\ubca0\ub974\ud2b8 \ub4f1\uc758 \uacf5\ub9ac\uc801 \uc5f0\uad6c\ub294 \uc720\ud074\ub9ac\ub4dc \uae30\ud558\ud559\uc5d0\uc11c \uc554\ubb35\uc801\uc73c\ub85c \uc0ac\uc6a9\ub418\ub358 \uc804\uc81c\ub97c \ub4dc\ub7ec\ub0b4\uace0 \uae30\ud558\ud559\uc758 \ub17c\ub9ac\uc801 \uad6c\uc870\ub97c \uc7ac\uc815\ube44\ud588\ub2e4. \uad70\uc758 \ucd94\uc0c1\uc801 \uc5b8\uc5b4\ub294 \ubc29\uc815\uc2dd\ub860\uc744 \ub118\uc5b4 \uacb0\uc815\ud559\uacfc \uc591\uc790\uc5ed\ud559\uc744 \ud3ec\ud568\ud55c \uc5ec\ub7ec \ubd84\uc57c\uc758 \ub300\uce6d\uc744 \ud45c\ud604\ud558\ub294 \ub3c4\uad6c\uac00 \ub418\uc5c8\ub2e4. \uadf8\ub85c\ud150\ub514\ud06c\uc640 \uacf5\ub3d9 \uc5f0\uad6c\uc790\ub4e4\uc774 \ubc1c\uc804\uc2dc\ud0a8 \uc2a4\ud0b4\uacfc \uc5d0\ud0c8 \ucf54\ud638\ubab0\ub85c\uc9c0\uc758 \ud2c0\uc740 \ubca0\uc720 \ucd94\uce21\uc758 \uc55e\ubd80\ubd84\uc744 \uc99d\uba85\ud558\uace0 \ub9c8\uc9c0\ub9c9 \ucd94\uce21\uc744 \ud5a5\ud55c \uae30\ubc18\uc744 \uc81c\uacf5\ud588\uc73c\uba70, \ub9c8\uc9c0\ub9c9 \ud575\uc2ec\uc778 \uc720\ud55c\uccb4 \uc704 \ub300\uc218\ub2e4\uc591\uccb4\uc758 \ub9ac\ub9cc \uac00\uc124\uc740 1974\ub144 \ud53c\uc5d0\ub974 \ub4e4\ub9ac\ub274\uac00 \uc99d\uba85\ud588\ub2e4. <!-- \uadf8\ub7ec\ubbc0\ub85c \u201c\uadf8\ub85c\ud150\ub514\ud06c \ud63c\uc790 \uc77c\ubc18\ud654\ub85c \ubca0\uc720 \ucd94\uce21\uc744 \ud574\uacb0\ud588\ub2e4\u201d\ub77c\uace0 \uc4f0\uae30\ubcf4\ub2e4\ub294, \uadf8\uc758 \uc774\ub860\uc801 \ud2c0\uc774 \ub4e4\ub9ac\ub274\uc758 \uc644\uacb0\uc744 \uac00\ub2a5\ud558\uac8c \ud55c \ud575\uc2ec \uae30\ubc18\uc774\uc5c8\ub2e4\uace0 \ub9d0\ud558\ub294 \ud3b8\uc774 \uc815\ud655\ud558\ub2e4.<a class=\"math-abs-series-ref\" title=\"Institute for Advanced Study, \u201cFrom Prime Numbers to Nuclear Physics and Beyond,\u201d 2013.\" href=\"#ref-IASPrimeNumbers2013\">[IASPrimeNumbers2013]<\/a> --> <!-- \ucd94\uc0c1\ud654\uc640 \uc9c1\uad00 \uac00\uc6b4\ub370 \uc5b4\ub290 \ud558\ub098\uac00 \uc5b8\uc81c\ub098 \uc6b0\uc6d4\ud558\ub2e4\ub294 \uacb0\ub860\ubcf4\ub2e4, \uc5f0\uad6c \ub300\uc0c1\uc5d0 \ub530\ub77c \ub450 \ubc29\uc2dd\uc758 \ube44\uc911\uc744 \uc870\uc808\ud574\uc57c \ud55c\ub2e4\ub294 \uacb0\ub860\uc774 \uc5ed\uc0ac\uc801 \uc0ac\ub840\uc5d0 \ub354 \uc798 \ub9de\ub294\ub2e4. --><\/p>\n<h4>\uc801\uc815 \uc77c\ubc18\uc131<\/h4>\n<p>\uc774 \ucca0\ud559\uc801 \ub17c\uc7c1\uc744 \uc2e4\ubb34\uc758 \uc5b8\uc5b4\ub85c \uc62e\uae30\uba74 \u201c\ubc29\uae08 \uc5bb\uc740 \uc815\ub9ac\ub97c \uc5b4\ub290 \uc218\uc900\uc758 \uc77c\ubc18\uc131\uc73c\ub85c \uc9c4\uc220\ud560 \uac83\uc778\uac00\u201d\ub77c\ub294 \ud310\ub2e8\uc774 \ub41c\ub2e4. \uc774 \uae00\uc5d0\uc11c\ub294 \uadf8 \uade0\ud615\uc810\uc744 <span class=\"defined\">\uc801\uc815 \uc77c\ubc18\uc131<\/span>(right level of generality)\uc774\ub77c\uace0 \ubd80\ub974\uae30\ub85c \ud558\uc790. \uc815\ub9ac\ub97c \uc9c0\ub098\uce58\uac8c \ud2b9\uc218\ud55c \uc870\uac74\uc5d0\uc11c\ub9cc \uc9c4\uc220\ud558\uba74 \ud6d7\ub0a0\uc758 \uc801\uc6a9 \ubc94\uc704\uac00 \uc881\uc544\uc9c4\ub2e4. \ubc18\ub300\ub85c \ud544\uc694 \uc774\uc0c1\uc758 \uc77c\ubc18\uc131\uc744 \ucd94\uad6c\ud558\uba74 \uac00\uc815\uacfc \ud45c\uae30\uac00 \ub298\uc5b4\ub098 \ud575\uc2ec \uc544\uc774\ub514\uc5b4\uac00 \ud750\ub824\uc9c0\uace0, \uc2e4\uc81c \uc0ac\uc6a9\uacfc \uc720\uc9c0\uac00 \uc5b4\ub824\uc6cc\uc9c8 \uc218 \uc788\ub2e4. \u2018\uc801\uc815 \uc77c\ubc18\uc131\u2019\uc740 \uc774\ubbf8 \ud655\ub9bd\ub41c \ud558\ub098\uc758 \uc218\ud559\uc801 \ubd88\ubcc0\ub7c9\uc774 \uc544\ub2c8\ub77c, \uc774 \uae00\uc774 \uc5f0\uad6c \uc124\uacc4\uc758 \ubb38\uc81c\ub97c \uc124\uba85\ud558\uae30 \uc704\ud574 \uc0ac\uc6a9\ud558\ub294 \ubd84\uc11d\uc801 \ud45c\ud604\uc774\ub2e4.<\/p>\n<p>\uadf8\ub85c\ud150\ub514\ud06c\uc758 \ubc29\ubc95\ub860\uc740 \uc77c\ubc18\ud654\ub97c \uc62c\ubc14\ub978 \ubc29\ud5a5\uc73c\ub85c \ubc00\uc5b4 \uc62c\ub838\uc744 \ub54c \uc5bb\ub294 \ud798\uc744 \uc798 \ubcf4\uc5ec \uc900\ub2e4. \uac1c\ubcc4 \ub09c\uc81c\ub97c \uc815\uba74\uc73c\ub85c \uacc4\uc0b0\ud558\uae30\ubcf4\ub2e4, \uadf8 \ubb38\uc81c\uac00 \uc790\uc5f0\uc2a4\ub7fd\uac8c \ub193\uc774\ub294 \ub354 \ub113\uc740 \ubc94\uc8fc\uc640 \ubd88\ubcc0\ub7c9\uc744 \uc124\uacc4\ud558\uc5ec \ubcf5\uc7a1\ud55c \ud604\uc0c1\uc744 \uad6c\uc870\uc801\uc73c\ub85c \uc124\uba85\ud558\ub294 \ubc29\uc2dd\uc774\ub2e4. \uadf8\ub7ec\ub098 \uc77c\ubc18\ud654 \uc790\uccb4\uac00 \uc131\uacf5\uc744 \ubcf4\uc7a5\ud558\uc9c0\ub294 \uc54a\ub294\ub2e4. \uc88b\uc740 \uc77c\ubc18\ud654\ub294 \uc5ec\ub7ec \uc99d\uba85\uc5d0\uc11c \ubc18\ubcf5\ub418\ub294 \ub17c\ub9ac\ub97c \ubd84\ub9ac\ud558\uc5ec \ud558\ub098\uc758 \uc815\ub9ac\ub85c \ub9cc\ub4e4\uc9c0\ub9cc, \ubaa9\uc801 \uc5c6\ub294 \uc77c\ubc18\ud654\ub294 \ud45c\uae30\uc640 \uac00\uc815\ub9cc \ub298\ub9b4 \uc218 \uc788\ub2e4. \ub2e4\uc74c \uc808\uc5d0\uc11c\ub294 \ud558\ub098\uc758 \uc801\uc808\ud55c \uc77c\ubc18\ud654\uac00 \uc11c\ub85c \ub2e4\ub978 \ub450 \ubd84\uc57c\uc758 \uc815\ub9ac\ub97c \uc5b4\ub5bb\uac8c \uac19\uc740 \ubf08\ub300 \uc544\ub798 \ub193\ub294\uc9c0 \ub300\uc218\ud559\uc758 \uc0ac\ub840\ub85c \uc0b4\ud3b4\ubcf8\ub2e4.<\/p>\n<h4>\uac00\uad70, \ubca1\ud130\uacf5\uac04\uc758 \ud655\uc7a5<\/h4>\n<p>\ubca1\ud130\uacf5\uac04\uc740 \ub367\uc148\uc5d0 \uad00\ud55c \uc544\ubca8\uad70\uacfc \uccb4\uc758 \uc2a4\uce7c\ub77c \uc791\uc6a9\uc73c\ub85c \uc774\ub8e8\uc5b4\uc9c0\uba70, \ub367\uc148\u00b7\uc2a4\uce7c\ub77c\uacf1\uc5d0 \uad00\ud55c \uc5ec\ub7ec \uacf5\ub9ac\ub97c \ub9cc\uc871\ud55c\ub2e4. \uc5ec\uae30\uc11c \uccb4\ub97c \uc77c\ubc18\uc801\uc778 \ud658\uc73c\ub85c \ubc14\uafb8\uba74 <span class=\"defined\">\uac00\uad70<\/span>(module, \ubaa8\ub4c8)\uc744 \uc5bb\ub294\ub2e4. \uc774 \uae00\uc5d0\uc11c\ub294 \\(1\\)\uc744 \uac16\ub294 \uac00\ud658\ud658 \\(R\\)\uacfc \uadf8 \uc704\uc758 \\(R\\)-\uac00\uad70\uc744 \ub2e4\ub8e8\uc9c0\ub9cc, \uc77c\ubc18\uc801\uc73c\ub85c\ub294 \ube44\uac00\ud658\ud658 \uc704\uc758 \uc67c\ucabd \uac00\uad70\uacfc \uc624\ub978\ucabd \uac00\uad70\ub3c4 \uc815\uc758\ud560 \uc218 \uc788\ub2e4. \uccb4 \uc704\uc758 \uac00\uad70\uc740 \uc815\ud655\ud788 \ubca1\ud130\uacf5\uac04\uc774\ubbc0\ub85c, \uac00\uad70\uc740 \ubca1\ud130\uacf5\uac04\uc744 \ud3ec\ud568\ud558\ub294 \uc77c\ubc18\ud654\ub2e4. \uadf8\ub7ec\ub098 \uc77c\ubc18 \uac00\uad70\uc740 \uc790\uc720\uac00\uad70\uc77c \ud544\uc694\uac00 \uc5c6\uace0, \ub530\ub77c\uc11c \ubca1\ud130\uacf5\uac04\uc5d0\uc11c\uc640 \uac19\uc740 \uae30\uc800\uac00 \uc874\uc7ac\ud558\uc9c0 \uc54a\uc744 \uc218 \uc788\ub2e4. \uc720\ud55c\ucc28\uc6d0 \ubca1\ud130\uacf5\uac04\uc758 \uae30\uc800 \uc874\uc7ac\ub294 \ucd08\ub4f1\uc801\uc73c\ub85c \uc99d\uba85\ub418\uba70, \uc784\uc758 \ucc28\uc6d0 \ubca1\ud130\uacf5\uac04\uc758 \uae30\uc800 \uc874\uc7ac\uc5d0\ub294 \ud1b5\uc0c1 \uc120\ud0dd\uacf5\ub9ac\uac00 \uc0ac\uc6a9\ub41c\ub2e4.<a class=\"math-abs-series-ref\" title=\"Keith Conrad, Introductory Notes on Modules.\" href=\"#ref-ConradModules\">[ConradModules]<\/a><\/p>\n<p>\uc774\uc81c \ud658 \\(R\\)\uc5d0 \uc801\uc808\ud55c \uc81c\uc57d\uc744 \uc8fc\uc790. \\(0\\)\uc774 \uc544\ub2cc \ub450 \uc6d0\uc18c\uc758 \uacf1\uc774 \\(0\\)\uc774 \ub418\uc9c0 \uc54a\ub294 \uac00\ud658\ud658\uc744 <span class=\"defined\">\uc815\uc5ed<\/span>(integral domain)\uc774\ub77c\uace0 \ud55c\ub2e4. \ubaa8\ub4e0 \uc544\uc774\ub514\uc5bc\uc774 \uc5b4\ub5a4 \ud55c \uc6d0\uc18c\ub85c \uc0dd\uc131\ub418\ub294 \uc815\uc5ed\uc744 <span class=\"defined\">\uc8fc \uc544\uc774\ub514\uc5bc \uc815\uc5ed<\/span>(principal ideal domain, PID)\uc774\ub77c\uace0 \ubd80\ub978\ub2e4. <!-- \uc5ec\uae30\uc11c \u201c\ud55c \uc6d0\uc18c\ub85c \uc0dd\uc131\ub41c\ub2e4\u201d\ub294 \ub9d0\uc740 \uc0dd\uc131\uc6d0\uc774 \uc720\uc77c\ud558\ub2e4\ub294 \ub73b\uc774 \uc544\ub2c8\ub2e4. \uac19\uc740 \uc8fc \uc544\uc774\ub514\uc5bc\uc758 \uc0dd\uc131\uc6d0\uc740 \uc77c\ubc18\uc801\uc73c\ub85c \ub2e8\uc6d0(unit)\uc744 \uacf1\ud55c \uc815\ub3c4\uc758 \ubaa8\ud638\uc131\uc744 \uac16\ub294\ub2e4. --> \uc815\uc218\ud658 \\(\\mathbb Z\\)\uc640 \uccb4 \\(F\\) \uc704\uc758 \uc77c\ubcc0\uc218 \ub2e4\ud56d\uc2dd\ud658 \\(F[x]\\)\ub294 \uc720\ud074\ub9ac\ub4dc \uc815\uc5ed\uc774\uace0, \ub530\ub77c\uc11c PID\uc758 \ub300\ud45c\uc801 \uc608\ub2e4.<a class=\"math-abs-series-ref\" title=\"David Zywina, Linus Setiabrata, Math 6310: Algebra, Cornell University, Fall 2018, rev. 2020, \u00a7\u00a73.24\u20133.28.\" href=\"#ref-ZywinaSetiabrata2018\">[ZywinaSetiabrata2018]<\/a><\/p>\n<p>PID \uc704\uc5d0\uc11c \uc720\ud55c \uac1c\uc758 <em>\uc0dd\uc131\uc6d0<\/em>\uc73c\ub85c \uc804\uccb4\uac00 \uc0dd\uc131\ub418\ub294 \uac00\uad70\uc744 \uc0b4\ud3b4\ubcf4\uba74 \ub2e4\uc74c \uad6c\uc870 \uc815\ub9ac\ub97c \uc5bb\ub294\ub2e4. \u201c\uc720\ud55c\uc0dd\uc131\u201d\uc740 \uac00\uad70\uc758 \uc6d0\uc18c \uc218\uac00 \uc720\ud55c\ud558\ub2e4\ub294 \ub73b\uc774 \uc544\ub2c8\ub77c, \uc720\ud55c\ud55c \uc0dd\uc131 \uc9d1\ud569\uc774 \uc874\uc7ac\ud55c\ub2e4\ub294 \ub73b\uc774\ub2e4.<\/p>\n<div class=\"box theorem\">\n<p>\n<span class=\"theorem\">\uc815\ub9ac: \uc8fc \uc544\uc774\ub514\uc5bc \uc815\uc5ed \uc704\uc758 \uc720\ud55c\uc0dd\uc131 \uac00\uad70\uc758 \uad6c\uc870<\/span><br \/>\n\uc8fc \uc544\uc774\ub514\uc5bc \uc815\uc5ed \\(R\\) \uc704\uc758 \uc720\ud55c\uc0dd\uc131 \\(R\\)-\uac00\uad70 \\(M\\)\uc5d0 \ub300\ud558\uc5ec, \uc5b4\ub5a4 \uc815\uc218 \\(r,k\\geq0\\)\uc640 \\(0\\)\uc774 \uc544\ub2c8\uace0 \ub2e8\uc6d0\ub3c4 \uc544\ub2cc \uc6d0\uc18c \\(d_1,\\ldots,d_k\\in R\\)\uac00 \uc874\uc7ac\ud558\uc5ec<br \/>\n\\[<br \/>\nd_1\\mid d_2\\mid\\cdots\\mid d_k<br \/>\n\\]<br \/>\n\uc774\uace0<br \/>\n\\[<br \/>\nM\\cong R^r\\oplus R\/(d_1)\\oplus\\cdots\\oplus R\/(d_k)<br \/>\n\\]<br \/>\n\uac00 \uc131\ub9bd\ud55c\ub2e4. \\(r\\), \\(k\\), \uadf8\ub9ac\uace0 \uc8fc \uc544\uc774\ub514\uc5bc \\((d_1),\\ldots,(d_k)\\)\ub294 \\(M\\)\uc5d0 \uc758\ud574 \uc720\uc77c\ud558\uac8c \uacb0\uc815\ub41c\ub2e4. \ub530\ub77c\uc11c \\(d_i\\) \uc790\uccb4\ub294 \ub2e8\uc6d0\ubc30\uae4c\uc9c0 \uc720\uc77c\ud558\ub2e4. \\(r\\)\uc740 \\(M\\)\uc758 <span class=\"defined\">\uc790\uc720 \ub7ad\ud06c<\/span>(free rank), \\(d_i\\)\ub4e4\uc740 <span class=\"defined\">\ubd88\ubcc0\uc778\uc790<\/span>(invariant factors)\ub77c\uace0 \ubd80\ub978\ub2e4.<a class=\"math-abs-series-ref\" title=\"David Zywina (\uac15\uc758), Linus Setiabrata (\uc815\ub9ac), Math 6310: Algebra, Cornell University, Fall 2018, rev. 2020, \u00a7\u00a73.24\u20133.28.\" href=\"#ref-ZywinaSetiabrata2018\">[ZywinaSetiabrata2018]<\/a>\n<\/p>\n<\/div>\n<p>\uc774 \uc815\ub9ac\uc758 \uc99d\uba85 \uc904\uae30\ub294 \ub2e4\uc74c\uacfc \uac19\ub2e4. \\(M\\)\uc774 \\(n\\)\uac1c\uc758 \uc0dd\uc131\uc6d0\uc744 \uac00\uc9c0\uba74 \uadf8 \uc0dd\uc131\uc6d0\uc5d0 \ud45c\uc900\uae30\uc800\ub97c \ubcf4\ub0b4\ub294 \uc804\uc0ac \\(R^n\\twoheadrightarrow M\\)\uac00 \uc788\uace0, \ud575\uc744 \\(K\\)\ub77c\uace0 \ud560 \ub54c \uc81c1\ub3d9\ud615\uc815\ub9ac\uc5d0 \ub530\ub77c \\(M\\cong R^n\/K\\)\uc774\ub2e4. PID\ub294 \ub1cc\ud130\ud658\uc774\uace0, PID \uc704 \uc790\uc720\uac00\uad70\uc758 \ubd80\ubd84\uac00\uad70\uc740 \uc790\uc720\uac00\uad70\uc774\ubbc0\ub85c \\(K\\)\ub3c4 \uc720\ud55c \ub7ad\ud06c \uc790\uc720\uac00\uad70\uc774\ub2e4. \uc801\uc808\ud55c \uae30\uc800\ub97c \ud0dd\ud558\uba74 \uc5b4\ub5a4 \\(s\\leq n\\)\uacfc \\(a_1\\mid\\cdots\\mid a_s\\)\uc5d0 \ub300\ud558\uc5ec<br \/>\n\\[<br \/>\nK=Ra_1e_1\\oplus\\cdots\\oplus Ra_se_s<br \/>\n\\]<br \/>\n\uaf34\ub85c \uc815\ub9ac\ud560 \uc218 \uc788\ub2e4. \uadf8\ub7ec\uba74<br \/>\n\\[<br \/>\nR^n\/K\\cong R\/(a_1)\\oplus\\cdots\\oplus R\/(a_s)\\oplus R^{n-s}<br \/>\n\\]<br \/>\n\uac00 \ub41c\ub2e4. \ubd84\ud574\uc758 \uc720\uc77c\uc131\uc740 \uc18c\uba78\uc790 \ud558\ub098\ub9cc\uc73c\ub85c \ubaa8\ub4e0 \ubd88\ubcc0\uc778\uc790\ub97c \ubcf5\uc6d0\ud574\uc11c \uc5bb\ub294 \uac83\uc774 \uc544\ub2c8\ub2e4. \ud504\ub808\uc820\ud14c\uc774\uc158 \ud589\ub82c\uc758 \uc18c\ud589\ub82c\uc2dd\ub4e4\uc774 \uc0dd\uc131\ud558\ub294 \uacb0\uc815 \uc544\uc774\ub514\uc5bc, \ub610\ub294 \uadf8\uc640 \ub3d9\ub4f1\ud55c \ud53c\ud305 \uc544\uc774\ub514\uc5bc(Fitting ideals)\uc774 \uae30\uc800\ubcc0\ud658\uc5d0 \ubd88\ubcc0\uc774\ub77c\ub294 \uc0ac\uc2e4\uc744 \uc774\uc6a9\ud574 \uac01 \ubd88\ubcc0\uc778\uc790\ub97c \ubcf5\uc6d0\ud55c\ub2e4.<a class=\"math-abs-series-ref\" title=\"David Zywina (\uac15\uc758), Linus Setiabrata (\uc815\ub9ac), Math 6310: Algebra, Cornell University, Fall 2018, rev. 2020, \u00a7\u00a73.24\u20133.28.\" href=\"#ref-ZywinaSetiabrata2018\">[ZywinaSetiabrata2018]<\/a><\/p>\n<p>[\uad00\uacc4\uc0ac\uc0c1\uc758 \ud589\ub82c \\(A:R^m\\to R^n\\)\uc5d0 \uac00\uc5ed\uc801\uc778 \ud589 \uc5f0\uc0b0\uacfc \uc5f4 \uc5f0\uc0b0\uc744 \uc801\uc6a9\ud558\uc5ec<br \/>\n\\[<br \/>\nPAQ=\\operatorname{diag}(a_1,\\ldots,a_s,0,\\ldots,0),\\quad a_1\\mid\\cdots\\mid a_s<br \/>\n\\]<br \/>\n\ub85c \ub9cc\ub4dc\ub294 \uac83\uc774 <span class=\"defined\">\uc2a4\ubbf8\uc2a4 \ud45c\uc900\ud615<\/span>(Smith normal form)\uc774\ub2e4. \uc774\ub294 \uc704 \uae30\uc800\ubcc0\ud658\uc744 \ud589\ub82c\ub85c \ud45c\ud604\ud55c \uac83\uc774\uba70, \uc815\uc218\ud589\ub82c\uc5d0\ub9cc \uad6d\ud55c\ub418\uc9c0 \uc54a\uace0 PID \uc704\uc758 \ud589\ub82c\uc5d0 \uc801\uc6a9\ub41c\ub2e4. \ud2b9\ud788 \\(R=\\mathbb Z\\)\ub098 \\(F[x]\\)\uc5d0\uc11c\ub294 \uc720\ud074\ub9ac\ub4dc \uc54c\uace0\ub9ac\uc998\uc744 \uc774\uc6a9\ud574 \uacc4\uc0b0\ud560 \uc218 \uc788\ub2e4.<a class=\"math-abs-series-ref\" title=\"Richard P. Stanley, \u201cSmith Normal Form in Combinatorics,\u201d Journal of Combinatorial Theory, Series A 144, 2016, pp. 476\u2013495.\" href=\"#ref-Stanley2016\">[Stanley2016]<\/a>]<\/p>\n<h4>\ub450 \uc5bc\uad74\uc758 \uc815\ub9ac<\/h4>\n<p>\uc774\uc81c \uc774 \uad6c\uc870 \uc815\ub9ac\uac00 \uc11c\ub85c \ub2e4\ub978 \uacfc\ubaa9\uc5d0\uc11c \ubc30\uc6b0\ub294 \uacb0\uacfc\ub4e4\uc744 \uc5b4\ub5bb\uac8c \ud558\ub098\uc758 \ud2c0\ub85c \ubb36\ub294\uc9c0 \uc0b4\ud3b4\ubcf4\uc790.<\/p>\n<p>\uccab \ubc88\uc9f8 \ub9e5\ub77d\uc740 \uad70\ub860\uc774\ub2e4. \uc544\ubca8\uad70\uc740 \uc815\ud655\ud788 \\(\\mathbb Z\\)-\uac00\uad70\uacfc \uac19\uc740 \ub370\uc774\ud130\ub2e4. \uc774\ub294 \uc720\ud55c \uc544\ubca8\uad70\uc5d0\ub9cc \ud574\ub2f9\ud558\ub294 \ub9d0\uc774 \uc544\ub2c8\ub77c \ubaa8\ub4e0 \uc544\ubca8\uad70\uc5d0 \ud574\ub2f9\ud55c\ub2e4.<a class=\"math-abs-series-ref\" title=\"Keith Conrad, Introductory Notes on Modules.\" href=\"#ref-ConradModules\">[ConradModules]<\/a><\/p>\n<p>[\uc544\ubca8\uad70 \\(G\\)\uc758 \uc6d0\uc18c \\(g\\)\uc5d0 \ub300\ud574 \\(n>0\\)\uc774\uba74 \\(n\\cdot g=g+\\cdots+g\\), \\(0\\cdot g=0\\), \\(n&lt;0\\)\uc774\uba74 \\(n\\cdot g=-((-n)\\cdot g)\\)\ub85c \uc815\uc758\ud55c\ub2e4. \uadf8\ub7ec\uba74 \uc544\ubca8\uad70\uc740 \\(\\mathbb Z\\)-\uac00\uad70\uc774 \ub418\uace0, \uc5ed\uc73c\ub85c \ubaa8\ub4e0 \\(\\mathbb Z\\)-\uac00\uad70\uc758 \ub367\uc148\uad70\uc740 \uc544\ubca8\uad70\uc774\ub2e4.<a class=\"math-abs-series-ref\" title=\"Keith Conrad, Introductory Notes on Modules.\" href=\"#ref-ConradModules\">[ConradModules]<\/a>]<\/p>\n<p>\uc720\ud55c \uc544\ubca8\uad70 \\(G\\)\uc5d0 PID \uad6c\uc870 \uc815\ub9ac\ub97c \uc801\uc6a9\ud558\uba74 \uc790\uc720 \ub7ad\ud06c\ub294 \\(0\\)\uc774\uc5b4\uc57c \ud55c\ub2e4. \\(r>0\\)\uc774\uba74 \\(\\mathbb Z^r\\)\ub77c\ub294 \ubb34\ud55c\ud55c \uc790\uc720 \ubd80\ubd84\uc774 \uc0dd\uae30\uae30 \ub54c\ubb38\uc774\ub2e4. \uac01 \ubd88\ubcc0\uc778\uc790\uc758 \uc591\uc758 \ub300\ud45c\uc6d0\uc744 \ud0dd\ud558\uba74 \uc720\uc77c\ud558\uac8c \uc815\ud574\uc9c0\ub294 \uc815\uc218<br \/>\n\\[<br \/>\n1 < d_1\\mid d_2\\mid\\cdots\\mid d_k\n\\]\n\uc5d0 \ub300\ud558\uc5ec\n\\[\nG\\cong\\mathbb Z\/(d_1)\\oplus\\cdots\\oplus\\mathbb Z\/(d_k)\n\\]\n\ub97c \uc5bb\ub294\ub2e4. \uc774\uac83\uc774 \uc720\ud55c \uc544\ubca8\uad70\uc758 \uae30\ubcf8\uc815\ub9ac\uc758 \ubd88\ubcc0\uc778\uc790 \ud615\ud0dc\ub2e4. \uc5ec\uae30\uc11c \uc720\uc77c\ud55c \uac83\uc740 \uc815\uaddc\ud654\ub41c \ubd88\ubcc0\uc778\uc790 \ubaa9\ub85d\uc774\uc9c0, \uc120\ud0dd\ud55c \uc21c\ud658\ubd80\ubd84\uad70\uc774\ub098 \uadf8 \ub3d9\ud615\uc0ac\uc0c1 \uc790\uccb4\uac00 \uc544\ub2c8\ub2e4.<a class=\"math-abs-series-ref\" title=\"David Zywina (\uac15\uc758), Linus Setiabrata (\uc815\ub9ac), Math 6310: Algebra, Cornell University, Fall 2018, rev. 2020, \u00a7\u00a73.24\u20133.28.\" href=\"#ref-ZywinaSetiabrata2018\">[ZywinaSetiabrata2018]<\/a><\/p>\n<p>[\\(d_i>1\\)\uc77c \ub54c \\(\\mathbb Z\/(d_i)\\)\uc758 \ub367\uc148\uad70\uc740 \uc704\uc218 \\(d_i\\)\uc778 \uc21c\ud658\uad70\uc774\ub2e4. \\(d_i\\)\ub97c \uc11c\ub85c\uc18c\uc778 \uc18c\uc218 \uac70\ub4ed\uc81c\uacf1 \uc778\uc790\ub4e4\ub85c \ubd84\ud574\ud558\uace0 \uc911\uad6d\uc778\uc758 \ub098\uba38\uc9c0 \uc815\ub9ac\ub97c \uc801\uc6a9\ud558\uba74, \uc720\ud55c \uc544\ubca8\uad70\uc744 \uc18c\uc218 \uac70\ub4ed\uc81c\uacf1 \uc704\uc218\uc758 \uc21c\ud658\uad70\ub4e4\ub85c \ub098\ud0c0\ub0b4\ub294 \uae30\ubcf8\uc57d\uc218 \ubd84\ud574(elementary-divisor decomposition)\ub97c \uc5bb\ub294\ub2e4.<a class=\"math-abs-series-ref\" title=\"David Zywina (\uac15\uc758), Linus Setiabrata (\uc815\ub9ac), Math 6310: Algebra, Cornell University, Fall 2018, rev. 2020, \u00a7\u00a73.24\u20133.28.\" href=\"#ref-ZywinaSetiabrata2018\">[ZywinaSetiabrata2018]<\/a>]<\/p>\n<p>\ub450 \ubc88\uc9f8 \ub9e5\ub77d\uc740 \uc120\ud615\ub300\uc218\ud559\uc774\ub2e4. \uccb4 \\(F\\) \uc704\uc758 \uc720\ud55c\ucc28\uc6d0 \ubca1\ud130\uacf5\uac04 \\(V\\)\uc640 \uc120\ud615\ubcc0\ud658 \\(T:V\\to V\\)\uac00 \uc8fc\uc5b4\uc84c\ub2e4\uace0 \ud558\uc790. \ub2e4\ud56d\uc2dd\ud658 \\(F[x]\\)\ub294 PID\ub2e4. \ub2e4\uc74c \uc791\uc6a9\uc744 \uc815\uc758\ud558\uba74 \\(V\\)\ub294 \\(F[x]\\)-\uac00\uad70\uc774 \ub41c\ub2e4.<br \/>\n\\[<br \/>\np(x)\\cdot v=p(T)(v).<br \/>\n\\]<br \/>\n\uc5ec\uae30\uc11c \ubcc0\uc218 \\(x\\)\uc758 \uc791\uc6a9\uc744 \uc120\ud615\ubcc0\ud658 \\(T\\)\uc758 \uc791\uc6a9\uc73c\ub85c \ud574\uc11d\ud55c\ub2e4. \\(V\\)\uc758 \\(F\\)-\uae30\uc800\ub294 \ub3d9\uc2dc\uc5d0 \\(F[x]\\)-\uc0dd\uc131 \uc9d1\ud569\uc774\ubbc0\ub85c \uc774 \uac00\uad70\uc740 \uc720\ud55c\uc0dd\uc131\uc774\ub2e4.<\/p>\n<p>[\\(p(x)=a_0+a_1x+\\cdots+a_mx^m\\)\uc774\uba74<br \/>\n\\[<br \/>\np(T)=a_0\\operatorname{id}_V+a_1T+\\cdots+a_mT^m<br \/>\n\\]<br \/>\n\uc774\ub2e4. \uc774\ub294 \uae30\uc800\ub97c \uace0\ub974\uae30 \uc804\uc5d0\ub294 \uc120\ud615\uc5f0\uc0b0\uc790\uc774\uace0, \uae30\uc800\ub97c \ud0dd\ud55c \ub4a4\uc5d0\uc57c \ud589\ub82c\ub85c \ud45c\ud604\ub41c\ub2e4.<a class=\"math-abs-series-ref\" title=\"Dan Dore, Math 210A, Fall 2017: HW 6 Solutions, Stanford University, 2017, Proposition 1.\" href=\"#ref-Dore2017\">[Dore2017]<\/a>]<\/p>\n<p>\uc774 \\(F[x]\\)-\uac00\uad70\uc758 \uc790\uc720 \ub7ad\ud06c\ub294 \\(0\\)\uc774\ub2e4. \ud55c \uac00\uc9c0 \uc774\uc720\ub294 \\(F[x]\\)\uac00 \\(F\\)-\ubca1\ud130\uacf5\uac04\uc73c\ub85c \ubb34\ud55c\ucc28\uc6d0\uc774\ubbc0\ub85c, \uc720\ud55c\ucc28\uc6d0\uc778 \\(V\\) \uc548\uc5d0 \\(F[x]\\) \uc790\uc720\uac00\uad70\uc758 \ube44\uc601\uc778 \uc9c1\ud569\uc778\uc790\uac00 \ub4e4\uc5b4\uac08 \uc218 \uc5c6\ub2e4\ub294 \uac83\uc774\ub2e4. \ub610\ub294 \ucf00\uc77c\ub9ac\u2013\ud574\ubc00\ud134 \uc815\ub9ac\ub97c \uc0ac\uc6a9\ud558\uba74 \uac19\uc740 \uacb0\ub860\uc744 \uc5bb\ub294\ub2e4.<\/p>\n<p>[\ucf00\uc77c\ub9ac\u2013\ud574\ubc00\ud134 \uc815\ub9ac\uc5d0 \ub530\ub77c \ud2b9\uc131\ub2e4\ud56d\uc2dd \\(\\chi_T(x)\\)\ub294 \\(\\chi_T(T)=0\\)\uc744 \ub9cc\uc871\ud55c\ub2e4. \ub530\ub77c\uc11c \uac19\uc740 \\(0\\)\uc774 \uc544\ub2cc \ub2e4\ud56d\uc2dd\uc774 \\(V\\)\uc758 \ubaa8\ub4e0 \uc6d0\uc18c\ub97c \uc18c\uba78\uc2dc\ud0a4\uace0, \\(V\\)\ub294 \uaf2c\uc784 \\(F[x]\\)-\uac00\uad70(torsion module)\uc774\ub2e4. \uc77c\ubc18\uc801\uc73c\ub85c \uaf2c\uc784\uac00\uad70\uc740 \uac01 \uc6d0\uc18c \\(v\\)\ub9c8\ub2e4 \uc5b4\ub5a4 \\(0\\)\uc774 \uc544\ub2cc \uc2a4\uce7c\ub77c\uac00 \\(v\\)\ub97c \\(0\\)\uc73c\ub85c \ubcf4\ub0b4\ub294 \uac00\uad70\uc744 \ub73b\ud55c\ub2e4.<a class=\"math-abs-series-ref\" title=\"Dan Dore, Math 210A, Fall 2017: HW 6 Solutions, Stanford University, 2017, Proposition 1.\" href=\"#ref-Dore2017\">[Dore2017]<\/a>]<\/p>\n<p>PID \uad6c\uc870 \uc815\ub9ac\ub97c \uc801\uc6a9\ud558\uba74 \ube44\uc0c1\uc218 \ub2e4\ud56d\uc2dd \\(p_1,\\ldots,p_k\\)\uac00 \uc874\uc7ac\ud558\uc5ec<br \/>\n\\[<br \/>\nV\\cong F[x]\/(p_1(x))\\oplus\\cdots\\oplus F[x]\/(p_k(x)),\\quad<br \/>\np_1\\mid\\cdots\\mid p_k<br \/>\n\\]<br \/>\n\uac00 \ub41c\ub2e4. \uac01 \\(F[x]\/(p_i)\\)\uc5d0\uc11c \\(\\bar 1,\\bar x,\\ldots,\\bar x^{\\deg p_i-1}\\)\uc744 \uae30\uc800\ub85c \ud0dd\ud558\uba74 \\(x\\)\ub97c \uacf1\ud558\ub294 \uc120\ud615\ubcc0\ud658\uc758 \ud589\ub82c\uc740 \ub2e4\ud56d\uc2dd \\(p_i\\)\uc758 <span class=\"defined\">\ub538\ub9bc\ud589\ub82c<\/span>(companion matrix) \\(C(p_i)\\)\uac00 \ub41c\ub2e4. \ub530\ub77c\uc11c \uc801\uc808\ud55c \uae30\uc800\uc5d0\uc11c \\(T\\)\uc758 \ud589\ub82c\uc740<br \/>\n\\[<br \/>\n\\operatorname{diag}(C(p_1),\\ldots,C(p_k))<br \/>\n\\]<br \/>\n\uac00 \ub418\uba70, \uc774 \ube14\ub85d \ub300\uac01\ud589\ub82c\uc744 \\(T\\)\uc758 <span class=\"defined\">\uc720\ub9ac \ud45c\uc900\ud615<\/span>(rational canonical form), \ub610\ub294 \ud504\ub85c\ubca0\ub2c8\uc6b0\uc2a4 \ud45c\uc900\ud615\uc774\ub77c\uace0 \ud55c\ub2e4. <!-- \uc989, \uac00\uad70\uc758 \uc9c1\ud569\ubd84\ud574 \uadf8 \uc790\uccb4\uc640 \uadf8 \ubd84\ud574\uc5d0\uc11c \uc5bb\ub294 \ud589\ub82c\uc758 \ud45c\uc900\ud615\uc744 \uad6c\ubcc4\ud558\ub294 \ud3b8\uc774 \uc815\ud655\ud558\ub2e4.<a class=\"math-abs-series-ref\" title=\"Dan Dore, Math 210A, Fall 2017: HW 6 Solutions, Stanford University, 2017, Proposition 1.\" href=\"#ref-Dore2017\">[Dore2017]<\/a> --><\/p>\n<p>[\\(F[x]\\)\uc758 \ub2e8\uc6d0\uc740 \\(0\\)\uc774 \uc544\ub2cc \uc0c1\uc218\ub2e4. \ub530\ub77c\uc11c \uac01 \ubd88\ubcc0\uc778\uc790 \\(p_i\\)\ub97c \ucd5c\uace0\ucc28\ud56d\uc758 \uacc4\uc218\uac00 \\(1\\)\uc778 \ubaa8\ub2c9(monic) \ub2e4\ud56d\uc2dd\uc73c\ub85c \ud0dd\ud558\uba74 \ub2e8\uc6d0\ubc30\uc758 \ubaa8\ud638\uc131\uc774 \uc0ac\ub77c\uc9c0\uace0 \\(p_i\\) \uc790\uccb4\uac00 \uc720\uc77c\ud558\uac8c \uc815\ud574\uc9c4\ub2e4.<a class=\"math-abs-series-ref\" title=\"Dan Dore, Math 210A, Fall 2017: HW 6 Solutions, Stanford University, 2017, Proposition 1.\" href=\"#ref-Dore2017\">[Dore2017]<\/a>]<\/p>\n<p>\uc774\uc81c \\(F\\)\uac00 \ub300\uc218\uc801\uc73c\ub85c \ub2eb\ud600 \uc788\ub2e4\uace0 \ud558\uc790. \ub354 \uc77c\ubc18\uc801\uc73c\ub85c\ub294 \\(T\\)\uc758 \ud2b9\uc131\ub2e4\ud56d\uc2dd\uc774 \\(F\\) \uc704\uc5d0\uc11c \uc77c\ucc28\uc2dd\ub4e4\ub85c \uc644\uc804\ud788 \ubd84\ud574\ub41c\ub2e4\uace0\ub9cc \uac00\uc815\ud574\ub3c4 \ucda9\ubd84\ud558\ub2e4. \uac01 \ubd88\ubcc0\uc778\uc790\ub97c \uc11c\ub85c \ub2e4\ub978 \\(\\lambda\\)\uc5d0 \ub300\ud55c \\((x-\\lambda)^e\\)\ub4e4\uc758 \uacf1\uc73c\ub85c \uc778\uc218\ubd84\ud574\ud558\uace0 \uc911\uad6d\uc778\uc758 \ub098\uba38\uc9c0 \uc815\ub9ac\ub97c \uc801\uc6a9\ud558\uba74<br \/>\n\\[<br \/>\nF[x]\/(p_i(x))\\cong<br \/>\n\\bigoplus_{\\lambda}F[x]\/((x-\\lambda)^{e_{i,\\lambda}})<br \/>\n\\]<br \/>\n\uc640 \uac19\uc740 \uae30\ubcf8\uc57d\uc218 \ubd84\ud574\ub97c \uc5bb\ub294\ub2e4. \uac01 \\(F[x]\/((x-\\lambda)^e)\\)\uc5d0\uc11c \uc801\uc808\ud55c \uae30\uc800\ub97c \ud0dd\ud558\uba74 \\(x\\)\uc758 \uacf1\uc148\ud589\ub82c\uc740 \uc8fc\ub300\uac01\uc120\uc5d0 \\(\\lambda\\)\uac00 \uc788\uace0 \uc778\uc811\ud55c \ud55c \ubd80\ub300\uac01\uc120\uc5d0 \\(1\\)\uc774 \ub193\uc774\ub294 <span class=\"defined\">\uc870\ub974\ub2f9 \ube14\ub85d<\/span> \\(J_e(\\lambda)\\)\uc774 \ub41c\ub2e4. \\(1\\)\uc744 \uc704\ucabd\uc5d0 \ub458\uc9c0 \uc544\ub798\ucabd\uc5d0 \ub458\uc9c0\ub294 \uae30\uc800 \uc21c\uc11c\uc758 \uad00\ub840\uc5d0 \ub2ec\ub824 \uc788\ub2e4. \uc774 \ube14\ub85d\ub4e4\uc744 \ubaa8\uc740 \ud589\ub82c\uc774 <span class=\"defined\">\uc870\ub974\ub2f9 \ud45c\uc900\ud615<\/span>(Jordan canonical form)\uc774\uba70, \ube14\ub85d\uc758 \uc21c\uc11c\ub97c \uc81c\uc678\ud558\uba74 \uace0\uc720\uac12\uacfc \ube14\ub85d \ud06c\uae30\ub294 \uc720\uc77c\ud558\uac8c \uacb0\uc815\ub41c\ub2e4.<a class=\"math-abs-series-ref\" title=\"David Zywina (\uac15\uc758), Linus Setiabrata (\uc815\ub9ac), Math 6310: Algebra, Cornell University, Fall 2018, rev. 2020, \u00a7\u00a73.24\u20133.28.\" href=\"#ref-ZywinaSetiabrata2018\">[ZywinaSetiabrata2018]<\/a><\/p>\n<p>\ub530\ub77c\uc11c \\(R=\\mathbb Z\\)\uc778 \uacbd\uc6b0\uc5d0\ub294 \uc720\ud55c\uc0dd\uc131 \uc544\ubca8\uad70\uc758 \ubd84\ub958\uac00, \\(R=F[x]\\)\uc778 \uacbd\uc6b0\uc5d0\ub294 \uc720\ub9ac \ud45c\uc900\ud615\uc774 PID \uad6c\uc870 \uc815\ub9ac\uc5d0\uc11c \uc9c1\uc811 \ub098\uc628\ub2e4. \ud2b9\uc131\ub2e4\ud56d\uc2dd\uc774 \\(F\\)\uc5d0\uc11c \ubd84\ud574\ub420 \ub54c \ud6c4\uc790\uc758 \uae30\ubcf8\uc57d\uc218 \ubd84\ud574\uc640 \uc911\uad6d\uc778\uc758 \ub098\uba38\uc9c0 \uc815\ub9ac\ub97c \ub354 \uc801\uc6a9\ud558\uba74 \uc870\ub974\ub2f9 \ud45c\uc900\ud615\uc744 \uc5bb\ub294\ub2e4. <!-- \uc774 \ub450 \uc815\ub9ac\ub97c \uc11c\ub85c \uc644\uc804\ud788 \ub3d9\uc77c\ud55c \uacb0\uacfc\ub77c\uace0 \ubd80\ub974\uae30\ubcf4\ub2e4\ub294, \ud558\ub098\uc758 \uad6c\uc870 \uc815\ub9ac\uc5d0\uc11c \uac08\ub77c\uc838 \ub098\uc624\ub294 \uac00\uae4c\uc6b4 \uce5c\uc871\uc774\ub77c\uace0 \ud558\ub294 \ud3b8\uc774 \uc815\ud655\ud558\ub2e4. --> \ud559\ubd80 \uad50\uacfc\uc11c\uc5d0\uc11c\ub294 \uc720\ud55c \uc544\ubca8\uad70\uc758 \ubd84\ub958\uc640 \ud589\ub82c\uc758 \ud45c\uc900\ud615\uc744 \uc11c\ub85c \ub2e4\ub978 \uacc4\uc0b0\ubc95\uc73c\ub85c \uac00\ub974\uce58\uae30\ub3c4 \ud558\uc9c0\ub9cc, \uac00\uad70\uc758 \uc5b8\uc5b4\ub294 \ub450 \uacc4\uc0b0\uc758 \uacf5\ud1b5 \ubf08\ub300\ub97c \ub4dc\ub7ec\ub0b8\ub2e4. \uc774\uac83\uc774 \uc801\uc808\ud55c \uc77c\ubc18\ud654\uac00 \uc218\ud559\uc758 \ud30c\ud3b8\ud654\ub97c \uc904\uc774\ub294 \ud55c \ubc29\uc2dd\uc774\ub2e4.<\/p>\n<h4>\ucef4\ud4e8\ud130\uac00 \uc694\uad6c\ud558\ub294 \uc124\uacc4<\/h4>\n<p>\u2018\uc801\uc815 \uc77c\ubc18\uc131\u2019\uc744 \uac00\ub2a0\ud558\ub294 \ud310\ub2e8\uc740 \uc804\ud1b5\uc801\uc73c\ub85c \uc218\ud559\uc790\uc758 \uacbd\ud5d8\uacfc \ud559\uacc4\uc758 \uad00\ud589\uc5d0 \ud06c\uac8c \uc758\uc874\ud588\ub2e4. 21\uc138\uae30\uc5d0\ub294 \uc774 \ud310\ub2e8\uc774 \ud615\uc2dd\ud654\ub41c \uc218\ud559 \ub77c\uc774\ube0c\ub7ec\ub9ac\uc758 \uc18c\ud504\ud2b8\uc6e8\uc5b4 \uc124\uacc4 \ubb38\uc81c\ub85c\ub3c4 \ub098\ud0c0\ub09c\ub2e4.<\/p>\n<p><span class=\"defined\">Lean(\ub9b0)<\/span>\uc740 \uc885\uc18d \uc720\ud615 \uc774\ub860\uc5d0 \uae30\ubc18\ud55c \ud504\ub85c\uadf8\ub798\ubc0d \uc5b8\uc5b4\uc774\uc790 \ub300\ud654\ud615 \uc815\ub9ac \uc99d\uba85\uae30\ub2e4. \uc0ac\uc6a9\uc790\ub294 \uc815\uc758, \uc815\ub9ac\uc758 \uba85\uc81c, \uc99d\uba85 \ud56d \ub610\ub294 \uc804\uc220(tactic)\uc744 \uc791\uc131\ud558\uace0, \uc815\uad50\ud654\uae30\uc640 \uc804\uc220\uc774 \ub9cc\ub4e4\uc5b4 \ub0b8 \uc99d\uba85 \ud56d\uc758 \ud0c0\uc785\uc744 \uc791\uc740 \ub17c\ub9ac \ucee4\ub110\uc774 \uac80\uc0ac\ud55c\ub2e4. Lean\uc758 \ud575\uc2ec \uc791\ub3d9 \uc6d0\ub9ac\ub294 \uc791\uc131\ub41c \uc99d\uba85 \ud56d\uc758 \uae30\uacc4\uc801\uc778 \ud0c0\uc785 \uac80\uc0ac\uc774\ub2e4.<a class=\"math-abs-series-ref\" title=\"Lean FRO, \u201cIntroduction,\u201d The Lean Language Reference, \ud2b9\ud788 \u00a71.1 \u201cHistory.\u201d \uacf5\uc2dd \ubb38\uc11c.\" href=\"#ref-LeanLanguageReference\">[LeanLanguageReference]<\/a><\/p>\n<p>[\ub808\uc624\ub098\ub974\ub3c4 \ub4dc \ubb34\ub77c(Leonardo de Moura)\ub294 \ub9c8\uc774\ud06c\ub85c\uc18c\ud504\ud2b8 \ub9ac\uc11c\uce58\uc5d0 \uc788\ub358 2013\ub144\uc5d0 Lean \ud504\ub85c\uc81d\ud2b8\ub97c \uc2dc\uc791\ud588\uace0, Lean 0.1\uc740 2014\ub144 6\uc6d4 16\uc77c \uacf5\uac1c\ub418\uc5c8\ub2e4. \uc774\ud6c4 Lean\uc740 \uc5ec\ub7ec \uac1c\ubc1c\uc790\uc640 \uc0ac\uc6a9\uc790 \uacf5\ub3d9\uccb4\uac00 \ud568\uaed8 \ubc1c\uc804\uc2dc\ucf30\uc73c\uba70, \ud604\uc7ac \ub4dc \ubb34\ub77c\ub294 Lean FRO\uc758 \uacf5\ub3d9 \uc124\ub9bd\uc790\uc774\uc790 \uc218\uc11d \uc124\uacc4\uc790\ub2e4. \ub530\ub77c\uc11c \u201c\ub9c8\uc774\ud06c\ub85c\uc18c\ud504\ud2b8\uc758 \uc5f0\uad6c\uc790\uac00 \uc9c0\uae08\uae4c\uc9c0 \ub2e8\ub3c5\uc73c\ub85c \uc9c4\ub450\uc9c0\ud718\ud588\ub2e4\u201d\ub77c\uace0 \uc4f0\ub294 \uac83\uc740 \ud604\uc7ac\uc758 \uc18c\uc18d\uacfc \uacf5\ub3d9 \uac1c\ubc1c \uad6c\uc870\ub97c \ucda9\ubd84\ud788 \ubc18\uc601\ud558\uc9c0 \ubabb\ud55c\ub2e4.<a class=\"math-abs-series-ref\" title=\"Lean FRO, \u201cIntroduction,\u201d The Lean Language Reference, \ud2b9\ud788 \u00a71.1 \u201cHistory.\u201d \uacf5\uc2dd \ubb38\uc11c.\" href=\"#ref-LeanLanguageReference\">[LeanLanguageReference]<\/a>]<\/p>\n<p>Lean \uc704\uc5d0\ub294 <span class=\"defined\">Mathlib<\/span>\uc774\ub77c\ub294 \uacf5\ub3d9\uccb4 \uc8fc\ub3c4\ud615 \uc218\ud559 \ub77c\uc774\ube0c\ub7ec\ub9ac\uac00 \uad6c\ucd95\ub418\uc5b4 \uc788\ub2e4. \uc774 \ub77c\uc774\ube0c\ub7ec\ub9ac\ub294 \uc218\ud559\uc790, \ucef4\ud4e8\ud130\uacfc\ud559\uc790, \ud504\ub85c\uadf8\ub798\uba38 \ub4f1 \ub9ce\uc740 \uae30\uc5ec\uc790\uac00 \ud568\uaed8 \uc720\uc9c0\ud558\uba70, \ub300\uc218\ud559\u00b7\ud574\uc11d\ud559\u00b7\uc704\uc0c1\uc218\ud559\u00b7\uce21\ub3c4\ub860\uc744 \ube44\ub86f\ud55c \ud3ed\ub113\uc740 \uc815\uc758\uc640 \uc815\ub9ac\ub97c \ub2f4\uace0 \uc788\ub2e4. Mathlib\uc758 \ub0b4\uc6a9\uc740 \u2018\uc601\uad6c\ud788 \uace0\uc815\ub41c \uc800\uc7a5\ubb3c\u2019\uc774 \uc544\ub2c8\ub77c \uacf5\uac1c\ub41c \ubc84\uc804 \uad00\ub9ac \uc544\ub798 \uacc4\uc18d \ud655\uc7a5\ub418\uace0 \uc218\uc815\ub418\uba70 \ub9ac\ud329\ud130\ub9c1\ub418\ub294 \ucf54\ub4dc\ub2e4. 2020\ub144\uc758 Mathlib \ub17c\ubb38\uc740 \uad6c\uc870\uc758 \uacc4\uce35, \uc790\ub3d9\ud654, \uc815\uc758\uc758 \ud45c\ud604 \ubc29\uc2dd\uacfc \uac19\uc740 \uc124\uacc4 \uacb0\uc815\uc744 \ub77c\uc774\ube0c\ub7ec\ub9ac\uc758 \ud575\uc2ec \ud2b9\uc9d5\uc73c\ub85c \uc124\uba85\ud55c\ub2e4.<a class=\"math-abs-series-ref\" title=\"The Mathlib Community, \u201cThe Lean Mathematical Library,\u201d Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020, pp. 367\u2013381. arXiv:1910.09336.\" href=\"#ref-MathlibCommunity2020\">[MathlibCommunity2020]<\/a><\/p>\n<p>\uc774 \ud604\uc7a5\uc5d0\uc11c \uc77c\ubc18\uc131\uc740 \uad6c\uccb4\uc801\uc778 \ube44\uc6a9\uc744 \uac16\ub294\ub2e4. \ubcf4\uc870\uc815\ub9ac\ub97c \uc9c0\ub098\uce58\uac8c \uc881\uc740 \uad6c\uc870\uc5d0\ub9cc \uc9c4\uc220\ud558\uba74 \ube44\uc2b7\ud55c \uc815\ub9ac\uac00 \uc5ec\ub7ec \uad6c\uc870\uc5d0\uc11c \uc911\ubcf5\ub418\uace0 \uc7ac\uc0ac\uc6a9\uc774 \uc5b4\ub824\uc6cc\uc9c8 \uc218 \uc788\ub2e4. \ubc18\ub300\ub85c \ubb34\uc870\uac74 \uac00\uc7a5 \uc57d\ud55c \uac00\uc815\uacfc \uac00\uc7a5 \ub192\uc740 \ucd94\uc0c1\uc131\uc744 \ucd94\uad6c\ud558\uba74 API\uac00 \uc77d\uae30 \uc5b4\ub824\uc6cc\uc9c0\uace0, \uc720\ud615 \ud074\ub798\uc2a4 \ud0d0\uc0c9, \uac15\uc81c \ubcc0\ud658(coercion), \ucef4\ud30c\uc77c \uc2dc\uac04, \uc624\ub958 \uba54\uc2dc\uc9c0, \uc720\uc9c0\ubcf4\uc218 \ube44\uc6a9\uc774 \ucee4\uc9c8 \uc218 \uc788\ub2e4. Lean\uc740 \uc720\ud615 \ud074\ub798\uc2a4 \ucd94\ub860\uacfc \uc790\ub3d9\ud654\ub85c \ub9ce\uc740 \uac00\uc815\uc744 \uc790\ub3d9 \uacf5\uae09\ud558\ubbc0\ub85c, \uc77c\ubc18\uc801\uc778 \uc815\ub9ac\ub97c \ud638\ucd9c\ud560 \ub54c\ub9c8\ub2e4 \uc0ac\uc6a9\uc790\uac00 \ubaa8\ub4e0 \ud558\uc704 \uac00\uc815\uc744 \uc218\uc791\uc5c5\uc73c\ub85c \uc99d\uba85\ud574\uc57c \ud558\ub294 \uac83\uc740 \uc544\ub2c8\ub2e4. \uc2e4\uc81c \uc7c1\uc810\uc740 \uc7ac\uc0ac\uc6a9\uc131\ubfd0 \uc544\ub2c8\ub77c \uac80\uc0c9 \uac00\ub2a5\uc131, \ud569\uc131 \uac00\ub2a5\uc131, \uc131\ub2a5, \uac00\ub3c5\uc131, \ud5a5\ud6c4 \ubcc0\uacbd\uc758 \ube44\uc6a9\uc744 \ud568\uaed8 \uc870\uc808\ud558\ub294 \ub370 \uc788\ub2e4.<\/p>\n<p><!--\n\n\n<p>[\ucd94\uc0c1\uc131, \uc77c\ubc18\uc131, \ud569\uc131 \uac00\ub2a5\uc131\uc740 Mathlib\uc758 \uba85\uc2dc\uc801\uc778 \uc124\uacc4 \uad00\uc2ec\uc0ac\uc774\uba70, \uad6c\uc870\ub97c \uc5b4\ub5a4 \uacc4\uce35\uc73c\ub85c \ud45c\ud604\ud558\uace0 \uc5b4\ub290 \uc218\uc900\uc5d0\uc11c \uc815\ub9ac\ub97c \uc9c4\uc220\ud560\uc9c0\ub294 \ubc18\ubcf5\ud574\uc11c \ub098\ud0c0\ub098\ub294 \ub77c\uc774\ube0c\ub7ec\ub9ac \uc124\uacc4 \ubb38\uc81c\ub2e4. \ub2e4\ub9cc \uc774\ub97c \u201c\ucd5c\uace0 \uc218\uc900 \uc218\ud559\uc790 \uc0ac\uc774\uc758 \uac00\uc7a5 \ub728\uac70\uc6b4 \uc774\uc288\u201d\ub77c\uace0 \uc21c\uc704\ub97c \ub9e4\uae38 \uadfc\uac70\ub294 \uc5c6\ub2e4. \ucd5c\uadfc \uc720\uc9c0\ubcf4\uc218 \uc5f0\uad6c\ub294 \uc758\uc2dd\uc801\uc778 \ub77c\uc774\ube0c\ub7ec\ub9ac \uc7ac\uc124\uacc4, \ucef4\ud30c\uc77c \uc131\ub2a5, \uae30\uc220 \ubd80\ucc44, \ub9b0\ud130\uc640 \ucf54\ub4dc \ub9ac\ubdf0\ub97c \ud568\uaed8 \ub2e4\ub8e8\uc5b4\uc57c \ud560 \uacfc\uc81c\ub85c \uc81c\uc2dc\ud55c\ub2e4.<a class=\"math-abs-series-ref\" title=\"The Mathlib Community, \u201cThe Lean Mathematical Library,\u201d Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020, pp. 367\u2013381. arXiv:1910.09336.\" href=\"#ref-MathlibCommunity2020\">[MathlibCommunity2020]<\/a><a class=\"math-abs-series-ref\" title=\"Anne Baanen, Matthew Robert Ballard, Johan Commelin, Bryan Gin-ge Chen, Michael Rothgang, and Damiano Testa, \u201cGrowing Mathlib: Maintenance of a Large Scale Mathematical Library,\u201d in Intelligent Computer Mathematics: CICM 2025, Lecture Notes in Computer Science 16136, 2025, pp. 51\u201370. arXiv:2508.21593.\" href=\"#ref-BaanenEtAl2025\">[BaanenEtAl2025]<\/a>]<\/p>\n\n\n--><\/p>\n<h4>\uc77c\uac00 \uae30\ucd08\ub860<\/h4>\n<p>\uc774\uc81c \uc77c\ubc18\uc131\uc758 \ubb38\uc81c\ub97c \uc218\ud559\uc758 \uae30\ucd08\ub860 \uc790\uccb4\ub85c \uc62e\uaca8 \ubcf4\uc790. \ube14\ub77c\ub514\ubbf8\ub974 \ubcf4\uc5d0\ubcf4\uce20\ud0a4(Vladimir Voevodsky)\ub294 2000\ub144 \uc804\ud6c4 \uc790\uc2e0\uc758 \ubcf5\uc7a1\ud55c \ub17c\uc99d\uc5d0\uc11c \uc624\ub958\uac00 \ub4a4\ub2a6\uac8c \ubc1c\uacac\ub41c \uacbd\ud5d8\uacfc \uace0\ucc28\uc6d0 \uad6c\uc870\ub97c \uc2e0\ub8b0\uc131 \uc788\uac8c \ub2e4\ub8f0 \ud615\uc2dd \uccb4\uacc4\uc758 \ud544\uc694\uc131\uc744 \uacc4\uae30\ub85c, \ucef4\ud4e8\ud130 \uac80\uc99d\uc5d0 \uc801\ud569\ud55c \uc0c8\ub85c\uc6b4 \uae30\ucd08\ub97c \ubaa8\uc0c9\ud588\ub2e4. \uc774 \uc5f0\uad6c\ub294 2000\ub144\ub300\uc5d0 \uc77c\uac00 \uacf5\ub9ac\uc640 \uadf8 \ubaa8\ud615\uc5d0 \uad00\ud55c \uc791\uc5c5\uc73c\ub85c \ubc1c\uc804\ud588\uace0, \uc774\ud6c4 <span class=\"defined\">\uc77c\uac00 \uae30\ucd08\ub860<\/span>(univalent foundations) \ud504\ub85c\uadf8\ub7a8\uc73c\ub85c \uc774\uc5b4\uc84c\ub2e4.<a class=\"math-abs-series-ref\" title=\"Vladimir Voevodsky, \u201cThe Origins and Motivations of Univalent Foundations,\u201d Institute for Advanced Study, 2014.\" href=\"#ref-Voevodsky2014\">[Voevodsky2014]<\/a><\/p>\n<p>\uc5ec\uae30\uc5d0\ub294 \ud604\uc5c5 \uc218\ud559\uc758 \uad6c\uc870\uc8fc\uc758\uc801 \uad00\ud589\uacfc \uad00\ub828\ub41c \uc911\uc694\ud55c \ubb38\uc81c\ub3c4 \uc788\ub2e4. \uc218\ud559\uc790\ub294 \ub3d9\ud615\uc778 \ub300\uc0c1\uc744 \ud754\ud788 \u201c\ub3d9\uc77c\uc2dc\ud574\ub3c4 \uc88b\ub2e4\u201d\uace0 \ub9d0\ud558\uc9c0\ub9cc, \uc2e4\uc81c \uacc4\uc0b0\uc5d0\uc11c\ub294 \ub3d9\ud615\uc0ac\uc0c1\uc774\ub098 \uadf8\uc5d0 \ub530\ub978 \uad6c\uc870\uc758 \uc6b4\ubc18(transport)\uc744 \uc0ac\uc6a9\ud55c\ub2e4. \uac19\uc740 \ucc28\uc6d0\uc758 \ub450 \uc720\ud55c\ucc28\uc6d0 \ubca1\ud130\uacf5\uac04\uc740 \uc77c\ubc18\uc801\uc73c\ub85c \ub3d9\ud615\uc774\uc9c0\ub9cc, \uc120\ud0dd\ub41c \ub3d9\ud615 \uc5c6\uc774 \ubb38\uc790 \uadf8\ub300\ub85c \uac19\uc740 \uc9d1\ud569\uc740 \uc544\ub2c8\uba70 \uadf8 \ub3d9\ud615\ub3c4 \ub300\uac1c \uc815\uc900\uc801\uc774\uc9c0 \uc54a\ub2e4. \ud3f0 \ub178\uc774\ub9cc \ubc29\uc2dd\uacfc \uccb4\ub974\uba5c\ub85c \ubc29\uc2dd\uc73c\ub85c \ub9cc\ub4e0 \uc790\uc5f0\uc218 \\(3\\) \uc5ed\uc2dc \uc11c\ub85c \ub2e4\ub978 \uc9d1\ud569 \ubd80\ud638\ud654\uc774\uc9c0\ub9cc, \uac01\uac01\uc774 \uc774\ub8e8\ub294 \uc790\uc5f0\uc218 \uad6c\uc870\ub294 \ub3d9\ud615\uc774\ub2e4. \uace0\uc804\uc801 \uc9d1\ud569\ub860\uc5d0\uc11c \ub4f1\ud638\uc640 \ub3d9\ud615\uc744 \uad6c\ubcc4\ud558\ub294 \uac83\uc740 \ub17c\ub9ac\uc801 \ubaa8\uc21c\uc774 \uc544\ub2c8\ub2e4. \ub2e4\ub9cc \uad6c\uc870\uc801\uc73c\ub85c \ubd88\ubcc0\uc778 \uc218\ud559\uc744 \ud615\uc2dd\ud654\ud560 \ub54c \ub9e4\ubc88 \ud2b9\uc815 \ubd80\ud638\ud654\uc640 \uc6b4\ubc18\uc744 \uad00\ub9ac\ud574\uc57c \ud558\ub294 \ud45c\ud604\uc0c1\uc758 \ub9c8\ucc30\uc774 \uc0dd\uae34\ub2e4.<\/p>\n<p>\uc77c\uac00 \uacf5\ub9ac\ub294 \uc774 \ub9c8\ucc30\uc744 \uc815\uad50\ud55c \ubc29\uc2dd\uc73c\ub85c \ub2e4\ub8ec\ub2e4. \ud558\ub098\uc758 \uc77c\uac00\uc801\uc778 \uc6b0\uc8fc \\(U\\)\uc5d0\uc11c \ub450 \uc720\ud615 \\(A,B:U\\)\uc5d0 \ub300\ud558\uc5ec, \ub3d9\uc77c\uc131\uc73c\ub85c\ubd80\ud130 \ub3d9\uce58\ub97c \ub9cc\ub4dc\ub294 \ud45c\uc900 \uc0ac\uc0c1<br \/>\n\\[<br \/>\n(A=_U B)\\longrightarrow(A\\simeq B)<br \/>\n\\]<br \/>\n\uc774 \uadf8 \uc790\uccb4\ub85c \ub3d9\uce58\ub77c\uace0 \uc8fc\uc7a5\ud55c\ub2e4. \ub530\ub77c\uc11c \\(A\\simeq B\\)\ub77c\ub294 \ub3d9\uce58\ub85c\ubd80\ud130 \\(A=_U B\\)\uc758 \uacbd\ub85c\ub97c \uc5bb\uace0, \uadf8 \uacbd\ub85c\ub97c \ub530\ub77c \uc131\uc9c8\uacfc \uad6c\uc870\ub97c \uc6b4\ubc18\ud560 \uc218 \uc788\ub2e4.<a class=\"math-abs-series-ref\" title=\"The Univalent Foundations Program, Homotopy Type Theory: Univalent Foundations of Mathematics, Institute for Advanced Study, 2013. \uacf5\uc2dd \uacf5\uac1c\ubcf8; arXiv:1308.0729.\" href=\"#ref-UnivalentFoundations2013\">[UnivalentFoundations2013]<\/a> <!-- \uc774\uac83\uc740 \ub3d9\uce58\uc778 \ub450 \uc720\ud615\uc744 \ucef4\ud4e8\ud130\uc758 \uc815\uc758\uc801 \ub4f1\ud638(judgmental equality)\ub85c \ubc14\uafb8\uac70\ub098, \ubaa8\ub4e0 \ub3d9\uce58\ub97c \ud558\ub098\uc758 \ub3d9\uc77c\uc131\uc73c\ub85c \ubb49\uac1c\ub294 \uba85\uc81c\uac00 \uc544\ub2c8\ub2e4. \uc11c\ub85c \ub2e4\ub978 \ub3d9\uce58\ub294 \uc11c\ub85c \ub2e4\ub978 \ub3d9\uc77c\uc131 \uacbd\ub85c\uc5d0 \ub300\uc751\ud560 \uc218 \uc788\ub2e4. \ub610\ud55c --> \uc77c\uac00 \uacf5\ub9ac\ub294 \uc77c\uac00 \uae30\ucd08\ub860\uc774 \ucc44\ud0dd\ud558\ub294 \ud575\uc2ec \uc6d0\ub9ac\uc774\uba70, \uc801\uc808\ud55c \ubaa8\ud615\uc744 \ud1b5\ud574 \uadf8 \uc0c1\ub300\uc801 \uc77c\uad00\uc131\uc774 \ubcf4\uc7a5\ub41c\ub2e4.<\/p>\n<p><!--\n\n\n<p>[\uc77c\uac00 \uae30\ucd08\ub860\uacfc \ud638\ubaa8\ud1a0\ud53c \uc720\ud615 \uc774\ub860(Homotopy Type Theory, HoTT)\uc740 \ubc00\uc811\ud558\uc9c0\ub9cc \uc644\uc804\ud788 \uac19\uc740 \ub9d0\uc740 \uc544\ub2c8\ub2e4. HoTT\ub294 \uc885\uc18d \uc720\ud615 \uc774\ub860\uc758 \uc720\ud615\uc744 \uacf5\uac04\uc73c\ub85c, \ub3d9\uc77c\uc131 \uc99d\uba85\uc744 \uacbd\ub85c\ub85c \ud574\uc11d\ud558\uc5ec \ud638\ubaa8\ud1a0\ud53c \uc774\ub860\uacfc \uc720\ud615 \uc774\ub860\uc744 \uc5f0\uacb0\ud55c\ub2e4. \uc77c\uac00 \uae30\ucd08\ub860\uc740 \uc774\ub7ec\ud55c \uad00\uc810\uacfc \uc77c\uac00 \uacf5\ub9ac \ub4f1\uc744 \uc0ac\uc6a9\ud574 \uc218\ud559\uc758 \ub300\uc548\uc801 \ud1a0\ub300\ub97c \uc138\uc6b0\ub294 \ud504\ub85c\uadf8\ub7a8\uc774\ub2e4. \uc774\ub294 \uace0\uc804\uc801 \uc9d1\ud569\ub860\uc744 \ub17c\ub9ac\uc801 \uc624\ub958\ub85c \ud310\uc815\ud574 \ud3d0\uae30\ud55c \uac83\uc774 \uc544\ub2c8\ub77c, \uad6c\uc870 \ubd88\ubcc0\uc801 \uc218\ud559\uacfc \ucef4\ud4e8\ud130 \uac80\uc99d\uc5d0 \uc798 \ub9de\ub294 \ub610 \ud558\ub098\uc758 \uae30\ucd08\ub97c \uc81c\uc548\ud55c \uac83\uc774\ub2e4.<a class=\"math-abs-series-ref\" title=\"Vladimir Voevodsky, \u201cThe Origins and Motivations of Univalent Foundations,\u201d Institute for Advanced Study, 2014.\" href=\"#ref-Voevodsky2014\">[Voevodsky2014]<\/a><a class=\"math-abs-series-ref\" title=\"The Univalent Foundations Program, Homotopy Type Theory: Univalent Foundations of Mathematics, Institute for Advanced Study, 2013. \uacf5\uc2dd \uacf5\uac1c\ubcf8; arXiv:1308.0729.\" href=\"#ref-UnivalentFoundations2013\">[UnivalentFoundations2013]<\/a>]<\/p>\n\n\n--><\/p>\n<h4>AI\uc640 \ucd94\uc0c1\ud654<\/h4>\n<p>\ucd5c\uadfc\uc5d0\ub294 \uac70\ub300 \uc5b8\uc5b4 \ubaa8\ud615\uacfc \uac15\ud654\ud559\uc2b5\uc744 \uc774\uc6a9\ud55c \uc778\uacf5\uc9c0\ub2a5\uc774 \uc790\uc5f0\uc5b4 \uc218\ud559\uacfc \ud615\uc2dd \uc99d\uba85 \uc591\ucabd\uc5d0 \uc9c4\uc785\ud558\uace0 \uc788\ub2e4. \uadf8 \ubc29\uc2dd\uc740 \ub450 \uac00\uc9c0\ub85c \uc0dd\uac01\ud560 \uc218 \uc788\ub2e4. \uccab \ubc88\uc9f8\ub294 Lean \uc548\uc5d0\uc11c \uc99d\uba85 \ud0d0\uc0c9\uc744 \uc218\ud589\ud558\uc5ec \ucee4\ub110\uc774 \uac80\uc0ac\ud560 \uc218 \uc788\ub294 \uc99d\uba85 \ud56d\uc744 \ub9cc\ub4dc\ub294 \ubc29\uc2dd\uc774\uace0, \ub450 \ubc88\uc9f8\ub294 \uc790\uc5f0\uc5b4 \uc99d\uba85\uc744 \uc0dd\uc131\ud55c \ub4a4 \uc778\uac04 \uc804\ubb38\uac00\uac00 \uac80\ud1a0\ud558\uac70\ub098 \ub098\uc911\uc5d0 \ubcc4\ub3c4\ub85c \ud615\uc2dd\ud654\ud558\ub294 \ubc29\uc2dd\uc774\ub2e4.<\/p>\n<p>[\uad6c\uccb4\uc801\uc778 \uc804\uc790\uc758 \uc0ac\ub840\ub85c, OpenAI\ub294 2022\ub144 Lean\uc5d0\uc11c \ud615\uc2dd\ud654\ub41c \uc62c\ub9bc\ud53c\uc544\ub4dc \ubb38\uc81c\ub97c \ud478\ub294 \uc2e0\uacbd \uc815\ub9ac \uc99d\uba85\uae30\ub97c \ubc1c\ud45c\ud588\ub2e4.<a class=\"math-abs-series-ref\" title=\"Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, and Ilya Sutskever, \u201cFormal Mathematics Statement Curriculum Learning,\u201d preprint, 2022; OpenAI, \u201cSolving (some) formal math olympiad problems.\u201d \uc5f0\uad6c \uc18c\uac1c \ubc0f \ub17c\ubb38 \ub9c1\ud06c.\" href=\"#ref-PoluEtAl2022\">[PoluEtAl2022]<\/a> Google DeepMind\uc758 AlphaProof\ub294 Lean \ud658\uacbd\uc5d0\uc11c \uac15\ud654\ud559\uc2b5\uacfc \ud0d0\uc0c9\uc744 \uacb0\ud569\ud588\uace0, AlphaGeometry 2\uc640 \ud568\uaed8 2024\ub144 \uad6d\uc81c\uc218\ud559\uc62c\ub9bc\ud53c\uc544\ub4dc\uc5d0\uc11c \uc740\uba54\ub2ec\uc120\uc5d0 \ud574\ub2f9\ud558\ub294 \uc810\uc218\ub97c \uc5bb\uc5c8\ub2e4. \uc774 \uacb0\uacfc\ub294 2026\ub144 <em>Nature<\/em> \ub17c\ubb38\uc73c\ub85c \ucd9c\ud310\ub418\uc5c8\ub2e4.<a class=\"math-abs-series-ref\" title=\"Thomas Hubert et al., \u201cOlympiad-level Formal Mathematical Reasoning with Reinforcement Learning,\u201d Nature 651, 2026, pp. 607\u2013613.\" href=\"#ref-HubertEtAl2026\">[HubertEtAl2026]<\/a><!-- \uadf8\ub7ec\ub098 \ubaa8\ub4e0 \uc218\ud559 AI\uac00 Mathlib\uc744 \uac19\uc740 \ubc29\uc2dd\uc73c\ub85c \ud559\uc2b5\ud558\uac70\ub098, \ubaa8\ub450\uac00 \ucc98\uc74c\ubd80\ud130 \ub05d\uae4c\uc9c0 Lean \uc99d\uba85\uc744 \uc9c1\uc811 \ucd9c\ub825\ud55c\ub2e4\ub294 \ub73b\uc740 \uc544\ub2c8\ub2e4. \ud615\uc2dd \ucee4\ub110\uc758 \uac80\uc0ac\ub294 \ud615\uc2dd\ud654\ub41c \uba85\uc81c\uac00 \uc120\ud0dd\ud55c \uacf5\ub9ac\uc640 \ub77c\uc774\ube0c\ub7ec\ub9ac \uc544\ub798\uc5d0\uc11c \uc99d\uba85\ub418\uc5c8\uc74c\uc744 \ubcf4\uc7a5\ud558\uc9c0\ub9cc, \uc790\uc5f0\uc5b4 \ubb38\uc81c\uc758 \ud615\uc2dd\ud654\uac00 \ucda9\uc2e4\ud55c\uc9c0, \uacb0\uacfc\uac00 \uc0c8\ub86d\uace0 \uc911\uc694\ud55c\uc9c0, \uc124\uba85\uc774 \uc88b\uc740\uc9c0\uae4c\uc9c0 \uc790\ub3d9\uc73c\ub85c \ubcf4\uc7a5\ud558\uc9c0\ub294 \uc54a\ub294\ub2e4. -->]<\/p>\n<p>\uc774 \ubc1c\uc804\uc774 \u2018\uc801\uc815 \uc77c\ubc18\uc131\u2019\uc758 \ud310\ub2e8\uc744 \uc5b4\ub5bb\uac8c \ubc14\uafc0\uc9c0\ub294 \uc544\uc9c1 \uc5f4\ub9b0 \ubb38\uc81c\ub2e4. <!-- \ud604\uc7ac\uc758 \ud615\uc2dd \uc99d\uba85 AI\uac00 \uc8fc\uc5b4\uc9c4 \uba85\uc81c\uc758 \uc99d\uba85 \uacbd\ub85c\ub97c \ud0d0\uc0c9\ud558\uac70\ub098 \ubcf4\uc870\uc815\ub9ac\ub97c \uc81c\uc548\ud560 \uc218 \uc788\ub2e4\ub294 \uc0ac\uc2e4\uacfc, \uc5f0\uad6c\uc790\uac00 \uc544\uc9c1 \uc815\uc2dd\ud654\ud558\uc9c0 \uc54a\uc740 \ud604\uc0c1\uc744 \ubcf4\uace0 \uac00\uc7a5 \uc0dd\uc0b0\uc801\uc778 \ucd94\uc0c1 \uac1c\ub150\uacfc \uc815\ub9ac\uc758 \uc77c\ubc18\uc131\uc744 \uc2a4\uc2a4\ub85c \uc124\uacc4\ud560 \uc218 \uc788\ub2e4\ub294 \uc8fc\uc7a5\uc740 \uad6c\ubcc4\ud574\uc57c \ud55c\ub2e4. \ud6c4\uc790\ub294 \ud765\ubbf8\ub85c\uc6b4 \uc804\ub9dd\uc774\uc9c0\ub9cc \uc544\uc9c1 \uc77c\ubc18\uc801\uc73c\ub85c \uc785\uc99d\ub41c \ub2a5\ub825\uc740 \uc544\ub2c8\ub2e4. --> \uc55e\uc73c\ub85c AI\uac00 \uc5ec\ub7ec \uc99d\uba85\uc5d0\uc11c \ubc18\ubcf5\ub418\ub294 \ud328\ud134\uc744 \ucc3e\uc544 \ub354 \uc7ac\uc0ac\uc6a9 \uac00\ub2a5\ud55c \ubcf4\uc870\uc815\ub9ac\ub97c \uc81c\uc548\ud558\uac70\ub098, \uc778\uac04\uc774 \ud0dd\ud55c \uac00\uc815\uc758 \uc77c\ubd80\uac00 \ubd88\ud544\uc694\ud568\uc744 \ubc1c\uacac\ud560 \uc218\ub294 \uc788\uc744 \uac83\uc774\ub2e4. <!-- \ub2e4\ub9cc \ubb34\uc5c7\uc774 \uc911\uc694\ud55c \uc77c\ubc18\ud654\uc778\uc9c0 \ud3c9\uac00\ud558\ub294 \uc77c\uc5d0\ub294 \uc801\uc6a9 \ubc94\uc704\ubfd0 \uc544\ub2c8\ub77c \uc124\uba85\ub825, \uacc4\uc0b0 \uac00\ub2a5\uc131, \ub2e4\ub978 \uc774\ub860\uacfc\uc758 \uc5f0\uacb0, \uc5f0\uad6c \uacf5\ub3d9\uccb4\uc758 \ubaa9\uc801\uae4c\uc9c0 \ud568\uaed8 \ub4e4\uc5b4\uac04\ub2e4. --><\/p>\n<p>\uc9c0\uae08\uae4c\uc9c0 \uc6b0\ub9ac\ub294 \uc644\uc131\ub41c \uc9c0\uc2dd\uc744 \uc804\ub2ec\ubc1b\ub294 \uad50\uc2e4\uc744 \ub5a0\ub098, \ubbf8\uc9c0\uc758 \ubb38\uc81c\uc640 \ub9de\ubd80\ub52a\ud788\ub294 \uc5f0\uad6c \ud604\uc7a5\uc5d0\uc11c \ucd94\uc0c1\ud654\uc758 \ud55c\uacc4\ub97c \uc5b4\ub514\uae4c\uc9c0 \ubc00\uc5b4\uc57c \ud558\ub294\uc9c0\ub97c \ub458\ub7ec\uc2fc \ucca0\ud559\uc801\u00b7\uc2e4\ubb34\uc801 \ub17c\uc7c1\uc744 \uc0b4\ud3b4\ubcf4\uc558\ub2e4. \uac00\uc6cc\uc2a4\ub294 \uc774\ub860 \uad6c\ucd95\uacfc \ubb38\uc81c \ud574\uacb0\uc774\ub77c\ub294 \uc11c\ub85c \ub2e4\ub978 \uc6b0\uc120\uc21c\uc704\ub97c \ub300\ube44\ud558\ub418, \ub450 \ud65c\ub3d9\uc774 \ubc30\ud0c0\uc801\uc778 \uc9c4\uc601\uc774 \uc544\ub2c8\uba70 \uc218\ud559\uc5d0 \ubaa8\ub450 \ud544\uc694\ud558\ub2e4\uace0 \uac15\uc870\ud588\ub2e4. \uc544\ub180\ub4dc\ub294 \uc218\ud559 \uad50\uc721\uc5d0\uc11c \uae30\ud558\ud559\uc801\u00b7\ubb3c\ub9ac\uc801 \uc9c1\uad00\uc744 \ubc00\uc5b4\ub0b4\ub294 \uacf5\ub9ac\uc801 \ud615\uc2dd\uc8fc\uc758\ub97c \ube44\ud310\ud588\ub2e4. \uc774 \ub450 \ub17c\uc7c1\uc740 \uc5b4\ub290 \ud55c\ucabd\uc758 \uc2b9\ub9ac\ub85c \ub05d\ub098\uae30\ubcf4\ub2e4, \ubb38\uc81c\uc640 \ubaa9\uc801\uc5d0 \ub9de\ub294 \uc77c\ubc18\uc131\uc758 \uc218\uc900\uc744 \ud310\ub2e8\ud574\uc57c \ud55c\ub2e4\ub294 \uacfc\uc81c\ub97c \ub0a8\uae34\ub2e4.<\/p>\n<p>\ub300\uc218\ud559\uc758 \uc0ac\ub840\uc5d0\uc11c\ub294 PID \uc704 \uc720\ud55c\uc0dd\uc131 \uac00\uad70\uc758 \uad6c\uc870 \uc815\ub9ac\uac00 \\(R=\\mathbb Z\\)\uc77c \ub54c \uc720\ud55c \uc544\ubca8\uad70\uc758 \ubd84\ub958\ub97c, \\(R=F[x]\\)\uc77c \ub54c \uc120\ud615\ubcc0\ud658\uc758 \uc720\ub9ac \ud45c\uc900\ud615\uc744 \uc900\ub2e4\ub294 \uc0ac\uc2e4\uc744 \ud655\uc778\ud588\ub2e4. \ud2b9\uc131\ub2e4\ud56d\uc2dd\uc774 \ubc14\ud0d5\uccb4\uc5d0\uc11c \ubd84\ud574\ub420 \ub54c \uae30\ubcf8\uc57d\uc218 \ubd84\ud574\ub97c \ub354\ud558\uba74 \uc870\ub974\ub2f9 \ud45c\uc900\ud615\ub3c4 \uc5bb\ub294\ub2e4. \uc774 \uc0ac\ub840\ub294 \uc11c\ub85c \ub2e4\ub978 \uacc4\uc0b0\uc744 \ud558\ub098\uc758 \uad6c\uc870 \uc544\ub798 \ubb36\ub294 \uc88b\uc740 \uc77c\ubc18\ud654\uc758 \ud798\uc744 \ubcf4\uc5ec \uc900\ub2e4. \ud55c\ud3b8 Mathlib \uac19\uc740 \ud615\uc2dd \uc218\ud559 \ub77c\uc774\ube0c\ub7ec\ub9ac\ub294 \uc77c\ubc18\uc131\uacfc \uc7ac\uc0ac\uc6a9\uc131\uc744 \uac00\ub3c5\uc131\u00b7\uc131\ub2a5\u00b7\uc720\uc9c0\ubcf4\uc218\uc131\uacfc \ud568\uaed8 \uc124\uacc4\ud558\ub3c4\ub85d \uc694\uad6c\ud55c\ub2e4. \uc77c\uac00 \uae30\ucd08\ub860\uc740 \ub354 \uadfc\ubcf8\uc801\uc778 \uc218\uc900\uc5d0\uc11c \ub3d9\uce58\uc5d0 \ub530\ub77c \ubd88\ubcc0\uc778 \uc218\ud559\uc744 \uae30\ucd08 \uccb4\uacc4\uc5d0 \ubc18\uc601\ud558\ub824 \ud55c\ub2e4. AI \uc815\ub9ac \uc99d\uba85\uc740 \uc774 \ubaa8\ub4e0 \ud310\ub2e8\uc758 \uc77c\ubd80\ub97c \uc790\ub3d9\ud654\ud560 \uac00\ub2a5\uc131\uc744 \uc5f4\uc5c8\uc9c0\ub9cc, \ucd5c\uc801\uc758 \ucd94\uc0c1\ud654\ub97c \uc790\uc728\uc801\uc73c\ub85c \uc124\uacc4\ud558\ub294 \ubb38\uc81c\ub294 \uc5ec\uc804\ud788 \uc5f0\uad6c \uacfc\uc81c\ub2e4.<\/p>\n<p>\uc9c0\uae08\uae4c\uc9c0 10\ud3b8\uc5d0 \uc774\ub974\ub294 \uc5f0\uc7ac\ub294 \uc218\ud559\uc801 \ucd94\uc0c1\ud654\uac00 \ud615\uc131\ub418\uace0 \uc0ac\uc6a9\ub418\ub294 \uc5ec\ub7ec \uc7a5\uba74\uc744 \ub530\ub77c\uc654\ub2e4.<\/p>\n<ul>\n<li>\uace0\ub300 \uba54\uc18c\ud3ec\ud0c0\ubbf8\uc544\uc5d0\uc11c \uc148\ub3cc\u00b7\uc810\ud1a0\ud45c\u00b7\uc218 \ud45c\uc0c1 \uc0ac\uc774\uc758 \uad00\uacc4\uac00 \ubcc0\ud558\uba70 \uad6c\uccb4\uc801 \uc0ac\ubb3c\uacfc \uc218\ub7c9\uc744 \ud45c\ud604\ud558\ub294 \ubc29\uc2dd\uc774 \ubd84\ud654\ub41c \uc7a5\uba74<\/li>\n<li>\ub974\ub124\uc0c1\uc2a4\uc640 \uadfc\ub300 \ucd08\uae30\uc5d0 \uae30\ud638\uac00 \ubbf8\uc9c0\uc218\uc640 \uc5f0\uc0b0 \uad00\uacc4\ub97c \uac04\uacb0\ud558\uac8c \ud45c\ud604\ud558\uba70 \ub300\uc218\ud559\uc758 \uc77c\ubc18 \ubc95\uce59\uc744 \ub4dc\ub7ec\ub0b8 \uc7a5\uba74<\/li>\n<li>19\uc138\uae30 \ub9d0 \uacf5\ub9ac \uccb4\uacc4\uac00 \uae30\ud558\ud559\uc758 \uc554\ubb35\uc801 \uc804\uc81c\ub97c \ub4dc\ub7ec\ub0b4\uace0, \uc810\uacfc \uc9c1\uc120\uc758 \uad6c\uccb4\uc801 \uc131\uc9c8\ubcf4\ub2e4 \uad00\uacc4\ub97c \ud1b5\ud574 \ub300\uc0c1\uc744 \uaddc\uc815\ud55c \uc7a5\uba74<\/li>\n<li>\ud604\ub300 \ubc94\uc8fc\ub860\uc774 \ub300\uc0c1\ubfd0 \uc544\ub2c8\ub77c \ub300\uc0c1 \uc0ac\uc774\uc758 \uc0ac\uc0c1\uacfc \uadf8 \ud569\uc131\uc744 \uc911\uc2ec\uc5d0 \ub193\uc544 \uc11c\ub85c \ub2e4\ub978 \uad6c\uc870 \uc0ac\uc774\uc758 \uacf5\ud1b5 \ud328\ud134\uc744 \ud45c\ud604\ud55c \uc7a5\uba74<\/li>\n<\/ul>\n<p>\uadf8\ub9ac\uace0 \uc774 \ubaa8\ub4e0 \uac1c\ub150\uc774 \ubc30\uc6b0\uace0 \uc804\uc218\ub418\ub294 \uac15\uc758\uc2e4, \uc0c8 \uc815\ub9ac\uc640 \uc815\uc758\ub97c \uc124\uacc4\ud558\ub294 \uc5f0\uad6c \ud604\uc7a5, \uc774\ub97c \ud615\uc2dd \ucf54\ub4dc\ub85c \uc870\uc9c1\ud558\ub294 \ub514\uc9c0\ud138 \ub77c\uc774\ube0c\ub7ec\ub9ac \uc5ed\uc2dc \ucd94\uc0c1\ud654\uc758 \uc5ed\uc0ac\uac00 \uacc4\uc18d\ub418\ub294 \uc7a5\uc18c\ub2e4.<\/p>\n<p>\uc774\uc81c \uc774 \uae34 \uc9c0\uc801 \uc5ec\uc815\uc744 \ud55c\uc790\ub9ac\uc5d0 \ubaa8\uc544 \uc885\ud569\uc801\uc73c\ub85c \uac08\ubb34\ub9ac\ud560 \ub54c\uac00 \ub418\uc5c8\ub2e4. \uc218\ud559\uc790\ub4e4\uc774 \uc790\uc8fc \ud568\uaed8 \uc0ac\uc6a9\ud558\ub294 \u2018\ucd94\uc0c1\ud654\u2019\uc640 \u2018\uc77c\ubc18\ud654\u2019, \u2018\uc774\uc0c1\ud654\u2019\uc640 \u2018\ud615\uc2dd\ud654\u2019\ub77c\ub294 \ub124 \uac00\uc9c0 \ub17c\ub9ac\uc801 \uc870\uc791\uc740 \uc5b4\ub5bb\uac8c \uad6c\ubcc4\ub418\ub294\uac00? \uc774 \uc5f0\uc7ac\uc5d0\uc11c \uc0b4\ud3b4\ubcf8 \uc5ec\ub7ec \ucd94\uc0c1\ud654 \ubc29\uc2dd\uc740 \uc218\ud559\uc758 \uac70\ub300\ud55c \uadf8\ubb3c\ub9dd \uc18d\uc5d0\uc11c \uc5b4\ub5bb\uac8c \uc774\uc5b4\uc9c0\ub294\uac00? \uadf8\ub9ac\uace0 \uc774 \ucd94\uc0c1\uc801 \ub300\uc0c1\ub4e4\uc740 \uc778\uac04\uacfc \ubb34\uad00\ud558\uac8c \uc874\uc7ac\ud558\ub294 \ud50c\ub77c\ud1a4\uc801 \uc2e4\uc7ac\uc778\uac00, \uc544\ub2c8\uba74 \uc778\uac04\uc774 \ub9cc\ub4e0 \uae30\ud638\uc801 \uad6c\uc131\ubb3c\uc778\uac00? \uc774\uc5b4\uc9c0\ub294 <a href=\"..\/math-abstraction-11-topography\/\">11\ubd80<\/a>\uc5d0\uc11c \uc774\ub7ec\ud55c \ucca0\ud559\uc801 \uc8fc\uc81c\ub97c \ud0d0\uad6c\ud574 \ubcf4\uc790.<\/p>\n<h4>\ucc38\uace0\ubb38\ud5cc<\/h4>\n<ul>\n<li id=\"ref-Gowers2000\">[Gowers2000] W. T. Gowers, \u201cThe Two Cultures of Mathematics,\u201d in V. I. Arnold, M. Atiyah, P. Lax, and B. Mazur (eds.), <em>Mathematics: Frontiers and Perspectives<\/em>, American Mathematical Society, 2000, pp. 65\u201378. <a href=\"https:\/\/www.dpmms.cam.ac.uk\/~wtg10\/2cultures.pdf\">https:\/\/www.dpmms.cam.ac.uk\/~wtg10\/2cultures.pdf<\/a><\/li>\n<li id=\"ref-Snow1959\">[Snow1959] C. P. Snow, <em>The Two Cultures and the Scientific Revolution: The Rede Lecture<\/em>, Cambridge University Press, 1959. <a href=\"https:\/\/www.cambridge.org\/core\/books\/two-cultures\/506914BF3ADDD439EE8100FD2882D9DB\">Cambridge University Press<\/a><\/li>\n<li id=\"ref-Arnold1998\">[Arnold1998] V. I. Arnol&#8217;d, \u201cOn Teaching Mathematics,\u201d <em>Russian Mathematical Surveys<\/em> 53(1), 1998, pp. 229\u2013236. <a href=\"https:\/\/doi.org\/10.1070\/RM1998v053n01ABEH000005\">doi:10.1070\/RM1998v053n01ABEH000005<\/a>; <a href=\"https:\/\/archive-dsweb.siam.org\/The-Magazine\/All-Issues\/vi-arnold-on-teaching-mathematics.html\">https:\/\/archive-dsweb.siam.org\/The-Magazine\/All-Issues\/vi-arnold-on-teaching-mathematics.html<\/a><\/li>\n<li id=\"ref-Kilpatrick2012\">[Kilpatrick2012] Jeremy Kilpatrick, \u201cThe New Math as an International Phenomenon,\u201d <em>ZDM Mathematics Education<\/em> 44, 2012, pp. 563\u2013571. <a href=\"https:\/\/doi.org\/10.1007\/s11858-012-0393-2\">doi:10.1007\/s11858-012-0393-2<\/a><\/li>\n<li id=\"ref-IASPrimeNumbers2013\">[IASPrimeNumbers2013] Institute for Advanced Study, \u201cFrom Prime Numbers to Nuclear Physics and Beyond,\u201d 2013. <a href=\"https:\/\/www.ias.edu\/ideas\/2013\/primes-random-matrices\">https:\/\/www.ias.edu\/ideas\/2013\/primes-random-matrices<\/a>. (Pierre Deligne\uc758 \ubca0\uc720 \ucd94\uce21 \uc99d\uba85\uacfc \uadf8\ub85c\ud150\ub514\ud06c \ucf54\ud638\ubab0\ub85c\uc9c0 \uc774\ub860\uc758 \uad00\uacc4\uc5d0 \ub300\ud55c \ud574\uc124)<\/li>\n<li id=\"ref-ConradModules\">[ConradModules] Keith Conrad, <em>Introductory Notes on Modules<\/em>. <a href=\"https:\/\/kconrad.math.uconn.edu\/blurbs\/linmultialg\/moduleintro.pdf\">https:\/\/kconrad.math.uconn.edu\/blurbs\/linmultialg\/moduleintro.pdf<\/a><\/li>\n<li id=\"ref-ZywinaSetiabrata2018\">[ZywinaSetiabrata2018] David Zywina (\uac15\uc758), Linus Setiabrata (\uc815\ub9ac), <em>Math 6310: Algebra<\/em>, Cornell University, Fall 2018, rev. 2020, \u00a7\u00a73.24\u20133.28. <a href=\"https:\/\/math.mit.edu\/~setia\/6310fa18.pdf\">https:\/\/math.mit.edu\/~setia\/6310fa18.pdf<\/a><\/li>\n<li id=\"ref-Stanley2016\">[Stanley2016] Richard P. Stanley, \u201cSmith Normal Form in Combinatorics,\u201d <em>Journal of Combinatorial Theory, Series A<\/em> 144, 2016, pp. 476\u2013495. <a href=\"https:\/\/doi.org\/10.1016\/j.jcta.2016.06.013\">doi:10.1016\/j.jcta.2016.06.013<\/a>; <a href=\"https:\/\/math.mit.edu\/~rstan\/papers\/snf_survey.pdf\">https:\/\/math.mit.edu\/~rstan\/papers\/snf_survey.pdf<\/a><\/li>\n<li id=\"ref-Dore2017\">[Dore2017] Dan Dore, <em>Math 210A, Fall 2017: HW 6 Solutions<\/em>, Stanford University, 2017, Proposition 1. <a href=\"https:\/\/math.stanford.edu\/~church\/teaching\/210A-F17\/math210A-F17-hw6-sols.pdf\">https:\/\/math.stanford.edu\/~church\/teaching\/210A-F17\/math210A-F17-hw6-sols.pdf<\/a><\/li>\n<li id=\"ref-LeanLanguageReference\">[LeanLanguageReference] Lean FRO, \u201cIntroduction,\u201d <em>The Lean Language Reference<\/em>, \u00a71.1 \u201cHistory.\u201d <a href=\"https:\/\/lean-lang.org\/doc\/reference\/latest\/Introduction\/\">https:\/\/lean-lang.org\/doc\/reference\/latest\/Introduction\/<\/a><\/li>\n<li id=\"ref-MathlibCommunity2020\">[MathlibCommunity2020] The Mathlib Community, \u201cThe Lean Mathematical Library,\u201d <em>Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs<\/em>, 2020, pp. 367\u2013381. <a href=\"https:\/\/doi.org\/10.1145\/3372885.3373824\">doi:10.1145\/3372885.3373824<\/a>; <a href=\"https:\/\/arxiv.org\/abs\/1910.09336\">arXiv:1910.09336<\/a><\/li>\n<li id=\"ref-BaanenEtAl2025\">[BaanenEtAl2025] Anne Baanen, Matthew Robert Ballard, Johan Commelin, Bryan Gin-ge Chen, Michael Rothgang, and Damiano Testa, \u201cGrowing Mathlib: Maintenance of a Large Scale Mathematical Library,\u201d in <em>Intelligent Computer Mathematics: CICM 2025<\/em>, Lecture Notes in Computer Science 16136, 2025, pp. 51\u201370. <a href=\"https:\/\/doi.org\/10.1007\/978-3-032-07021-0_4\">doi:10.1007\/978-3-032-07021-0_4<\/a>; <a href=\"https:\/\/arxiv.org\/abs\/2508.21593\">arXiv:2508.21593<\/a><\/li>\n<li id=\"ref-Voevodsky2014\">[Voevodsky2014] Vladimir Voevodsky, \u201cThe Origins and Motivations of Univalent Foundations,\u201d Institute for Advanced Study, 2014. <a href=\"https:\/\/www.ias.edu\/ideas\/2014\/voevodsky-origins\">https:\/\/www.ias.edu\/ideas\/2014\/voevodsky-origins<\/a><\/li>\n<li id=\"ref-UnivalentFoundations2013\">[UnivalentFoundations2013] The Univalent Foundations Program, <em>Homotopy Type Theory: Univalent Foundations of Mathematics<\/em>, Institute for Advanced Study, 2013. <a href=\"https:\/\/homotopytypetheory.org\/book\/\">https:\/\/homotopytypetheory.org\/book\/<\/a>; <a href=\"https:\/\/arxiv.org\/abs\/1308.0729\">arXiv:1308.0729<\/a><\/li>\n<li id=\"ref-PoluEtAl2022\">[PoluEtAl2022] Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, and Ilya Sutskever, \u201cFormal Mathematics Statement Curriculum Learning,\u201d preprint, 2022; OpenAI, \u201cSolving (some) formal math olympiad problems.\u201d <a href=\"https:\/\/openai.com\/index\/formal-math\/\">https:\/\/openai.com\/index\/formal-math\/<\/a><\/li>\n<li id=\"ref-HubertEtAl2026\">[HubertEtAl2026] Thomas Hubert et al., \u201cOlympiad-level Formal Mathematical Reasoning with Reinforcement Learning,\u201d <em>Nature<\/em> 651, 2026, pp. 607\u2013613. <a href=\"https:\/\/doi.org\/10.1038\/s41586-025-09833-y\">doi:10.1038\/s41586-025-09833-y<\/a><\/li>\n<\/ul>\n<h4>\uc800\uc791\uad8c<\/h4>\n<p>\uc774\uc2ac\ube44, 2026. designeralice\uff20daum.net.<\/p>\n<div class=\"math-abs-series-contents\">\n<p class=\"math-abs-series-menu-title\"><a href=\"..\/\">\uc218\ud559\uc801 \ucd94\uc0c1\ud654<\/a><\/p>\n<ol class=\"math-abs-series-menu-list\">\n        <!-- \ud604\uc7ac \ud398\uc774\uc9c0\uc5d0 \ud574\ub2f9\ud558\ub294 li \ud0dc\uadf8\uc5d0 class=\"math-abs-series-current-page\" \uc18d\uc131 \ucd94\uac00 --><\/p>\n<li><a href=\"..\/math-abstraction-01-essence\/\">\uc218\ud559\uc801 \ucd94\uc0c1\ud654\uc758 \uae30\ubcf8 \uac1c\ub150<\/a><\/li>\n<li><a href=\"..\/math-abstraction-02-implicit-era\/\">\ucd08\uae30 \uc218\ud559\uc5d0\uc11c\uc758 \uc554\ubb35\uc801 \ucd94\uc0c1\ud654<\/a><\/li>\n<li><a href=\"..\/math-abstraction-03-algebraic-symbols\/\">\ub300\uc218\uc801 \uae30\ud638\uc640 \uc5f0\uc0b0 \ubc95\uce59<\/a><\/li>\n<li><a href=\"..\/math-abstraction-04-axiomatic-method\/\">\uacf5\ub9ac\uc801 \ubc29\ubc95\uc5d0 \uc758\ud55c \ucd94\uc0c1\ud654<\/a><\/li>\n<li><a href=\"..\/math-abstraction-05-mathematical-structures\/\">\uc218\ud559\uc801 \uad6c\uc870\uc640 \ubc94\uc8fc\ub860<\/a><\/li>\n<li><a href=\"..\/math-abstraction-06-vector-spaces\/\">\ubca1\ud130\uacf5\uac04\uacfc \uc120\ud615 \uad6c\uc870<\/a><\/li>\n<li><a href=\"..\/math-abstraction-07-topological-spaces\/\">\uac70\ub9ac\uacf5\uac04\uacfc \uc704\uc0c1\uacf5\uac04<\/a><\/li>\n<li><a href=\"..\/math-abstraction-08-measure-spaces\/\">\uce21\ub3c4\uacf5\uac04\uacfc \ud655\ub960\uacf5\uac04<\/a><\/li>\n<li><a href=\"..\/math-abstraction-09-cognitive-process\/\">\uc218\ud559\uc801 \ucd94\uc0c1\ud654\uc758 \uc778\uc9c0\uc640 \ud559\uc2b5<\/a><\/li>\n<li class=\"math-abs-series-current-page\"><a href=\"..\/math-abstraction-10-optimal-generality\/\">\ud604\ub300 \uc218\ud559 \uc5f0\uad6c\uc5d0\uc11c\uc758 \ucd94\uc0c1\ud654<\/a><\/li>\n<li><a href=\"..\/math-abstraction-11-topography\/\">\uc218\ud559\uc801 \ucd94\uc0c1\ud654\uc758 \ubc29\ubc95\uacfc \ucca0\ud559<\/a><\/li>\n<\/ol>\n<\/div>\n<\/div>\n<p><!-- class=\"math-abs-series\" --><\/p>\n","protected":false},"excerpt":{"rendered":"<p>9\ubd80\uc758 \ub9d0\ubbf8\uc5d0\uc11c \uc608\uace0\ud55c \ub300\ub85c, \uc774\uc81c \uc815\ud615\ud654\ub41c \uac15\uc758\uc2e4\uc744 \ubc97\uc5b4\ub098 \uc5ed\ub3d9\uc801\uc778 \uc5f0\uad6c\uc758 \ud604\uc7a5\uc73c\ub85c \uc2dc\uc120\uc744 \uc62e\uaca8 \ubcf4\uc790. \uc9c0\uae08\uae4c\uc9c0 \uc6b0\ub9ac\ub294 \uad70, \ubca1\ud130\uacf5\uac04, \uc704\uc0c1\uacf5\uac04, \uce21\ub3c4\uacf5\uac04\uc774\ub77c\ub294 \uc774\ubbf8 \uc815\ub9ac\ub41c \ucd94\uc0c1\uc801 \uacb0\uacfc\ubb3c\ub4e4\uc774 \uc5ed\uc0ac\uc801\uc73c\ub85c \uc5b4\ub5bb\uac8c \ud615\uc131\ub418\uc5c8\uc73c\uba70 \uc624\ub298\ub0a0 \ud559\uc0dd\ub4e4\uc5d0\uac8c \uc5b4\ub5bb\uac8c \uc804\ub2ec\ub418\ub294\uc9c0\ub97c \uc0b4\ud3b4\ubcf4\uc558\ub2e4. \uadf8\ub7f0\ub370 \uc0c8\ub85c\uc6b4 \uc815\ub9ac\ub97c \uc99d\uba85\ud574\uc57c \ud558\ub294 \ud604\uc5ed \uc218\ud559\uc790 \uc55e\uc5d0\ub294 \ub9e4 \uc21c\uac04 \ube44\uc2b7\ud55c \ub51c\ub808\ub9c8\uac00 \ub193\uc778\ub2e4. \ub208\uc55e\uc758 \ubb38\uc81c\ub97c \uacfc\uc5f0 \uc5bc\ub9c8\ub098 \uc77c\ubc18\uc801\uc774\uace0 \ucd94\uc0c1\uc801\uc778 \uc5b8\uc5b4\ub85c \uacf5\ub7b5\ud560 \uac83\uc778\uac00? \ubb38\uc81c\uc5d0 \uc9c0\ub098\uce58\uac8c \uad6c\uccb4\uc801\uc73c\ub85c \ub2e4\uac00\uac00\uba74 \ube44\uc2b7\ud55c \ubb38\uc81c\ub97c \ub9cc\ub0a0 \ub54c\ub9c8\ub2e4 \uc99d\uba85\uc744 \ucc98\uc74c\ubd80\ud130&hellip;<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":9726,"menu_order":1000,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_lmt_disableupdate":"no","_lmt_disable":"","footnotes":""},"class_list":["post-9753","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/pages\/9753","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/comments?post=9753"}],"version-history":[{"count":20,"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/pages\/9753\/revisions"}],"predecessor-version":[{"id":10061,"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/pages\/9753\/revisions\/10061"}],"up":[{"embeddable":true,"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/pages\/9726"}],"wp:attachment":[{"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/media?parent=9753"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}