{"id":104,"date":"2010-04-17T22:49:51","date_gmt":"2010-04-18T07:49:51","guid":{"rendered":"\/blog\/?p=104"},"modified":"2023-09-21T09:41:15","modified_gmt":"2023-09-21T00:41:15","slug":"%eb%9e%8c%eb%8b%a4%ea%b3%84%ec%82%b0%eb%b2%95","status":"publish","type":"post","link":"https:\/\/hasu0707.duckdns.org\/blog\/?p=104","title":{"rendered":"\ub78c\ub2e4\uacc4\uc0b0\ubc95"},"content":{"rendered":"\n<P style=\"LINE-HEIGHT: 150%\">\uacc4\uc0b0 \uac00\ub2a5\uc131\uc758 \uac1c\ub150\uc740 \ub9e4\uc6b0 \uc911\uc694\ud558\uace0 \uc544\ub984\ub2e4\uc6b4 \uc218\ud559\uc801 \uac1c\ub150\uc774\ub2e4. \uadf8\ub9ac\uace0 \uadf8\uac83\uc774 \uc218\ud559\uc758 \uadfc\ubcf8 \uc131\uc9c8\uc744 \ub2e4\ub8ec\ub2e4\ub294 \uc810\uc5d0\uc11c \ubcf4\uba74 1930 \ub144\ub300\uc5d0 \ucc98\uc74c \ub4f1\uc7a5\ud588\ub2e4\ub294 \uac83\uc774 \ub180\ub77c\uc6b8 \uc815\ub3c4\ub85c \uadfc\uc790\uc5d0 \uc640\uc11c \uc5f0\uad6c\ub418\uae30 \uc2dc\uc791\ud55c \ubd84\uc57c\uc774\uae30\ub3c4 \ud558\ub2e4. \uc774 \uac1c\ub150\uc740 \uc218\ud559\uc758 \ubaa8\ub4e0 \ubd84\uc57c\uc5d0 \uad00\ub828\ub41c\ub2e4. (\ubb3c\ub860 \uac70\uc758 \ubaa8\ub4e0 \uc218\ud559\uc790\ub4e4\uc774 \uacc4\uc0b0 \uac00\ub2a5\uc131\uc5d0 \ub300\ud574\uc11c\ub294 \uc885\uc885 \uc5fc\ub450\uc5d0 \ub450\uc9c0 \uc54a\ub294 \uac83\ub3c4 \uc0ac\uc2e4\uc774\ub2e4.) \uc774 \uac1c\ub150\uc774 \ub180\ub77c\uc6b4 \uc774\uc720 \uc911\uc758 \ud558\ub098\ub294 \uba87\uba87 \uc798 \uc815\uc758\ub41c \uc218\ud559 \ubb38\uc81c\ub4e4\uc774 \uc2e4\uc81c\ub85c \uacc4\uc0b0 \ubd88\uac00\ub2a5\ud558\ub2e4\ub294 \ub370 \uc788\ub2e4. (\ud29c\ub9c1 \uae30\uacc4\uc758 \uc815\uc9c0\uc131 \uc5ec\ubd80\uc5d0 \ub300\ud55c \ubb38\uc81c\uac00 \uadf8 \ud55c \uc608\uc774\uace0 \uadf8 \ubc16\uc5d0 \uc81c 4 \uc7a5\uc5d0\uc11c \ub2e4\ub978 \uc608\ub97c \ubcfc \uac83\uc774\ub2e4.) \uc65c\ub0d0 \ud558\uba74 \uadf8\uc640 \uac19\uc740 \uacc4\uc0b0 \ubd88\uac00\ub2a5\ud55c \ubb38\uc81c\uac00 \uc5c6\uc5c8\ub354\ub77c\uba74 \uacc4\uc0b0 \uac00\ub2a5\uc131\uc758 \uac1c\ub150\uc740 \ubcc4\ub85c \uc218\ud559\uc801 \ud765\ubbf8\ub97c \uc77c\uc73c\ud0a4\uc9c0 \uc54a\uc558\uc744 \uac83\uc774\uae30 \ub54c\ubb38\uc774\ub2e4. \uc218\ud559\uc790\ub4e4\uc740 \ub530\uc9c0\uace0 \ubcf4\uba74 \ud37c\uc990\uc744 \uc88b\uc544\ud558\ub294 \uc0ac\ub78c\ub4e4\uc774\ub2e4. \uc5b4\ub5a4 \uc218\ud559\uc758 \uc5f0\uc0b0\uc774 \uacc4\uc0b0 \uac00\ub2a5\ud55c\uac00\ub97c \ubc1d\ud788\ub294 \uac83\uc740 \uadf8\ub4e4\uc5d0\uac8c \ub9e4\uc6b0 \ud765\ubbf8\ub85c\uc6b4 \ud37c\uc990\uc774 \ub420 \uc218 \uc788\ub294 \uac83\uc774\ub2e4. \uadf8\ub9ac\uace0 \uadf8\ub7ec\ud55c \ud37c\uc990\uc5d0 \ub300\ud55c \uc77c\ubc18\uc801 \ud574\ub2f5\uc774 \uacc4\uc0b0 \ubd88\uac00\ub2a5\ud558\ub2e4\ub294 \uac83\uc774 \uadf8 \ud37c\uc990\uc744 \ub354\uc6b1 \ud765\ubbf8\ub86d\uac8c \ub9cc\ub4e0\ub2e4.<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\ud55c \uac00\uc9c0 \ud655\uc2e4\ud788 \ubc1d\ud600 \ub450\uc5b4\uc57c \ud560 \uac83\uc740 \uacc4\uc0b0 \uac00\ub2a5\uc131\uc774 \uc21c\uc804\ud558\uace0 \ud655\uc2e4\ud55c \uc218\ud559\uc801 \uac1c\ub150\uc774\ub77c\ub294 \uc0ac\uc2e4\uc774\ub2e4. \uadf8\uac83\uc740 \uc55e\uc5d0\uc11c \uae30\uc220\ud55c \ud29c\ub9c1 \uae30\uacc4\uc5d0 \uc758\ud55c \ud2b9\uc815 \uad6c\ud604\uc758 \ucc28\uc6d0\uc744 \ub118\ub294 \ud6e8\uc52c \ucd94\uc0c1\uc801\uc778 \uac1c\ub150\uc778 \uac83\uc774\ub2e4. \uc55e\uc11c \ubc1d\ud78c \ubc14\uc640 \uac19\uc774 \ud29c\ub9c1\uc758 \uae30\ubc1c\ud558\uace0 \ub3c5\ucc3d\uc801\uc778 \ubc29\ubc95\uc744 \ud2b9\uc9d5\uc9d3\ub294\ub2e4\uace0 \ubcfc \uc218 \uc788\ub294 '\ud14c\uc774\ud504' \ub2c8 '\ub0b4\uc801 \uc0c1\ud0dc' \ub2c8 \ud558\ub294 \uac83\uc5d0 \uaf2d \uc911\uc694\uc131\uc744 \ubd80\uac00\ud560 \ud544\uc694\ub294 \uc5c6\ub2e4. \uacc4\uc0b0 \uac00\ub2a5\uc131\uc758 \uac1c\ub150\uc744 \ud45c\ud604\ud560 \uc218 \uc788\ub294 \ub2e4\ub978 \ubc29\ubc95\ub4e4\uc774 \uc788\ub294\ub370 \uc5ed\uc0ac\uc801\uc73c\ub85c \ucd5c\ucd08\uc758 \ubc29\ubc95\uc740 \ubbf8\uad6d\uc758 \ub17c\ub9ac\ud559\uc790 \ucc98\uce58\uac00 \ud074\ub9b0\uc758 \ub3c4\uc6c0\uc73c\ub85c \ub9cc\ub4e0 \ub78c\ub2e4 \uacc4\uc0b0\ubc95 (lambda calculus) \uc774\ub2e4. \ucc98\uce58\uc758 \ubc29\ubc95\uc740 \ud29c\ub9c1\uc758 \ubc29\ubc95\uacfc\ub294 \uc644\uc804\ud788 \ub2ec\ub790\uace0 \ud6e8\uc52c \ucd94\uc0c1\uc801\uc774\uc5c8\ub2e4. \uc2e4\uc81c\ub85c \ucc98\uce58\uac00 \uc790\uc2e0\uc758 \uc544\uc774\ub514\uc5b4\ub97c \uae30\uc220\ud55c \uc218\uc2dd\ub4e4\uc744 \uc0b4\ud3b4\ubcf4\uba74 \uadf8\uac83\uacfc '\uae30\uacc4\uc801' \uc774\ub77c\uace0 \ubd88\ub9b4 \uc218 \uc788\ub294 \uadf8 \ubb34\uc5c7\uacfc\ub294 \uc5b4\ub5a4 \uc5f0\uacb0\uc131\uc744 \ubc1c\uacac\ud574 \ub0b4\uae30\uac00 \uc27d\uc9c0 \uc54a\ub2e4. \ucc98\uce58 \ubc29\ubc95\uc758 \uc911\uc2ec \uc544\uc774\ub514\uc5b4\ub294 \uc2e4\ub85c \uadf8 \ud575\uc2ec\uc5d0\uc11c \ubcfc \ub54c \ucd94\uc0c1\uc801\uc774\ub2e4. \uc989, \ud558\ub098\uc758 \uc218\ud559 \uc5f0\uc0b0\uc744 \uc0ac\uc6a9\ud558\ub294\ub370 \ucc98\uce58\ub3c4 \uc2e4\uc81c\ub85c \uadf8\uac83\uc744 \ucd94\uc0c1\ud654 (abstraction) \ub77c \ubd88\ub800\ub358 \uac83\uc774\ub2e4.<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\uc5ec\uae30\uc5d0\uc11c \ucc98\uce58\uc758 \ubc29\ubc95\uc744 \uac04\ub7b5\ud558\uac8c \uc81c\uc2dc\ud558\ub294 \uac83\uc774 \uac00\uce58\uac00 \uc788\ub2e4\uace0 \uc0dd\uac01\ub41c\ub2e4. \uc774\ub294 \uacc4\uc0b0 \uac00\ub2a5\uc131\uc774\ub77c\ub294 \uac1c\ub150\uc774 \uc5b4\ub5a4 \ud2b9\uc815\ud55c \uacc4\uc0b0 \uae30\uacc4\uc640\ub294 \ub3c5\ub9bd\uc801\uc774\ub77c\ub294 \uac83\uc744 \ubcf4\uc774\uae30 \uc704\ud568\ub3c4 \uc788\uc9c0\ub9cc \ub610\ud55c \uc218\ud559\uc5d0\uc11c \ucd94\uc0c1\uc801 \uac1c\ub150\uc774 \uc5bc\ub9c8\ub098 \uac15\ub825\ud55c \uc218\ub2e8\uc774 \ub420 \uc218 \uc788\ub294\uac00\ub97c \ubcf4\uc5ec \uc8fc\uae30 \ub54c\ubb38\uc774\ub2e4. \uc218\ud559\uc801 \uac1c\ub150\uc5d0 \ub300\ud574\uc11c \uc774\ud574\ud558\uae30 \uc5b4\ub824\uc6b4 \ub3c5\uc790\ub4e4\uc774\ub098 \uadf8\ub7ec\ud55c \uac83\uc5d0 \ubcc4\ub85c \ud765\ubbf8\uac00 \uc5c6\ub294 \ub3c5\uc790\ub294 \ub2e4\uc74c \uc7a5\uc73c\ub85c \uac74\ub108\ub6f0\ub354\ub77c\ub3c4 \ubb38\ub9e5 \uc9c4\ud589\uc5d0 \ubcc4 \ubb38\uc81c\uac00 \uc5c6\uc744 \uac83\uc774\ub2e4. \ud558\uc9c0\ub9cc \uadf8\ub7ec\ud55c \ub3c5\uc790\ub4e4\ub3c4 \uc7a0\uc2dc\ub9cc \ub354 \uac19\uc774 \uc778\ub0b4\ud568\uc73c\ub85c\uc368 \ucc98\uce58\uc758 \ubc29\ubc95\uc774 \uac00\uc838\ub2e4 \uc8fc\ub294 \ub9c8\uc220\uacfc\ub3c4 \uac19\uc740 \uba85\ub8cc\ud568\uc744 \ubaa9\uaca9\ud560 \uc218 \uc788\uc744 \uac83\uc774\ub2e4.<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\uc774 \ubc29\ubc95\uc740 \ub2e4\uc74c\uacfc \uac19\uc774 \ud45c\uae30\ub418\ub294 \uac1d\uccb4\ub4e4\uc774 \uc774\ub8e8\ub294 '\uc138\uacc4 (universe)' \uc5d0 \uad00\ud55c \uac83\uc774\ub2e4.<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>a, b, c, d, ..., z, a', b', ..., z', a<SPAN style=\"LETTER-SPACING: -2px\">''<\/SPAN>, b<SPAN style=\"LETTER-SPACING: -2px\">''<\/SPAN>, ..., a<SPAN style=\"LETTER-SPACING: -2px\">'''<\/SPAN>, ..., a<SPAN style=\"LETTER-SPACING: -2px\">''''<\/SPAN>, ...<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\uc704\uc758 \uac1d\uccb4\ub4e4\uc740 \uc218\ud559\uc758 \uc5f0\uc0b0 \ud639\uc740 \ud568\uc218\ub97c \uc758\ubbf8\ud55c\ub2e4. (\ud45c\uc9c0\uac00 \ub2ec\ub9b0 \uae30\ud638\ub294 \ub2e8\uc9c0 \uc218\uc5c6\uc774 \ub9ce\uc740 \ud568\uc218\ub4e4\uc744 \ud45c\uae30\ud558\uae30 \uc704\ud558\uc5ec \ud3b8\uc758\uc0c1 \ubd99\uc778 \uac83\uc774\ub2e4.) \uc774 \ud568\uc218\uc758 '\ub3c5\ub9bd \ubcc0\uc218 (argument)' \ub4e4, \uc989 \ud568\uc218\uac00 \uacc4\uc0b0\uc5d0 \uc0ac\uc6a9\ud558\ub294 \uac12\ub4e4\ub3c4 \uc5ed\uc2dc \uac19\uc740 \uc885\ub958\ub4e4\uc778 \ud568\uc218\uc774\ub2e4. \uac8c\ub2e4\uac00 \ud568\uc218\ub97c \uacc4\uc0b0\ud55c \uacb0\uacfc \uc5ed\uc2dc \ud568\uc218\uc774\ub2e4. (\uc2e4\ub85c \ucc98\uce58\uc758 \uccb4\uacc4\ub294 \uac1c\ub150\uc0c1 \ub180\ub77c\uc6b8 \uc815\ub3c4\ub85c \uacbd\uc81c\uc801\uc774\ub77c \ud560 \uc218 \uc788\ub2e4.) \uadf8\ub7ec\ubbc0\ub85c \ub2e4\uc74c \uc2dd\uc774 \uc758\ubbf8\ud558\ub294 \uac83\uc740 \ud568\uc218 b \uc5d0 \ud568\uc218 c \ub97c \uc801\uc6a9\ud55c \uacb0\uacfc\uac00 \ud568\uc218 a \uac00 \ub41c\ub2e4\ub294 \uac83\uc774\ub2e4.<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>a = bc<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\uc774 \ubc29\ubc95\uc5d0 \ub530\ub974\uba74 \ud568\uc218\uac00 \ub450 \uac1c \uc774\uc0c1\uc758 \ub3c5\ub9bd \ubcc0\uc218\ub97c \uac16\ub294 \uacbd\uc6b0\ub3c4 \uc27d\uac8c \ud45c\ud604\ud560 \uc218 \uc788\ub2e4. \uc608\ub97c \ub4e4\uc5b4 f \ub77c\ub294 \ud568\uc218\uac00 \ub450 \uac1c\uc758 \ub3c5\ub9bd \ubcc0\uc218 p \uc640 q \ub97c \uac16\ub294\ub2e4\uace0 \ud558\uba74 \ub2e4\uc74c\uacfc \uac19\uc774 \ud45c\ud604\ud558\uba74 \ub41c\ub2e4. (\ud568\uc218 fp \uc5d0 q \ub97c \uc801\uc6a9\ud55c \uacb0\uacfc\uc784.)<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>(fp)q<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\ub610, \uc138 \uac1c\uc758 \ubcc0\uc218\uac00 \ud544\uc694\ud558\uba74,<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>((fp)q)r<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\uc774\uc640 \uac19\uc774 \uacc4\uc18d\ud558\uba74 \ub41c\ub2e4.<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\uc774\uc81c \uac15\ub825\ud55c \uc5f0\uc0b0\uc790\uc778 \ucd94\uc0c1\ud654\uc5d0 \ub300\ud574\uc11c \uc0b4\ud3b4\ubcf4\uc790. \uc774\ub97c \uc704\ud574\uc11c \uadf8\ub9ac\uc2a4 \ubb38\uc790 \u03bb (\ub78c\ub2e4) \ub97c \uc4f0\uace0 \uadf8 \ubc14\ub85c \ub2e4\uc74c\uc5d0 \ucc98\uce58\uc758 \ud568\uc218\ub97c \ud45c\uc2dc\ud558\ub294 \ubcc0\uc218 \uae30\ud638, \uc608\ub97c \ub4e4\uc5b4 x \ub97c \uc368 \uc8fc\ub294\ub370 \uc774 \ubcc0\uc218\ub294 \ub2e4\ub9cc '\uba85\ubaa9 \ubcc0\uc218 (dummy variable)' \uc5ed\ud560\uc744 \ud55c\ub2e4. \uadf8 \ubc14\ub85c \ub2e4\uc74c\uc5d0 \ub300\uad04\ud638\ub85c \ub458\ub7ec\uc2f8\uc778 \uc2dd\uc774 \ub098\uc624\ub294\ub370 \uadf8 \uc2dd \uc548\uc5d0 \ub4f1\uc7a5\ud558\ub294 \ubaa8\ub4e0 x \ub4e4\uc740 \uc2dd \ubc14\ub85c \ub2e4\uc74c\uc5d0 \uc624\ub294 \uac83\uc774 \ub4e4\uc5b4\uac08 \uc218 \uc788\ub294 '\ube48 \uc790\ub9ac' \uc758 \uc5ed\ud560\uc744 \ud55c\ub2e4. \uadf8\ub7ec\ubbc0\ub85c,<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>\u03bbx.[fx]<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\uac00 \uc758\ubbf8\ud558\ub294 \uac83\uc740 \ud568\uc218\ub85c\uc11c \ub9cc\uc77c a \ub77c\ub294 \uac12\uc744 \uc801\uc6a9\ud558\uba74 fa \ub97c \ub9cc\ub4e4\uc5b4 \uc8fc\ub294 \ud568\uc218\uc774\ub2e4. \uc989,<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>(\u03bbx.[fx])a = fa<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\ub2e4\uc2dc \ub9d0\ud558\uba74 \u03bbx.[fx] \ub294 \ub2e8\uc9c0 \ud568\uc218 f \ub97c \uc758\ubbf8\ud560 \ub530\ub984\uc774\ub2e4. \uc989,<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>\u03bbx.[fx] = f<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\uc774\uac83\uc5d0 \ub300\ud574\uc11c\ub294 \uc57d\uac04 \ub354 \uae4a\uc740 \uace0\ucc30\uc774 \ud544\uc694\ud558\ub2e4. \ucc98\uc74c\uc5d0\ub294 \uadf8\ub0e5 \ud604\ud559\uc801\uc774\uace0 \ub2f9\uc5f0\uc2a4\ub7ec\uc6cc \ubcf4\uc774\ub294 \uc218\uc2dd \uc7a5\ub09c \uac19\uc544\uc11c \uadf8 \uc694\uc810\uc744 \ub193\uce58\uae30 \uc27d\ub2e4. \uc6b0\ub9ac\uac00 \uc798 \uc544\ub294 \uc911\u318d\uace0\ub4f1\ud559\uad50 \uc218\ud559 \ubb38\uc81c\ub97c \uc608\ub85c \ub4e4\uc5b4 \ubcf4\uc790. \ud568\uc218 f \uac00 \uc5b4\ub5a4 \uac01\ub3c4\uc758 \uc0ac\uc778\uac12\uc744 \ucde8\ud558\ub294 \uc0bc\uac01\ud568\uc218 \uc5f0\uc0b0\uc774\ub77c\uace0 \uac00\uc815\ud558\uc5ec \ubcf4\uc790. \ucd94\uc0c1\ud654\ub41c \ud568\uc218 'sin' \uc740 \ub2e4\uc74c\uacfc \uac19\uc774 \uc815\uc758\ub41c\ub2e4.<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>\u03bbx.[sin x] = sin<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">(\uac01\ub3c4 x \uac00 \uc5b4\ub5bb\uac8c '\ud568\uc218' \uac00 \ub420 \uc218 \uc788\ub294\uac00\uc5d0 \ub300\ud574\uc11c\ub294 \uc804\ud600 \uc5fc\ub824\ud560 \ud544\uc694\uac00 \uc5c6\ub2e4. \uc7a0\uc2dc \ud6c4 \uc218\ub77c\ub294 \uac1c\ub150\ub3c4 \ud568\uc218\uac00 \ub420 \uc218 \uc788\uc74c\uc744 \ubcf4\uc77c \uac83\uc778\ub370 \uac01\ub3c4\ub3c4 \uc218\ub85c \uac04\uc8fc\ud560 \uc218 \uc788\uae30 \ub54c\ubb38\uc774\ub2e4.) \uc9c0\uae08\uae4c\uc9c0\ub294 \ucc38\uc73c\ub85c '\ub2f9\uc5f0' \ud558\ub2e4\uace0 \ubcfc \uc218 \uc788\ub2e4. \uadf8\ub7f0\ub370 \ub9cc\uc77c 'sin' \uc774\ub77c\ub294 \uac1c\ub150\uc774 \uc544\uc9c1 \ubc1c\uba85\ub418\uc9c0 \uc54a\uc558\uace0 \ub2e8\uc9c0 \ub2e4\uc74c\uacfc \uac19\uc774 sin x \uc758 \uc804\uac1c\uc2dd (power series) \ub9cc\uc744 \uc54c\uace0 \uc788\ub2e4\uace0 \uac00\uc815\ud558\uc790. <\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center><IMG style=\"CURSOR: pointer\" onclick=\"popview(this, '90000003_000000000000000DFBF1D38E')\" src=\"http:\/\/www.aistudy.com\/ai\/images\/algo_turing_htm_eqn4.gif\" width=157 height=34><!--NAMO_EQN__ 160 1&#46;x-frac{1}{6}x^{3}+frac{1}{120}x^{5}-....&#46;--><\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\uadf8\ub807\ub2e4\uba74 \ub2e4\uc74c\uacfc \uac19\uc774 sin \ud568\uc218\ub97c \uc815\uc758\ud560 \uc218 \uc788\ub2e4. <\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center><IMG style=\"CURSOR: pointer\" onclick=\"popview(this, '90000003_000000000000000DFBF1D38E')\" src=\"http:\/\/www.aistudy.com\/ai\/images\/algo_turing_htm_eqn5.gif\" width=238 height=41><\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>&nbsp;<\/P><!--NAMO_EQN__ 160 1&#46;sin =lambda x.left[&#46;x-frac{1}{6}x^{3}+frac{1}{120}x^{5}-...right]&#46;&#46;-->\n<P style=\"LINE-HEIGHT: 150%\">\uc880\ub354 \uac04\ub2e8\ud55c \uc608\ub97c \ub4e4\uba74 '\uc138\uc81c\uacf1\uc758 6 \ubd84\uc758 1' \uc774\ub77c\ub294 \ud568\uc218\ub294 \uc774\ub97c \uc9c0\uce6d\ud558\ub294 \ud45c\uc900\ud654\ub41c \ud568\uc218 \uc774\ub984\uc774 \uc5c6\ub2e4 \ud560\uc9c0\ub77c\ub3c4 \ub2e4\uc74c\uacfc \uac19\uc774 \uc815\uc758\ud560 \uc218 \uc788\ub2e4. <\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center><IMG style=\"CURSOR: pointer\" onclick=\"popview(this, '90000003_000000000000000DFBF1D38E')\" src=\"http:\/\/www.aistudy.com\/ai\/images\/algo_turing_htm_eqn6.gif\" width=100 height=41><!--NAMO_EQN__ 160 1&#46;Q=lambda x.left[&#46;frac{1}{6}x^{3}right]&#46;&#46;--><\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\uadf8\ub9ac\uace0 \uc774 \ud568\uc218\uc5d0 (a + 1) \uc774\ub77c\ub294 \uac12\uc774 \uc8fc\uc5b4\uc9c0\uba74 \ub2e4\uc74c\uacfc \uac19\uc774 \uc804\uac1c\ub41c\ub2e4.<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center><IMG style=\"CURSOR: pointer\" onclick=\"popview(this, '90000003_000000000000000DFBF1D38E')\" src=\"http:\/\/www.aistudy.com\/ai\/images\/algo_turing_htm_eqn7.gif\" width=314 height=34><!--NAMO_EQN__ 160 1&#46;Q(a+1)=frac{1}{6}(a+1)^{3}=frac{1}{6}a^{3}+frac{1}{2}a^{2}+frac{1}{2}a+frac{1}{6}&#46;--><\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\uc9c0\uae08 \ub2e4\ub8e8\ub294 \ub0b4\uc6a9\uacfc \uc880\ub354 \uad00\ub828 \uc788\ub294 \uc608\ub97c \ub4e4\uc5b4 \ubcf4\uc790\uba74 \ucc98\uce58\uc758 \uae30\ubcf8 \ud568\uc218 \uc5f0\uc0b0\ub9cc\uc73c\ub85c \uad6c\uc131\ub41c \ub2e4\uc74c\uacfc \uac19\uc740 \uc218\uc2dd\uc744 \uc0dd\uac01\ud574 \ubcfc \uc218 \uc788\ub2e4. <\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>\u03bbf.[f(fx)]<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\uc774 \ud568\uc218\ub294 \ub2e4\ub978 \ud568\uc218\ub97c \ubc1b\uc544\uc11c \uc774\ub97c x \uac12\uc5d0 \ub450 \ubc88 \ubc18\ubcf5\ud558\uac8c \ud558\ub294 \uc5ed\ud560\uc744 \ud55c\ub2e4. \uc608\ub97c \ub4e4\uba74,<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>(\u03bbf.[f(fx)])g = g(gx)<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\uc5ec\uae30\uc5d0\uc11c x \ub97c \uba3c\uc800 '\ucd94\uc0c1\ud654' \uc2dc\ucf1c \ubc84\ub9ac\uba74,<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>\u03bbf.[\u03bbx[f(fx)]]<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\uc774\ub97c \ub2e4\uc74c\uacfc \uac19\uc774 \uac04\ub7b5\ud558\uac8c \ud45c\uc2dc\ud558\uae30\ub3c4 \ud55c\ub2e4.<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>\u03bbfx.[f(fx)]<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\uc774 \uc5f0\uc0b0\uc740 g \ub77c\ub294 \uc785\ub825\uac12\uc744 \uc8fc\uba74 'g \ub97c \ub450 \ubc88 \ubc18\ubcf5\ud55c\ub2e4.' \ub77c\ub294 \ud568\uc218\ub97c \uc0dd\uc131\ud55c\ub2e4. \uc2e4\uc81c\ub85c \uc774 \ud568\uc218\ub294 \ucc98\uce58\uac00 \uc790\uc5f0\uc218 '2' \ub97c \ud45c\uc2dc\ud558\uae30 \uc704\ud558\uc5ec \uc0ac\uc6a9\ud55c \ud568\uc218\uc774\ub2e4.<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>2 = \u03bbfx.[f(fx)]<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\uadf8\ub7ec\ubbc0\ub85c (2g)y = g(gy) \uac00 \uc131\ub9bd\ud55c\ub2e4. \ub9c8\ucc2c\uac00\uc9c0\ub85c,<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>3 = \u03bbfx.[f(f(fx))], &nbsp; &nbsp;4 = \u03bbfx.[f(f(f(fx)))], \ub4f1<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\ucc98\ub7fc \ub418\uace0, 0 \uacfc 1 \ub3c4 \ub2e4\uc74c\uacfc \uac19\uc774 \uc815\uc758\ub41c\ub2e4.<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>1 = \u03bbfx.[fx], &nbsp; &nbsp;0 = \u03bbfx.[x]<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\uc2e4\uc81c\ub85c \ucc98\uce58\uc758 2 \uc640 3 \ub4f1\uc740 '\ub450 \ubc88' \ub610\ub294 '\uc138 \ubc88' \uc758 \uc758\ubbf8\uc5d0 \uac00\uae5d\ub2e4\uace0 \ubcfc \uc218 \uc788\ub2e4. \uadf8\ub7ec\ubbc0\ub85c 3 \uc774\ub77c\ub294 \uc5f0\uc0b0\uc744 \ud568\uc218 f \uc5d0 \uc801\uc6a9\uc2dc\ud0a8 3f \ub294 'f \ub97c \uc138 \ubc88 \ubc18\ubcf5\ud558\ub77c.' \ub294 \uc758\ubbf8\uc774\ub2e4. \ub9cc\uc77c 3f \uc5d0 y \ub97c \ub300\uc785\ud558\uba74, (3f)y = f(f(f(y))) \uac00 \ub41c\ub2e4.<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\ucc98\uce58\uc758 \ubc29\ubc95\uc5d0\uc11c \uc544\uc8fc \ub2e8\uc21c\ud55c \uc5f0\uc0b0, \uc608\ub97c \ub4e4\uba74 \uc5b4\ub5a4 \uc218\uc5d0 1 \uc744 \ub354\ud558\ub294 \uacc4\uc0b0\uc774 \ud45c\ud604\ub420 \uc218 \uc788\ub098\ub97c \uc0b4\ud3b4\ubcf4\uae30\ub85c \ud558\uc790. \ud568\uc218 S \ub294 \ub2e4\uc74c\uacfc \uac19\uc774 \uc815\uc758\ub41c\ub2e4. <\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>S = \u03bbabc.[b((ab)c)]<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\ud568\uc218 S \uac00 \uc2e4\uc81c\ub85c \ucc98\uce58\uc758 \ubc29\ubc95\uc73c\ub85c \ud45c\ud604\ub41c \uc218\uc5d0 1 \uc744 \ub354\ud558\ub294\uac00\ub97c \ud655\uc778\ud558\uae30 \uc704\ud558\uc5ec 3 \uc774\ub77c\ub294 \uc218\ub97c \uc801\uc6a9\uc2dc\ucf1c \ubcf4\ub3c4\ub85d \ud558\uc790:<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>S3 = \u03bbabc.[b((ab)c)]3 = \u03bbbc.[b((3b)c)]<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>= \u03bbbc.[b(b(b(bc)))] = 4 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\uc704\uc5d0\uc11c (3b)c = b(b(bc)) \uc784\uc744 \uc774\uc6a9\ud558\uc600\ub2e4. S \ub97c \uc5b4\ub5a4 \uc790\uc5f0\uc218\uc5d0 \uc801\uc6a9\uc2dc\ud0a4\ub354\ub77c\ub3c4 \ub9c8\ucc2c\uac00\uc9c0\ub85c \uc131\ub9bd\ud568\uc744 \uc54c \uc218 \uc788\uc744 \uac83\uc774\ub2e4. (\uc2e4\uc81c\ub85c S \ub97c \u03bbabc[(ab)(bc)] \ub85c \uc815\uc758\ud558\uc600\ub354\ub77c\ub3c4 \uac19\uc740 \uacb0\uacfc\ub97c \uc5bb\uc5c8\uc744 \uac83\uc774\ub2e4.)<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\uc5b4\ub5a4 \uc218\ub97c 2\uacf1 \ud558\ub824\uba74 \uc5b4\ub5bb\uac8c \ud560\uae4c? &nbsp;2\uacf1 \ud568\uc218\ub294 \ub2e4\uc74c\uacfc \uac19\uc774 \uc815\uc758\ud560 \uc218 \uc788\ub2e4 :<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>D = \u03bbabc.[(ab)((ab)c)],<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\uc5ec\uae30\uc5d0\ub3c4 3 \uc744 \ub300\uc785\ud558\uc5ec \ud655\uc778\ud558\uc5ec \ubcf4\uc790.<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>D = \u03bbabc.[(ab)((ab)c)] 3 = \u03bbbc.[(3b)((3b)c)] &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; <\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>= \u03bbbc.[(3b)(b(b(bc)))] = \u03bbbc.[b(b(b(b(b(bc)))))] = 6<\/P>\n<P style=\"LINE-HEIGHT: 150%\" align=center>&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\uc2e4\uc81c\ub85c \ub367\uc148 (A), \uacf1\uc148 (M), \uc81c\uacf1 (P) \ub4f1\uc758 \uae30\ubcf8 \uc5f0\uc0b0\uc740 \ub2e4\uc74c\uacfc \uac19\uc774 \uc815\uc758\ub420 \uc218 \uc788\ub2e4 :<\/P>\n<UL>\n<UL>\n<UL>\n<UL>\n<UL>\n<UL>\n<P style=\"LINE-HEIGHT: 150%\">A = \u03bbfgxy.[((fx)(gx))y]<\/P>\n<P style=\"LINE-HEIGHT: 150%\">M = \u03bbfgx.[f(gx)]<\/P>\n<P style=\"LINE-HEIGHT: 150%\">P = \u03bbfg.[fg]<\/P><\/UL><\/UL><\/UL><\/UL><\/UL><\/UL>\n<P style=\"LINE-HEIGHT: 150%\">\ub3c5\uc790\ub4e4\uc740 \uc704\uc758 \uc5f0\uc0b0\uc744 \uc2e4\uc81c\ub85c \ud655\uc778\ud574 \ubcf4\ub4e0\uc9c0 \uc544\ub2c8\uba74 \uadf8\ub300\ub85c \ubbff\uc5b4 \uc8fc\uae30 \ubc14\ub780\ub2e4. \uc989, m, n \uc774 \ucc98\uce58\uc758 \ud568\uc218\ub85c \ud45c\ud604\ub41c \ub450 \uc790\uc5f0\uc218\uc77c \ub54c \ub2e4\uc74c \uc2dd\uc774 \uc131\ub9bd\ud55c\ub2e4 :<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">(Am)n = m + n, &nbsp; &nbsp;(Mm)n = m \u00d7 n, &nbsp; &nbsp;(Pm)n=n<SUP><FONT size=2>m<\/FONT><\/SUP><\/P>\n<P style=\"LINE-HEIGHT: 150%\"><SUP><\/SUP>&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\ub9c8\uc9c0\ub9c9 \uc904\uc758 \uc81c\uacf1 \ud568\uc218\ub294 \ub180\ub77c\uc6b8 \uc815\ub3c4\ub85c \uac04\ub2e8\ud558\ub2e4. m = 2 \uc774\uace0 n = 3 \uc778 \uacbd\uc6b0\ub97c \uc608\ub85c \ub4e4\uc5b4 \ud655\uc778\ud574 \ubcf4\ub3c4\ub85d \ud558\uc790 :<\/P>\n<P>&nbsp;<\/P>\n\n<TABLE style=\"LINE-HEIGHT: 150%\" cellSpacing=0 cellPadding=0 width=421 align=center>\n<TBODY>\n<TR>\n<TD width=421>(P2)3 = ((\u03bbfg.[fg])2)3 = (\u03bbg.[2g])3 \n<P style=\"TEXT-INDENT: 49px\">= (\u03bbg.[\u03bbfx.[f(fx)]g])3 = \u03bbgx.[g(gx)]3<\/P>\n<P style=\"TEXT-INDENT: 49px\">= \u03bbx.[3(3x)] = \u03bbx.[\u03bbfy.[f(f(fy))](3x)]<\/P>\n<P style=\"TEXT-INDENT: 49px\">= \u03bbxy.[(3x)((3x)((3x)y))]<\/P>\n<P style=\"TEXT-INDENT: 49px\">= \u03bbxy.[(3x)((3x)(x(x(xy))))]<\/P>\n<P style=\"TEXT-INDENT: 49px\">= \u03bbxy.[(3x)(x(x(x(x(x(xy))))))]<\/P>\n<P style=\"TEXT-INDENT: 49px\">= \u03bbxy.[x(x(x(x(x(x(x(x(xy))))))))] = 9 = 3<SUP>2<\/SUP><\/P><\/TD><\/TR><\/TBODY><\/TABLE>\n\n<P>&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\ube84\uc148\uc774\ub098 \ub098\ub217\uc148\uc740 \uc774\ub4e4\ucc98\ub7fc \uac04\ub2e8\ud558\uc9c0\ub294 \uc54a\ub2e4 (\uc2e4\uc81c\ub85c 'm-n' \uc5d0\uc11c m \uc774 n \ubcf4\ub2e4 \uc791\uc740 \uacbd\uc6b0\ub098 'm \u00f7 n' \uc5d0\uc11c m \uc774 n \uc73c\ub85c \uc548 \ub098\ub204\uc5b4\uc9c0\ub294 \uacbd\uc6b0\uc5d0\ub294 \uc608\uc678 \uc870\ud56d\uc744 \ub9cc\ub4e4\uc5b4\uc57c \ud55c\ub2e4). \uc0ac\uc2e4 1930 \ub144\ub300 \ucd08\uc5d0 \ubbf8\uad6d\uc758 \uc218\ud559\uc790 \ud074\ub9b0 (S. C. Kleene) \uc774 \ucc98\uce58\uc758 \uacc4\uc0b0\ubc95 \ub0b4\uc5d0\uc11c \ube84\uc148\uc744 \uc218\ud589\ud558\ub294 \ubc29\ubc95\uc744 \ubc1c\uacac\ud568\uc73c\ub85c\uc368 \uc774 \ubd84\uc57c\uc5d0 \ud070 \uc774\uc815\ud45c\ub97c \uc218\ub9bd\ud558\uc600\ub2e4 \ud560 \uc218 \uc788\ub2e4. \ub2e4\ub978 \uc5f0\uc0b0\ub4e4\ub3c4 \uace7 \uc774\uc5b4\uc11c \ubc1c\uacac\ub418\uc5c8\ub2e4. \uacb0\uad6d 1937 \ub144\uc5d0 \ucc98\uce58\uc640 \ud29c\ub9c1\uc774 \uac01\uc790 \ub3c5\uc790\uc801\uc778 \uc5f0\uad6c\uc5d0 \uc758\ud574\uc11c \ubaa8\ub4e0 \uacc4\uc0b0 \uac00\ub2a5\ud55c (\uc54c\uace0\ub9ac\uc998\uc801\uc778) \uc5f0\uc0b0\ub4e4, \uc989 \ud29c\ub9c1 \uae30\uac8c\ub85c \uc218\ud589\ub420 \uc218 \uc788\ub294 \uc5f0\uc0b0\ub4e4\uc740 \ucc98\uce58\uc758 \uacc4\uc0b0\ubc95\uc5d0 \uc758\ud574\uc11c\ub3c4 \uc218\ud589\ub420 \uc218 \uc788\uace0 \uadf8 \uc5ed\ub3c4 \uc131\ub9bd\ud55c\ub2e4\ub294 \uac83\uc774 \ubc1d\ud600\uc84c\ub2e4.<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\uc774\ub294 \uc2e4\ub85c \ub180\ub77c\uc6b4 \uc0ac\uc2e4\ub85c\uc11c \uc774 \uacb0\uacfc\ub85c \uc778\ud558\uc5ec \uacc4\uc0b0 \uac00\ub2a5\uc131\uc774\ub77c\ub294 \uac1c\ub150\uc774 \uadfc\ubcf8\uc801\uc73c\ub85c \uac1d\uad00\uc801\uc774\uace0 \uc218\ud559\uc801\uc778 \ud2b9\uc131\uc744 \uac16\ub294\ub2e4\ub294 \uac83\uc774 \uc124\ub4dd\ub825\uc744 \uc5bb\uac8c \ub418\uc5c8\ub2e4. \ucc98\uce58\uc758 \ubc29\ubc95\uc5d0\uc11c \uacc4\uc0b0 \uac00\ub2a5\uc131\uc774\ub77c\ub294 \uac1c\ub150\uc740 \uc678\ud615\uc0c1 \uacc4\uc0b0\uae30\uc640\ub294 \uc804\ud600 \uc5f0\uad00\uc131\uc774 \uc5c6\ub294 \uac83\ucc98\ub7fc \ubcf4\uc77c\uc9c0\ub3c4 \ubaa8\ub978\ub2e4. \uadf8\ub7fc\uc5d0\ub3c4 \ubd88\uad6c\ud558\uace0 \uadf8\uac83\uc740 \uc2e4\uc0dd\ud65c\uc758 \uacc4\uc0b0\uacfc\ub3c4 \uae4a\uc740 \uad00\uacc4\ub97c \uac00\uc9c0\uace0 \uc788\ub2e4. \ud2b9\ud788 \uac15\ub825\ud558\uba74\uc11c\ub3c4 \uc720\uc5f0\ud568\uc744 \uc790\ub791\ud558\ub294 \ucef4\ud4e8\ud130 \uc5b8\uc5b4\uc778 \ub9ac\uc2a4\ud504 (LISP) \ub294 \ubcf8\uc9c8\uc801\uc73c\ub85c \ucc98\uce58\uc758 \ub78c\ub2e4 \uacc4\uc0b0\ubc95\uc758 \uae30\ubcf8 \uad6c\uc870\ub97c \uc0ac\uc6a9\ud558\uace0 \uc788\ub2e4. <\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\uc55e\uc11c \uc7a0\uc2dc \uc5b8\uae09\ud55c \ubc14\uc640 \uac19\uc774 \uacc4\uc0b0 \uac00\ub2a5\uc131\uc744 \uc815\uc758\ud558\ub294 \ub370 \ub2e4\ub978 \ubc29\ubc95\ub4e4\ub3c4 \uc788\ub2e4. \ud3ec\uc2a4\ud2b8\uac00 \uc81c\uc548\ud55c \uacc4\uc0b0\uae30\uc758 \uac1c\ub150\ub3c4 \ud29c\ub9c1 \uae30\uacc4\uc640 \ud761\uc0ac\ud55c\ub370 \ud29c\ub9c1\uacfc \ube44\uc2b7\ud55c \uc2dc\uae30\uc5d0 \ud29c\ub9c1\uacfc\ub294 \ubb34\uad00\ud558\uac8c \ub3c5\uc790\uc801\uc73c\ub85c \uac1c\ubc1c\ub41c \uac83\uc774\ub2e4. \ub610, \uadf8 \ud3b8\uc758\uc131 \ub54c\ubb38\uc5d0 \uc9c0\uae08\ub3c4 \ub9ce\uc774 \uc0ac\uc6a9\ub418\uace0 \uc788\uc9c0\ub9cc \ud5c8\ube0c\ub791 (J. Herbrand) \uacfc \uad34\ub378\uc5d0 \uc758\ud55c \uacc4\uc0b0 \uac00\ub2a5\uc131 (\uc7ac\uadc0\uc131) \uc758 \uc815\uc758\ub3c4 \uc788\ub2e4. \uadf8\ubcf4\ub2e4 \uc57d\uac04 \uba3c\uc800 \ucee4\ub9ac (H. B. Curry) \ub294 1929 \ub144\uc5d0, \ub610 \uc1e4\ud540\ucf08 (M. Sch\u00f6nfinkel) \uc740 1924 \ub144\uc5d0 \uac01\uac01 \ub2e4\ub978 \ubc29\ubc95\uc744 \uc81c\uc548\ud558\uc600\ub294\ub370 \ucc98\uce58\uc758 \uacc4\uc0b0\ubc95\uc740 \uc774\ub4e4 \ubc29\ubc95\uc73c\ub85c\ubd80\ud130 \uc77c\ubd80 \uc601\ud5a5\uc744 \ubc1b\uc558\ub2e4\uace0 \ud560 \uc218 \uc788\ub2e4. \uacc4\uc0b0 \uac00\ub2a5\uc131\uc5d0 \ub300\ud55c \ud604\ub300\uc801 \ubc29\ubc95\ub4e4 (\uc608\ub97c \ub4e4\uba74, 1980 \ub144\uc5d0 \ucee4\ud2c0\ub79c\ub4dc [N. G. Cutland]\uc5d0 \uc758\ud574\uc11c \uc81c\uc548\ub41c \ubb34\ud55c \ub808\uc9c0\uc2a4\ud130 \uae30\uacc4) \ub294 \ud6e8\uc52c \uc2e4\uc6a9\uc801\uc774\ub77c\ub294 \uc810\uc5d0\uc11c \ud29c\ub9c1\uc758 \uc6d0\ub798 \uae30\uacc4\uc640\ub294 \ud604\uc800\ud558\uac8c \ub2e4\ub974\ub2e4. \uadf8\ub7ec\ub098 \uc5b4\ub5a4 \ubc29\ubc95\uc744 \ucde8\ud558\uac74\uac04\uc5d0 \uac1c\ub150\uc801\uc73c\ub85c\ub294 \ub611\uac19\uc740 \uacc4\uc0b0 \uac00\ub2a5\uc131\uc744 \ub2e4\ub8e8\uace0 \uc788\ub294 \uac83\uc774\ub2e4.<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\uc218\ub9ce\uc740 \ub2e4\ub978 \uc218\ud559\uc801 \uac1c\ub150\ub4e4, \ud2b9\ud788 \uc2ec\uc624\ud55c \uc544\ub984\ub2e4\uc6c0\uacfc \uadfc\ubcf8\uc801\uc778 \ub0b4\uc6a9\uc744 \uc9c0\ub2c8\uace0 \uc788\ub294 \uc218\ud559 \uac1c\ub150\ub4e4\uc5d0\uc11c \ubcfc \uc218 \uc788\ub294 \uac83\ucc98\ub7fc \uacc4\uc0b0 \uac00\ub2a5\uc131\uc774\ub77c\ub294 \uac1c\ub150\ub3c4 \uadf8 \ub098\ub984\ub300\ub85c\uc758 \ud50c\ub77c\ud1a4\uc801 \uc2e4\uccb4\ub97c \uc18c\uc720\ud55c \uac83\uac19\uc774 \uc5ec\uaca8\uc9c4\ub2e4.<\/P>\n<P style=\"LINE-HEIGHT: 150%\">&nbsp;<\/P>\n<P style=\"LINE-HEIGHT: 150%\">\ubc1c\ucdcc: <a class=\"con_link\" href=\"http:\/\/zerosumz.tistory.com\/20\" target=\"_blank\" rel=\"noopener\">http:\/\/zerosumz.tistory.com\/20 \n<\/A>\n","protected":false},"excerpt":{"rendered":"<p>\uacc4\uc0b0 \uac00\ub2a5\uc131\uc758 \uac1c\ub150\uc740 \ub9e4\uc6b0 \uc911\uc694\ud558\uace0 \uc544\ub984\ub2e4\uc6b4 \uc218\ud559\uc801 \uac1c\ub150\uc774\ub2e4. \uadf8\ub9ac\uace0 \uadf8\uac83\uc774 \uc218\ud559\uc758 \uadfc\ubcf8 \uc131\uc9c8\uc744 \ub2e4\ub8ec\ub2e4\ub294 \uc810\uc5d0\uc11c \ubcf4\uba74 1930 \ub144\ub300\uc5d0 \ucc98\uc74c \ub4f1\uc7a5\ud588\ub2e4\ub294 \uac83\uc774 \ub180\ub77c\uc6b8 \uc815\ub3c4\ub85c \uadfc\uc790\uc5d0 \uc640\uc11c \uc5f0\uad6c\ub418\uae30 \uc2dc\uc791\ud55c \ubd84\uc57c\uc774\uae30\ub3c4 \ud558\ub2e4. \uc774 \uac1c\ub150\uc740 \uc218\ud559\uc758 \ubaa8\ub4e0 \ubd84\uc57c\uc5d0 \uad00\ub828\ub41c\ub2e4. (\ubb3c\ub860 \uac70\uc758 \ubaa8\ub4e0 \uc218\ud559\uc790\ub4e4\uc774 \uacc4\uc0b0 \uac00\ub2a5\uc131\uc5d0 \ub300\ud574\uc11c\ub294 \uc885\uc885 \uc5fc\ub450\uc5d0 \ub450\uc9c0 \uc54a\ub294 \uac83\ub3c4 \uc0ac\uc2e4\uc774\ub2e4.) \uc774 \uac1c\ub150\uc774 \ub180\ub77c\uc6b4 \uc774\uc720 \uc911\uc758 \ud558\ub098\ub294 \uba87\uba87 [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_import_markdown_pro_load_document_selector":0,"_import_markdown_pro_submit_text_textarea":"","site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"footnotes":""},"categories":[18],"tags":[],"class_list":["post-104","post","type-post","status-publish","format-standard","hentry","category-development_language"],"_links":{"self":[{"href":"https:\/\/hasu0707.duckdns.org\/blog\/index.php?rest_route=\/wp\/v2\/posts\/104","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/hasu0707.duckdns.org\/blog\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/hasu0707.duckdns.org\/blog\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/hasu0707.duckdns.org\/blog\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/hasu0707.duckdns.org\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=104"}],"version-history":[{"count":0,"href":"https:\/\/hasu0707.duckdns.org\/blog\/index.php?rest_route=\/wp\/v2\/posts\/104\/revisions"}],"wp:attachment":[{"href":"https:\/\/hasu0707.duckdns.org\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=104"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/hasu0707.duckdns.org\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=104"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/hasu0707.duckdns.org\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=104"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}