https:\/\/www.astro.puc.cl\/~rparra\/tools\/PAPERS\/turing_1936.pdf<\/a><\/p>\n\u89e3\u50cf\u5ea6\u554f\u984c\u3078\u306e\u5fdc\u7528\u306b\u3088\u308b\u8a08\u7b97\u53ef\u80fd\u306a\u6570\u5024\u306b\u3064\u3044\u3066<\/p>\n
\u5348\u524d\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0<\/p>\n
[1936 \u5e74 5 \u6708 28 \u65e5\u306b\u53d7\u9818 – 1936 \u5e74 11 \u6708 12 \u65e5\u306b\u8aad\u4e86]<\/p>\n
\u300c\u8a08\u7b97\u53ef\u80fd\u306a\u300d\u6570\u5024\u306f\u3001\u5c0f\u6570\u3068\u3057\u3066\u306e\u8868\u73fe\u304c\u6709\u9650\u306e\u65b9\u6cd5\u3067\u8a08\u7b97\u3067\u304d\u308b\u5b9f\u6570\u3068\u3057\u3066\u7c21\u5358\u306b\u8aac\u660e\u3067\u304d\u307e\u3059\u3002\u4e00\u898b\u3059\u308b\u3068\u3001\u3053\u306e\u8a18\u4e8b\u3067\u306f\u6570\u5024\u3092\u8a08\u7b97\u53ef\u80fd\u306a\u3082\u306e\u3068\u3057\u3066\u6271\u3044\u307e\u3059\u304c\u3001\u6574\u5909\u6570\u3001\u5b9f\u6570\u5909\u6570\u3001\u8a08\u7b97\u53ef\u80fd\u306a\u5909\u6570\u3001\u8a08\u7b97\u53ef\u80fd\u306a\u8ff0\u8a9e\u306a\u3069\u306e\u8a08\u7b97\u53ef\u80fd\u306a\u95a2\u6570\u3092\u5b9a\u7fa9\u3057\u3066\u8abf\u67fb\u3059\u308b\u3053\u3068\u306f\u3001\u307b\u307c\u540c\u3058\u304f\u3089\u3044\u7c21\u5358\u3067\u3059\u3002\u305f\u3060\u3057\u3001\u3053\u308c\u3089\u306e\u8a08\u7b97\u53ef\u80fd\u306a\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u306b\u95a2\u9023\u3059\u308b\u57fa\u672c\u7684\u306a\u554f\u984c\u306f\u3001\u3069\u306e\u5834\u5408\u3067\u3082\u540c\u3058\u3067\u3059\u3002\u8a73\u7d30\u306a\u691c\u8a0e\u306e\u305f\u3081\u306b\u3001\u8003\u616e\u3059\u308b\u65b9\u6cd5\u304c\u6700\u3082\u9762\u5012\u3067\u306f\u306a\u3044\u305f\u3081\u3001\u8a08\u7b97\u53ef\u80fd\u306a\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u3068\u3057\u3066\u8a08\u7b97\u53ef\u80fd\u306a\u6570\u5024\u3092\u9078\u629e\u3057\u307e\u3057\u305f\u3002\u8a08\u7b97\u53ef\u80fd\u306a\u6570\u5024\u3068\u8a08\u7b97\u53ef\u80fd\u306a\u95a2\u6570\u306a\u3069\u306e\u95a2\u4fc2\u306b\u3064\u3044\u3066\u306f\u3001\u8fd1\u3044\u3046\u3061\u306b\u8aac\u660e\u3057\u305f\u3044\u3068\u601d\u3063\u3066\u3044\u307e\u3059\u3002\u540c\u6642\u306b\u3001\u8a08\u7b97\u200b\u200b\u53ef\u80fd\u306a\u6570\u5024\u3067\u8868\u73fe\u3055\u308c\u308b\u5b9f\u5909\u6570\u306e\u95a2\u6570\u7406\u8ad6\u306e\u5206\u91ce\u3067\u3082\u7814\u7a76\u304c\u884c\u308f\u308c\u307e\u3059\u3002\u79c1\u306e\u5b9a\u7fa9\u306b\u3088\u308c\u3070\u3001\u5b9f\u6570\u306f\u3001\u305d\u306e 10 \u9032\u6570\u8868\u73fe\u304c\u6a5f\u68b0\u3067\u8a18\u8ff0\u3067\u304d\u308b\u5834\u5408\u306b\u8a08\u7b97\u53ef\u80fd\u3067\u3059\u3002<\/p>\n
\u30d1\u30e9\u30b0\u30e9\u30d5 9 \u3068 10 \u3067\u306f\u3001\u8a08\u7b97\u53ef\u80fd\u306a\u6570\u5024\u306b\u306f\u3001\u5f53\u7136\u8a08\u7b97\u53ef\u80fd\u3067\u3042\u308b\u3068\u8003\u3048\u3089\u308c\u308b\u3059\u3079\u3066\u306e\u6570\u5024\u304c\u542b\u307e\u308c\u308b\u3053\u3068\u3092\u793a\u3059\u305f\u3081\u306b\u3001\u3044\u304f\u3064\u304b\u306e\u8b70\u8ad6\u3092\u793a\u3057\u307e\u3059\u3002\u7279\u306b\u3001\u3044\u304f\u3064\u304b\u306e\u5927\u304d\u306a\u30af\u30e9\u30b9\u306e\u6570\u5024\u304c\u8a08\u7b97\u53ef\u80fd\u3067\u3042\u308b\u3053\u3068\u3092\u793a\u3057\u307e\u3059\u3002\u3053\u308c\u3089\u306b\u306f\u3001\u305f\u3068\u3048\u3070\u3001\u3059\u3079\u3066\u306e\u4ee3\u6570\u7684\u6570\u5024\u306e\u5b9f\u90e8\u3001\u30d9\u30c3\u30bb\u30eb\u95a2\u6570\u306e\u30bc\u30ed\u306e\u5b9f\u90e8\u3001\u6570\u5024 \u03c0\u3001e \u306a\u3069\u304c\u542b\u307e\u308c\u307e\u3059\u3002\u305f\u3060\u3057\u3001\u6b21\u306e\u8a08\u7b97\u4e0d\u53ef\u80fd\u306a\u5b9a\u7fa9\u53ef\u80fd\u306a\u6570\u5024\u306e\u4f8b\u3067\u308f\u304b\u308b\u3088\u3046\u306b\u3001\u8a08\u7b97\u53ef\u80fd\u306a\u6570\u5024\u306b\u306f\u5b9a\u7fa9\u53ef\u80fd\u306a\u6570\u5024\u304c\u3059\u3079\u3066\u542b\u307e\u308c\u308b\u308f\u3051\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002<\/p>\n
\u8a08\u7b97\u53ef\u80fd\u306a\u6570\u5024\u306e\u30af\u30e9\u30b9\u306f\u975e\u5e38\u306b\u5927\u304d\u304f\u3001\u591a\u304f\u306e\u70b9\u3067\u5b9f\u6570\u306e\u30af\u30e9\u30b9\u3068\u4f3c\u3066\u3044\u307e\u3059\u304c\u3001\u4f9d\u7136\u3068\u3057\u3066\u6570\u3048\u308b\u3053\u3068\u304c\u53ef\u80fd\u3067\u3059\u3002 \u00a78 \u3067\u306f\u3001\u53cd\u5bfe\u3068\u601d\u308f\u308c\u308b\u7279\u5b9a\u306e\u8b70\u8ad6\u3092\u691c\u8a0e\u3057\u307e\u3059\u3002\u3053\u308c\u3089\u306e\u8b70\u8ad6\u306e 1 \u3064\u304c\u6b63\u3057\u304f\u9069\u7528\u3055\u308c\u308b\u3068\u3001\u4e00\u898b\u3059\u308b\u3068\u30b2\u30fc\u30c7\u30eb* \u306e\u7d50\u8ad6\u3068\u4f3c\u305f\u7d50\u8ad6\u304c\u5c0e\u304d\u51fa\u3055\u308c\u307e\u3059\u3002\u3053\u308c\u3089\u306e\u7d50\u679c\u306f\u975e\u5e38\u306b\u91cd\u8981\u306a\u5fdc\u7528\u5206\u91ce\u3092\u6301\u3063\u3066\u3044\u307e\u3059\u3002\u7279\u306b\u3001\u4ee5\u4e0b\u306b\u793a\u3059\u3088\u3046\u306b (\u00a711)\u3001\u89e3\u50cf\u5ea6\u306e\u554f\u984c\u306b\u306f\u89e3\u6c7a\u7b56\u304c\u3042\u308a\u307e\u305b\u3093\u3002<\/p>\n
\u6700\u8fd1\u306e\u8a18\u4e8b\u3067\u3001\u30a2\u30ed\u30f3\u30be\u30fb\u30c1\u30e3\u30fc\u30c1\u306f\u300c\u52b9\u679c\u7684\u306a\u8a08\u7b97\u53ef\u80fd\u6027\u300d\u3068\u3044\u3046\u8003\u3048\u3092\u7d39\u4ecb\u3057\u307e\u3057\u305f\u3002\u3053\u308c\u306f\u79c1\u306e\u300c\u8a08\u7b97\u53ef\u80fd\u6027\u300d\u3068\u3044\u3046\u8003\u3048\u3068\u540c\u3058\u3067\u3059\u304c\u3001\u5b9a\u7fa9\u306f\u307e\u3063\u305f\u304f\u7570\u306a\u308a\u307e\u3059\u3002\u30c1\u30e3\u30fc\u30c1\u3082\u89e3\u6c7a\u306e\u554f\u984c\u306b\u95a2\u3057\u3066\u540c\u69d8\u306e\u7d50\u8ad6\u306b\u9054\u3057\u3066\u3044\u307e\u3059\u3002 \u300c\u8a08\u7b97\u53ef\u80fd\u6027\u300d\u3068\u300c\u52b9\u7387\u7684\u306b\u8a08\u7b97\u53ef\u80fd\u300d\u304c\u540c\u7b49\u3067\u3042\u308b\u3053\u3068\u306e\u8a3c\u660e\u306f\u3001\u3053\u306e\u8a18\u4e8b\u306e\u4ed8\u9332\u306b\u793a\u3055\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n
1. \u30b3\u30f3\u30d4\u30e5\u30fc\u30bf<\/p>\n
\u8a08\u7b97\u53ef\u80fd\u306a\u6570\u3068\u306f\u3001\u5c0f\u6570\u70b9\u4ee5\u4e0b\u306e\u6841\u304c\u6709\u9650\u306e\u65b9\u6cd5\u3067\u6570\u3048\u3089\u308c\u308b\u6570\u3067\u3042\u308b\u3053\u3068\u306f\u3059\u3067\u306b\u8ff0\u3079\u307e\u3057\u305f\u3002\u3053\u3053\u3067\u306f\u3088\u308a\u660e\u78ba\u306a\u5b9a\u7fa9\u304c\u5fc5\u8981\u3067\u3059\u3002\u3053\u306e\u8a18\u4e8b\u3067\u306f\u3001\u00a79 \u306b\u5230\u9054\u3059\u308b\u307e\u3067\u3001\u3053\u3053\u3067\u4e0e\u3048\u3089\u308c\u305f\u5b9a\u7fa9\u3092\u6b63\u5f53\u5316\u3059\u308b\u5b9f\u969b\u306e\u8a66\u307f\u306f\u884c\u3044\u307e\u305b\u3093\u3002\u4eca\u306e\u3068\u3053\u308d\u3001\uff08\u3053\u306e\u305f\u3081\u306e\uff09\uff08\u8ad6\u7406\u7684\u306a\uff09\u6839\u62e0\u306f\u3001\u4eba\u9593\u306e\u8a18\u61b6\u306b\u306f\u5fc5\u7136\u7684\u306b\u9650\u754c\u304c\u3042\u308b\u3068\u3044\u3046\u3053\u3068\u3060\u3051\u3092\u8ff0\u3079\u3066\u304a\u304d\u307e\u3059\u3002<\/p>\n
\u5b9f\u6570\u3092\u8a08\u7b97\u3059\u308b\u904e\u7a0b\u306b\u3042\u308b\u4eba\u9593\u3068\u3001\u6709\u9650\u6570\u306e\u6761\u4ef6 q1\u3001q2\u3001…\u3001qR \u306e\u307f\u3092\u6e80\u305f\u3059\u3053\u3068\u304c\u3067\u304d\u308b\u6a5f\u68b0\u3092\u6bd4\u8f03\u3057\u3066\u307f\u307e\u3057\u3087\u3046\u3002\u3053\u308c\u3089\u306e\u6761\u4ef6\u3092\u300cm \u69cb\u6210\u300d\u3068\u547c\u3073\u307e\u3059\u3002\u3053\u306e\uff08\u3064\u307e\u308a\u3001\u305d\u306e\u3088\u3046\u306b\u5b9a\u7fa9\u3055\u308c\u305f\uff09\u30de\u30b7\u30f3\u306b\u306f\u300c\u30c6\u30fc\u30d7\u300d\uff08\u7d19\u306b\u4f3c\u305f\u3082\u306e\uff09\u304c\u88c5\u5099\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u6a5f\u68b0\u5185\u3092\u901a\u904e\u3059\u308b\u3053\u306e\u30d9\u30eb\u30c8\u306f\u3044\u304f\u3064\u304b\u306e\u30bb\u30af\u30b7\u30e7\u30f3\u306b\u5206\u304b\u308c\u3066\u3044\u307e\u3059\u3002\u305d\u308c\u3089\u3092\u300c\u6b63\u65b9\u5f62\u300d\u3068\u547c\u3073\u307e\u3057\u3087\u3046\u3002\u3053\u306e\u3088\u3046\u306a\u5404\u6b63\u65b9\u5f62\u306b\u306f\u3001\u4f55\u3089\u304b\u306e\u300c\u30b7\u30f3\u30dc\u30eb\u300d\u3092\u542b\u3081\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u3044\u3064\u3067\u3082\u3001\u300c\u3053\u306e\u30de\u30b7\u30f3\u5185\u306b\u3042\u308b\u300d\u30b7\u30f3\u30dc\u30eb\u3092\u542b\u3080\u305d\u306e\u3088\u3046\u306a\u6b63\u65b9\u5f62\u306f 1 \u3064\u3060\u3051\u3001\u305f\u3068\u3048\u3070 r \u756a\u76ee\u306e\u6b63\u65b9\u5f62\u3060\u3051\u3067\u3059\u3002\u3053\u306e\u3088\u3046\u306a\u6b63\u65b9\u5f62\u3092\u300c\u30b9\u30ad\u30e3\u30f3\u3055\u308c\u305f\u30b7\u30f3\u30dc\u30eb\u300d\u3068\u547c\u3073\u307e\u3059\u3002 \u300c\u30b9\u30ad\u30e3\u30f3\u3055\u308c\u305f\u6587\u5b57\u300d\u306f\u3001\u3044\u308f\u3070\u30de\u30b7\u30f3\u304c\u300c\u76f4\u63a5\u8a8d\u8b58\u3057\u3066\u3044\u308b\u300d\u552f\u4e00\u306e\u6587\u5b57\u3067\u3059\u3002\u305f\u3060\u3057\u3001m \u69cb\u6210\u3092\u5909\u66f4\u3059\u308b\u3053\u3068\u3067\u3001\u30de\u30b7\u30f3\u306f\u4ee5\u524d\u306b\u300c\u898b\u305f\u300d(\u30b9\u30ad\u30e3\u30f3\u3057\u305f) \u6587\u5b57\u306e\u4e00\u90e8\u3092\u52b9\u679c\u7684\u306b\u8a18\u61b6\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u308a\u307e\u3059\u3002\u3044\u3064\u3067\u3082\u30de\u30b7\u30f3\u306e\u53ef\u80fd\u306a\u52d5\u4f5c\u306f\u3001m \u69cb\u6210 qn \u3068\u30b9\u30ad\u30e3\u30f3\u3055\u308c\u305f\u30b7\u30f3\u30dc\u30eb *** \u306b\u3088\u3063\u3066\u6c7a\u307e\u308a\u307e\u3059\u3002\u3053\u306e\u30b7\u30f3\u30dc\u30eb\u306e\u30da\u30a2\u3092 qn\u3001\u300c\u69cb\u6210\u300d\u3068\u547c\u3073\u307e\u3057\u3087\u3046\u3002\u3053\u306e\u3088\u3046\u306b\u6307\u5b9a\u3055\u308c\u305f\u69cb\u6210\u306b\u3088\u3063\u3066\u3001\u7279\u5b9a\u306e\u30de\u30b7\u30f3\u306e\u53ef\u80fd\u306a\u52d5\u4f5c\u304c\u6c7a\u307e\u308a\u307e\u3059\u3002\u30b9\u30ad\u30e3\u30f3\u3055\u308c\u305f\u6b63\u65b9\u5f62\u304c\u7a7a\u767d\u3067\u3042\u308b (\u3064\u307e\u308a\u3001\u6587\u5b57\u304c\u542b\u307e\u308c\u3066\u3044\u306a\u3044) \u69cb\u6210\u306e\u4e00\u90e8\u3067\u306f\u3001\u30de\u30b7\u30f3\u306f\u30b9\u30ad\u30e3\u30f3\u3055\u308c\u305f\u6b63\u65b9\u5f62\u306b\u65b0\u3057\u3044\u6587\u5b57\u3092\u66f8\u304d\u8fbc\u307f\u3001\u305d\u306e\u4ed6\u306e\u69cb\u6210\u3067\u306f\u30b9\u30ad\u30e3\u30f3\u3055\u308c\u305f\u6587\u5b57\u3092\u6d88\u53bb\u3057\u307e\u3059\u3002\u3053\u306e\u30de\u30b7\u30f3\u306f\u79fb\u52d5\u3057\u3066\u5225\u306e\u30de\u30b9\u3092\u30b9\u30ad\u30e3\u30f3\u3059\u308b\u3053\u3068\u3082\u3067\u304d\u307e\u3059\u304c\u3001\u3053\u306e\u65b9\u6cd5\u3067\u306f\u53f3\u307e\u305f\u306f\u5de6\u306b\u96a3\u63a5\u3059\u308b\u30de\u30b9\u306b\u306e\u307f\u79fb\u52d5\u3067\u304d\u307e\u3059\u3002\u3053\u308c\u3089\u306e\u64cd\u4f5c\u306b\u52a0\u3048\u3066\u3001\u30de\u30b7\u30f3\u306e m \u69cb\u6210\u3092\u5909\u66f4\u3059\u308b\u3053\u3068\u3082\u3067\u304d\u307e\u3059\u3002\u3053\u306e\u5834\u5408\u3001\u66f8\u304b\u308c\u305f\u6587\u5b57\u306e\u4e00\u90e8\u306f\u3001\u8a08\u7b97\u3055\u308c\u308b\u5b9f\u6570\u306e\u5c0f\u6570\u90e8\u5206\u3067\u3042\u308b\u4e00\u9023\u306e\u6570\u5b57\u3092\u5f62\u6210\u3057\u307e\u3059\u3002\u6b8b\u308a\u306f\u300c\u8a18\u61b6\u3092\u52a9\u3051\u308b\u300d\u305f\u3081\u306e\u4e0d\u6b63\u78ba\u306a\u30de\u30fc\u30af\u306b\u3059\u304e\u307e\u305b\u3093\u3002\u3053\u306e\u5834\u5408\u3001\u4e0a\u8a18\u306e\u4e0d\u6b63\u78ba\u306a\u30de\u30fc\u30af\u306e\u307f\u3092\u6d88\u53bb\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u3002<\/p>\n
\u3053\u3053\u3067\u8003\u616e\u3055\u308c\u308b\u6f14\u7b97\u306b\u306f\u3001\u8a08\u7b97\u3067\u4f7f\u7528\u3055\u308c\u308b\u3059\u3079\u3066\u306e\u6f14\u7b97\u304c\u542b\u307e\u308c\u308b\u3068\u79c1\u306f\u4e3b\u5f35\u3057\u307e\u3059\u3002\u3053\u306e\u30b9\u30c6\u30fc\u30c8\u30e1\u30f3\u30c8\u306e\u7406\u8ad6\u7684\u6839\u62e0\u306f\u3001\u6a5f\u68b0\u7406\u8ad6\u3092\u7406\u89e3\u3057\u3066\u3044\u308b\u8aad\u8005\u306b\u3068\u3063\u3066\u306f\u7406\u89e3\u3057\u3084\u3059\u3044\u3082\u306e\u3067\u3059\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u6b21\u306e\u30bb\u30af\u30b7\u30e7\u30f3\u3067\u306f\u3001\u300c\u30de\u30b7\u30f3\u300d\u3001\u300c\u30c6\u30fc\u30d7\u300d\u3001\u300c\u30b9\u30ad\u30e3\u30f3\u3055\u308c\u305f\u300d\u306a\u3069\u306e\u7528\u8a9e\u306e\u610f\u5473\u306e\u7406\u89e3\u306b\u57fa\u3065\u3044\u3066\u3001\u554f\u984c\u306e\u7406\u8ad6\u3092\u5c55\u958b\u3057\u3066\u3044\u304d\u307e\u3059\u3002<\/p>\n
*\u30b2\u30fc\u30c7\u30eb\u300c\u30d7\u30ea\u30f3\u30ad\u30d4\u30a2\u6570\u5b66 (1910 \u5e74\u30011912 \u5e74\u30011913 \u5e74\u306b\u30db\u30ef\u30a4\u30c8\u30d8\u30c3\u30c9\u3068\u30e9\u30c3\u30bb\u30eb\u306b\u3088\u3063\u3066\u51fa\u7248) \u304a\u3088\u3073\u95a2\u9023\u30b7\u30b9\u30c6\u30e0\u306e\u5f62\u5f0f\u7684\u306b\u6c7a\u5b9a\u4e0d\u53ef\u80fd\u306a\u6587\u306b\u3064\u3044\u3066\u3001\u7b2c 1 \u90e8\u300dJournal of Mathematics\u3002 \u300e\u7269\u7406\u5b66\u300f\u30c9\u30a4\u30c4\u8a9e\u6708\u520a\u8a8c\u7b2c 38 \u53f7 (1931 \u5e74\u3001173-198 \u30da\u30fc\u30b8)\u3002
\n** \u30a2\u30ed\u30f3\u30be\u30fb\u30c1\u30e3\u30fc\u30c1\u3001\u300c\u521d\u7b49\u6574\u6570\u7406\u8ad6\u306b\u304a\u3051\u308b\u6c7a\u5b9a\u4e0d\u53ef\u80fd\u306a\u554f\u984c\u300d\u3001American J. of Math.\u3001\u7b2c 58 \u53f7 (1936 \u5e74)\u3001345-363 \u30da\u30fc\u30b8\u3002
\n*** \u30a2\u30ed\u30f3\u30be \u30c1\u30e3\u30fc\u30c1\u3001\u300c\u89e3\u6c7a\u554f\u984c\u306b\u95a2\u3059\u308b\u30e1\u30e2\u300d\u3001J. of Symbolic Logic\u3001No. 1 (1936)\u300140-41 \u30da\u30fc\u30b8<\/p>\n","protected":false},"excerpt":{"rendered":"
\u79c1\u306f\u30011936 \u5e74\u306e\u30a2\u30e9\u30f3\u30fb\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u306e\u8ad6\u6587\u300c\u89e3\u50cf\u5ea6\u306e\u554f\u984c\u3078\u306e\u5fdc\u7528\u306b\u3088\u308b\u8a08\u7b97\u53ef\u80fd\u306a\u6570\u306b\u3064\u3044\u3066\u300d\u306e\u6700\u521d\u306e\u30da\u30fc\u30b8\u306e\u7ffb\u8a33\u3092\u7d39\u4ecb\u3057\u307e\u3059\u3002\u6700\u521d\u306e\u7ae0\u306b\u306f\u3001\u5f8c\u306b\u73fe\u4ee3\u306e\u30b3\u30f3\u30d4\u30e5\u30fc\u30c6\u30a3\u30f3\u30b0\u306e\u57fa\u790e\u3068\u306a\u308b\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fc\u306e\u8aac\u660e\u304c\u542b\u307e\u308c\u3066\u3044\u307e\u3059\u3002 \u3053\u306e\u8a18\u4e8b\u306e\u5168\u8a33\u3068\u8aac\u660e\u306f\u3001\u30a2\u30e1\u30ea\u30ab\u306e\u666e\u53ca\u8005 Charles Petzold \u306b\u3088\u308b\u300cReading Turing: A Journey through Turing’s Historical Article on Computability and Turing Machines\u300d(ISBN 978-5-97060-231-7\u3001978-0-470-22905-7) \u3068\u3044\u3046\u30bf\u30a4\u30c8\u30eb\u306e\u672c\u3067\u8aad\u3080\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002 \u5143\u306e\u8a18\u4e8b: https:\/\/www.astro.puc.cl\/~rparra\/tools\/PAPERS\/turing_1936.pdf \u89e3\u50cf\u5ea6\u554f\u984c\u3078\u306e\u5fdc\u7528\u306b\u3088\u308b\u8a08\u7b97\u53ef\u80fd\u306a\u6570\u5024\u306b\u3064\u3044\u3066 \u5348\u524d\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0 [1936 \u5e74 5 \u6708 28 \u65e5\u306b\u53d7\u9818 – 1936 \u5e74 11 \u6708 12 \u65e5\u306b\u8aad\u4e86] \u300c\u8a08\u7b97\u53ef\u80fd\u306a\u300d\u6570\u5024\u306f\u3001\u5c0f\u6570\u3068\u3057\u3066\u306e\u8868\u73fe\u304c\u6709\u9650\u306e\u65b9\u6cd5\u3067\u8a08\u7b97\u3067\u304d\u308b\u5b9f\u6570\u3068\u3057\u3066\u7c21\u5358\u306b\u8aac\u660e\u3067\u304d\u307e\u3059\u3002\u4e00\u898b\u3059\u308b\u3068\u3001\u3053\u306e\u8a18\u4e8b\u3067\u306f\u6570\u5024\u3092\u8a08\u7b97\u53ef\u80fd\u306a\u3082\u306e\u3068\u3057\u3066\u6271\u3044\u307e\u3059\u304c\u3001\u6574\u5909\u6570\u3001\u5b9f\u6570\u5909\u6570\u3001\u8a08\u7b97\u53ef\u80fd\u306a\u5909\u6570\u3001\u8a08\u7b97\u53ef\u80fd\u306a\u8ff0\u8a9e\u306a\u3069\u306e\u8a08\u7b97\u53ef\u80fd\u306a\u95a2\u6570\u3092\u5b9a\u7fa9\u3057\u3066\u8abf\u67fb\u3059\u308b\u3053\u3068\u306f\u3001\u307b\u307c\u540c\u3058\u304f\u3089\u3044\u7c21\u5358\u3067\u3059\u3002\u305f\u3060\u3057\u3001\u3053\u308c\u3089\u306e\u8a08\u7b97\u53ef\u80fd\u306a\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u306b\u95a2\u9023\u3059\u308b\u57fa\u672c\u7684\u306a\u554f\u984c\u306f\u3001\u3069\u306e\u5834\u5408\u3067\u3082\u540c\u3058\u3067\u3059\u3002\u8a73\u7d30\u306a\u691c\u8a0e\u306e\u305f\u3081\u306b\u3001\u8003\u616e\u3059\u308b\u65b9\u6cd5\u304c\u6700\u3082\u9762\u5012\u3067\u306f\u306a\u3044\u305f\u3081\u3001\u8a08\u7b97\u53ef\u80fd\u306a\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u3068\u3057\u3066\u8a08\u7b97\u53ef\u80fd\u306a\u6570\u5024\u3092\u9078\u629e\u3057\u307e\u3057\u305f\u3002\u8a08\u7b97\u53ef\u80fd\u306a\u6570\u5024\u3068\u8a08\u7b97\u53ef\u80fd\u306a\u95a2\u6570\u306a\u3069\u306e\u95a2\u4fc2\u306b\u3064\u3044\u3066\u306f\u3001\u8fd1\u3044\u3046\u3061\u306b\u8aac\u660e\u3057\u305f\u3044\u3068\u601d\u3063\u3066\u3044\u307e\u3059\u3002\u540c\u6642\u306b\u3001\u8a08\u7b97\u200b\u200b\u53ef\u80fd\u306a\u6570\u5024\u3067\u8868\u73fe\u3055\u308c\u308b\u5b9f\u5909\u6570\u306e\u95a2\u6570\u7406\u8ad6\u306e\u5206\u91ce\u3067\u3082\u7814\u7a76\u304c\u884c\u308f\u308c\u307e\u3059\u3002\u79c1\u306e\u5b9a\u7fa9\u306b\u3088\u308c\u3070\u3001\u5b9f\u6570\u306f\u3001\u305d\u306e 10 \u9032\u6570\u8868\u73fe\u304c\u6a5f\u68b0\u3067\u8a18\u8ff0\u3067\u304d\u308b\u5834\u5408\u306b\u8a08\u7b97\u53ef\u80fd\u3067\u3059\u3002 \u30d1\u30e9\u30b0\u30e9\u30d5 9 \u3068 10 \u3067\u306f\u3001\u8a08\u7b97\u53ef\u80fd\u306a\u6570\u5024\u306b\u306f\u3001\u5f53\u7136\u8a08\u7b97\u53ef\u80fd\u3067\u3042\u308b\u3068\u8003\u3048\u3089\u308c\u308b\u3059\u3079\u3066\u306e\u6570\u5024\u304c\u542b\u307e\u308c\u308b\u3053\u3068\u3092\u793a\u3059\u305f\u3081\u306b\u3001\u3044\u304f\u3064\u304b\u306e\u8b70\u8ad6\u3092\u793a\u3057\u307e\u3059\u3002\u7279\u306b\u3001\u3044\u304f\u3064\u304b\u306e\u5927\u304d\u306a\u30af\u30e9\u30b9\u306e\u6570\u5024\u304c\u8a08\u7b97\u53ef\u80fd\u3067\u3042\u308b\u3053\u3068\u3092\u793a\u3057\u307e\u3059\u3002\u3053\u308c\u3089\u306b\u306f\u3001\u305f\u3068\u3048\u3070\u3001\u3059\u3079\u3066\u306e\u4ee3\u6570\u7684\u6570\u5024\u306e\u5b9f\u90e8\u3001\u30d9\u30c3\u30bb\u30eb\u95a2\u6570\u306e\u30bc\u30ed\u306e\u5b9f\u90e8\u3001\u6570\u5024 \u03c0\u3001e \u306a\u3069\u304c\u542b\u307e\u308c\u307e\u3059\u3002\u305f\u3060\u3057\u3001\u6b21\u306e\u8a08\u7b97\u4e0d\u53ef\u80fd\u306a\u5b9a\u7fa9\u53ef\u80fd\u306a\u6570\u5024\u306e\u4f8b\u3067\u308f\u304b\u308b\u3088\u3046\u306b\u3001\u8a08\u7b97\u53ef\u80fd\u306a\u6570\u5024\u306b\u306f\u5b9a\u7fa9\u53ef\u80fd\u306a\u6570\u5024\u304c\u3059\u3079\u3066\u542b\u307e\u308c\u308b\u308f\u3051\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002 \u8a08\u7b97\u53ef\u80fd\u306a\u6570\u5024\u306e\u30af\u30e9\u30b9\u306f\u975e\u5e38\u306b\u5927\u304d\u304f\u3001\u591a\u304f\u306e\u70b9\u3067\u5b9f\u6570\u306e\u30af\u30e9\u30b9\u3068\u4f3c\u3066\u3044\u307e\u3059\u304c\u3001\u4f9d\u7136\u3068\u3057\u3066\u6570\u3048\u308b\u3053\u3068\u304c\u53ef\u80fd\u3067\u3059\u3002 \u00a78 \u3067\u306f\u3001\u53cd\u5bfe\u3068\u601d\u308f\u308c\u308b\u7279\u5b9a\u306e\u8b70\u8ad6\u3092\u691c\u8a0e\u3057\u307e\u3059\u3002\u3053\u308c\u3089\u306e\u8b70\u8ad6\u306e 1 \u3064\u304c\u6b63\u3057\u304f\u9069\u7528\u3055\u308c\u308b\u3068\u3001\u4e00\u898b\u3059\u308b\u3068\u30b2\u30fc\u30c7\u30eb* \u306e\u7d50\u8ad6\u3068\u4f3c\u305f\u7d50\u8ad6\u304c\u5c0e\u304d\u51fa\u3055\u308c\u307e\u3059\u3002\u3053\u308c\u3089\u306e\u7d50\u679c\u306f\u975e\u5e38\u306b\u91cd\u8981\u306a\u5fdc\u7528\u5206\u91ce\u3092\u6301\u3063\u3066\u3044\u307e\u3059\u3002\u7279\u306b\u3001\u4ee5\u4e0b\u306b\u793a\u3059\u3088\u3046\u306b (\u00a711)\u3001\u89e3\u50cf\u5ea6\u306e\u554f\u984c\u306b\u306f\u89e3\u6c7a\u7b56\u304c\u3042\u308a\u307e\u305b\u3093\u3002 \u6700\u8fd1\u306e\u8a18\u4e8b\u3067\u3001\u30a2\u30ed\u30f3\u30be\u30fb\u30c1\u30e3\u30fc\u30c1\u306f\u300c\u52b9\u679c\u7684\u306a\u8a08\u7b97\u53ef\u80fd\u6027\u300d\u3068\u3044\u3046\u8003\u3048\u3092\u7d39\u4ecb\u3057\u307e\u3057\u305f\u3002\u3053\u308c\u306f\u79c1\u306e\u300c\u8a08\u7b97\u53ef\u80fd\u6027\u300d\u3068\u3044\u3046\u8003\u3048\u3068\u540c\u3058\u3067\u3059\u304c\u3001\u5b9a\u7fa9\u306f\u307e\u3063\u305f\u304f\u7570\u306a\u308a\u307e\u3059\u3002\u30c1\u30e3\u30fc\u30c1\u3082\u89e3\u6c7a\u306e\u554f\u984c\u306b\u95a2\u3057\u3066\u540c\u69d8\u306e\u7d50\u8ad6\u306b\u9054\u3057\u3066\u3044\u307e\u3059\u3002 […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[8],"tags":[],"class_list":["post-70","post","type-post","status-publish","format-standard","hentry","category-notes"],"translation":{"provider":"WPGlobus","version":"3.0.2","language":"ja","enabled_languages":["en","ru","zh","de","ja","fr","es","pt","hi"],"languages":{"en":{"title":true,"content":true,"excerpt":false},"ru":{"title":true,"content":true,"excerpt":false},"zh":{"title":true,"content":true,"excerpt":false},"de":{"title":true,"content":true,"excerpt":false},"ja":{"title":true,"content":true,"excerpt":false},"fr":{"title":true,"content":true,"excerpt":false},"es":{"title":false,"content":false,"excerpt":false},"pt":{"title":true,"content":true,"excerpt":false},"hi":{"title":true,"content":true,"excerpt":false}}},"_links":{"self":[{"href":"https:\/\/demensdeum.com\/blog\/ja\/wp-json\/wp\/v2\/posts\/70","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/demensdeum.com\/blog\/ja\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/demensdeum.com\/blog\/ja\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/demensdeum.com\/blog\/ja\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/demensdeum.com\/blog\/ja\/wp-json\/wp\/v2\/comments?post=70"}],"version-history":[{"count":1,"href":"https:\/\/demensdeum.com\/blog\/ja\/wp-json\/wp\/v2\/posts\/70\/revisions"}],"predecessor-version":[{"id":73,"href":"https:\/\/demensdeum.com\/blog\/ja\/wp-json\/wp\/v2\/posts\/70\/revisions\/73"}],"wp:attachment":[{"href":"https:\/\/demensdeum.com\/blog\/ja\/wp-json\/wp\/v2\/media?parent=70"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/demensdeum.com\/blog\/ja\/wp-json\/wp\/v2\/categories?post=70"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/demensdeum.com\/blog\/ja\/wp-json\/wp\/v2\/tags?post=70"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}