ãã¸ã¼ãã¼ãã¼ï¼è±ï¼busy beaverï¼ã¨ã¯ãè¨ç®å¯è½æ§çè«ã§æ±ããããã種ã®ãã¥ã¼ãªã³ã°ãã·ã³ã§ããããã®å称ã¯ãä»äºäººéããæå³ããè±èªã®æ £ç¨å¥ã«ç±æ¥ããããã¸ã¼ãã¼ãã¼ã¯ç©ºã®ãã¼ãããå¦çãéå§ããå¯è½ãªéãèµ°ãç¶ããããæçµçã«ã¯åæ¢ãããããã¯åæ¢ãããã¥ã¼ãªã³ã°ãã·ã³ã®ã¯ã©ã¹ãæ¶è²»ãå¾ãæéã¨é åï¼ãã¼ãï¼ã®é·ãã®ä¸éãä¸ããã ãã¸ã¼ãã¼ãã¼é¢æ°ã¯ãã®ä¸éãæ°å¤åãããã®ã§ãããè¨ç®ä¸è½é¢æ°ã®ä¸ä¾ã§ãããããã®é¢æ°ã¯ãããªãè¨ç®å¯è½é¢æ°ãããæ¥éã«å¢å¤§ããã¨ãããã¨ã証æã§ããããã¸ã¼ãã¼ãã¼é¢æ°ã®æ¦å¿µã¯ããã£ãã¼ã«ã»ã©ãã¼ï¼è±èªçï¼ã«ãã1962å¹´ã®è«æ "On Non-Computable Functions" ã®ä¸ã§ãããã¸ã¼ãã¼ãã¼ã»ã²ã¼ã ãã¨ããå称ã§åãã¦å°å ¥ãããã ãã£ãã¼ã«ã»ã©ãã¼ã¯ã1962å¹´ã®è«æã§ä»¥ä¸ã®ããã«ããã¸ã¼ãã¼ãã¼ã»ã²ã¼ã ããå°å ¥ããã
{{#tags}}- {{label}}
{{/tags}}