ç§ã¯ã1936 幎ã®ã¢ã©ã³ã»ãã¥ãŒãªã³ã°ã®è«æãè§£å床ã®åé¡ãžã®å¿çšã«ããèšç®å¯èœãªæ°ã«ã€ããŠãã®æåã®ããŒãžã®ç¿»èš³ã玹ä»ããŸããæåã®ç« ã«ã¯ãåŸã«çŸä»£ã®ã³ã³ãã¥ãŒãã£ã³ã°ã®åºç€ãšãªãã³ã³ãã¥ãŒã¿ãŒã®èª¬æãå«ãŸããŠããŸãã
ãã®èšäºã®å
šèš³ãšèª¬æã¯ãã¢ã¡ãªã«ã®æ®åè
Charles Petzold ã«ãããReading Turing: A Journey through Turing’s Historical Article on Computability and Turing Machinesã(ISBN 978-5-97060-231-7ã978-0-470-22905-7) ãšããã¿ã€ãã«ã®æ¬ã§èªãããšãã§ããŸãã
å
ã®èšäº:
https://www.astro.puc.cl/~rparra/tools/PAPERS/turing_1936.pdf
è§£å床åé¡ãžã®å¿çšã«ããèšç®å¯èœãªæ°å€ã«ã€ããŠ
ååãã¥ãŒãªã³ã°
[1936 幎 5 æ 28 æ¥ã«åé – 1936 幎 11 æ 12 æ¥ã«èªäº]
ãèšç®å¯èœãªãæ°å€ã¯ãå°æ°ãšããŠã®è¡šçŸãæéã®æ¹æ³ã§èšç®ã§ãã宿°ãšããŠç°¡åã«èª¬æã§ããŸããäžèŠãããšããã®èšäºã§ã¯æ°å€ãèšç®å¯èœãªãã®ãšããŠæ±ããŸãããæŽå€æ°ã宿°å€æ°ãèšç®å¯èœãªå€æ°ãèšç®å¯èœãªè¿°èªãªã©ã®èšç®å¯èœãªé¢æ°ãå®çŸ©ããŠèª¿æ»ããããšã¯ãã»ãŒåããããç°¡åã§ãããã ãããããã®èšç®å¯èœãªãªããžã§ã¯ãã«é¢é£ããåºæ¬çãªåé¡ã¯ãã©ã®å Žåã§ãåãã§ããè©³çŽ°ãªæ€èšã®ããã«ãèæ
®ããæ¹æ³ãæãé¢åã§ã¯ãªããããèšç®å¯èœãªãªããžã§ã¯ããšããŠèšç®å¯èœãªæ°å€ãéžæããŸãããèšç®å¯èœãªæ°å€ãšèšç®å¯èœãªé¢æ°ãªã©ã®é¢ä¿ã«ã€ããŠã¯ãè¿ããã¡ã«èª¬æããããšæã£ãŠããŸããåæã«ãèšç®ââå¯èœãªæ°å€ã§è¡šçŸãããå®å€æ°ã®é¢æ°çè«ã®åéã§ãç ç©¶ãè¡ãããŸããç§ã®å®çŸ©ã«ããã°ã宿°ã¯ããã® 10 鲿°è¡šçŸãæ©æ¢°ã§èšè¿°ã§ããå Žåã«èšç®å¯èœã§ãã
ãã©ã°ã©ã 9 ãš 10 ã§ã¯ãèšç®å¯èœãªæ°å€ã«ã¯ãåœç¶èšç®å¯èœã§ãããšèãããããã¹ãŠã®æ°å€ãå«ãŸããããšã瀺ãããã«ãããã€ãã®è°è«ã瀺ããŸããç¹ã«ãããã€ãã®å€§ããªã¯ã©ã¹ã®æ°å€ãèšç®å¯èœã§ããããšã瀺ããŸãããããã«ã¯ãããšãã°ããã¹ãŠã®ä»£æ°çæ°å€ã®å®éšãããã»ã«é¢æ°ã®ãŒãã®å®éšãæ°å€ Ïãe ãªã©ãå«ãŸããŸãããã ããæ¬¡ã®èšç®äžå¯èœãªå®çŸ©å¯èœãªæ°å€ã®äŸã§ãããããã«ãèšç®å¯èœãªæ°å€ã«ã¯å®çŸ©å¯èœãªæ°å€ããã¹ãŠå«ãŸããããã§ã¯ãããŸããã
èšç®å¯èœãªæ°å€ã®ã¯ã©ã¹ã¯éåžžã«å€§ãããå€ãã®ç¹ã§å®æ°ã®ã¯ã©ã¹ãšäŒŒãŠããŸãããäŸç¶ãšããŠæ°ããããšãå¯èœã§ãã §8 ã§ã¯ãåå¯Ÿãšæãããç¹å®ã®è°è«ãæ€èšããŸãããããã®è°è«ã® 1 ã€ãæ£ããé©çšããããšãäžèŠãããšã²ãŒãã«* ã®çµè«ãšäŒŒãçµè«ãå°ãåºãããŸãããããã®çµæã¯éåžžã«éèŠãªå¿çšåéãæã£ãŠããŸããç¹ã«ã以äžã«ç€ºãããã« (§11)ãè§£å床ã®åé¡ã«ã¯è§£æ±ºçããããŸããã
æè¿ã®èšäºã§ãã¢ãã³ãŸã»ãã£ãŒãã¯ã广çãªèšç®å¯èœæ§ããšããèãã玹ä»ããŸãããããã¯ç§ã®ãèšç®å¯èœæ§ããšããèããšåãã§ãããå®çŸ©ã¯ãŸã£ããç°ãªããŸãããã£ãŒãã解決ã®åé¡ã«é¢ããŠåæ§ã®çµè«ã«éããŠããŸãã ãèšç®å¯èœæ§ããšãå¹ççã«èšç®å¯èœããåçã§ããããšã®èšŒæã¯ããã®èšäºã®ä»é²ã«ç€ºãããŠããŸãã
1. ã³ã³ãã¥ãŒã¿
èšç®å¯èœãªæ°ãšã¯ãå°æ°ç¹ä»¥äžã®æ¡ãæéã®æ¹æ³ã§æ°ããããæ°ã§ããããšã¯ãã§ã«è¿°ã¹ãŸãããããã§ã¯ããæç¢ºãªå®çŸ©ãå¿
èŠã§ãããã®èšäºã§ã¯ã§9 ã«å°éãããŸã§ãããã§äžããããå®çŸ©ãæ£åœåããå®éã®è©Šã¿ã¯è¡ããŸãããä»ã®ãšãããïŒãã®ããã®ïŒïŒè«ççãªïŒæ ¹æ ã¯ã人éã®èšæ¶ã«ã¯å¿
ç¶çã«éçããããšããããšã ããè¿°ã¹ãŠãããŸãã
宿°ãèšç®ããéçšã«ãã人éãšãæéæ°ã®æ¡ä»¶ q1ãq2ã…ãqR ã®ã¿ãæºããããšãã§ããæ©æ¢°ãæ¯èŒããŠã¿ãŸãããããããã®æ¡ä»¶ããm æ§æããšåŒã³ãŸãããã®ïŒã€ãŸãããã®ããã«å®çŸ©ãããïŒãã·ã³ã«ã¯ãããŒããïŒçŽã«äŒŒããã®ïŒãè£
åãããŠããŸããæ©æ¢°å
ãééãããã®ãã«ãã¯ããã€ãã®ã»ã¯ã·ã§ã³ã«åãããŠããŸãããããããæ£æ¹åœ¢ããšåŒã³ãŸãããããã®ãããªåæ£æ¹åœ¢ã«ã¯ãäœããã®ãã·ã³ãã«ããå«ããããšãã§ããŸãããã€ã§ããããã®ãã·ã³å
ã«ãããã·ã³ãã«ãå«ããã®ãããªæ£æ¹åœ¢ã¯ 1 ã€ã ããããšãã° r çªç®ã®æ£æ¹åœ¢ã ãã§ãããã®ãããªæ£æ¹åœ¢ããã¹ãã£ã³ãããã·ã³ãã«ããšåŒã³ãŸãã ãã¹ãã£ã³ãããæåãã¯ãããã°ãã·ã³ããçŽæ¥èªèããŠãããå¯äžã®æåã§ãããã ããm æ§æã倿Žããããšã§ããã·ã³ã¯ä»¥åã«ãèŠãã(ã¹ãã£ã³ãã) æåã®äžéšã广çã«èšæ¶ã§ããããã«ãªããŸãããã€ã§ããã·ã³ã®å¯èœãªåäœã¯ãm æ§æ qn ãšã¹ãã£ã³ãããã·ã³ãã« *** ã«ãã£ãŠæ±ºãŸããŸãããã®ã·ã³ãã«ã®ãã¢ã qnããæ§æããšåŒã³ãŸãããããã®ããã«æå®ãããæ§æã«ãã£ãŠãç¹å®ã®ãã·ã³ã®å¯èœãªåäœã決ãŸããŸããã¹ãã£ã³ãããæ£æ¹åœ¢ã空çœã§ãã (ã€ãŸããæåãå«ãŸããŠããªã) æ§æã®äžéšã§ã¯ããã·ã³ã¯ã¹ãã£ã³ãããæ£æ¹åœ¢ã«æ°ããæåãæžã蟌ã¿ããã®ä»ã®æ§æã§ã¯ã¹ãã£ã³ãããæåãæ¶å»ããŸãããã®ãã·ã³ã¯ç§»åããŠå¥ã®ãã¹ãã¹ãã£ã³ããããšãã§ããŸããããã®æ¹æ³ã§ã¯å³ãŸãã¯å·Šã«é£æ¥ãããã¹ã«ã®ã¿ç§»åã§ããŸãããããã®æäœã«å ããŠããã·ã³ã® m æ§æã倿Žããããšãã§ããŸãããã®å Žåãæžãããæåã®äžéšã¯ãèšç®ããã宿°ã®å°æ°éšåã§ããäžé£ã®æ°åã圢æããŸããæ®ãã¯ãèšæ¶ãå©ãããããã®äžæ£ç¢ºãªããŒã¯ã«ãããŸããããã®å Žåãäžèšã®äžæ£ç¢ºãªããŒã¯ã®ã¿ãæ¶å»ããããšãã§ããã
ããã§èæ
®ãããæŒç®ã«ã¯ãèšç®ã§äœ¿çšããããã¹ãŠã®æŒç®ãå«ãŸãããšç§ã¯äž»åŒµããŸãããã®ã¹ããŒãã¡ã³ãã®çè«çæ ¹æ ã¯ãæ©æ¢°çè«ãçè§£ããŠããèªè
ã«ãšã£ãŠã¯çè§£ãããããã®ã§ãããããã£ãŠã次ã®ã»ã¯ã·ã§ã³ã§ã¯ãããã·ã³ãããããŒããããã¹ãã£ã³ãããããªã©ã®çšèªã®æå³ã®çè§£ã«åºã¥ããŠãåé¡ã®çè«ãå±éããŠãããŸãã
*ã²ãŒãã«ãããªã³ããã¢æ°åŠ (1910 幎ã1912 幎ã1913 幎ã«ãã¯ã€ãããããšã©ãã»ã«ã«ãã£ãŠåºç) ããã³é¢é£ã·ã¹ãã ã®åœ¢åŒçã«æ±ºå®äžå¯èœãªæã«ã€ããŠã第 1 éšãJournal of Mathematicsã ãç©çåŠããã€ãèªæåèªç¬¬ 38 å· (1931 幎ã173-198 ããŒãž)ã
** ã¢ãã³ãŸã»ãã£ãŒãããåçæŽæ°çè«ã«ãããæ±ºå®äžå¯èœãªåé¡ããAmerican J. of Math.ã第 58 å· (1936 幎)ã345-363 ããŒãžã
*** ã¢ãã³ãŸ ãã£ãŒããã解決åé¡ã«é¢ããã¡ã¢ããJ. of Symbolic LogicãNo. 1 (1936)ã40-41 ããŒãž