決定å¯èƒ½æ€§ - Wikipedia決定å¯èƒ½ï¼ˆã‘ã£ã¦ã„ã‹ã®ã†ã€è‹±: decidable）ã¯ã€æ•°ç†è«–ç†å¦ã¾ãŸã¯ç¾ä»£è«–ç†å¦ã«ãŠã„ã¦ã€è«–ç†å¼ã®é›†åˆã®ãƒ¡ãƒ³ãƒãƒ¼ã‚·ãƒƒãƒ—ã®æ±ºå®šã‚’ã™ã‚‹å®ŸåŠ¹çš„（effectiveãªï¼‰æ–¹æ³•ãŒå˜åœ¨ã™ã‚‹ã“ã¨ã‚’指ã™ã€‚決定å¯èƒ½æ€§ï¼ˆã‘ã£ã¦ã„ã‹ã®ã†ã›ã„ã€è‹±: decidability）ã¯ã€ãã®ã‚ˆã†ãªå±žæ€§ã‚’指ã™ã€‚命題論ç†ã®ã‚ˆã†ãªå½¢å¼ä½“ç³»ã¯ã€è«–ç†çš„ã«å¦¥å½“ãªè«–ç†å¼ï¼ˆã¾ãŸã¯å®šç†ï¼‰ã®é›†åˆã®ãƒ¡ãƒ³ãƒãƒ¼ã‚·ãƒƒãƒ—を実効的ã«æ±ºå®šã§ãã‚‹ãªã‚‰ã€æ±ºå®šå¯èƒ½ã§ã‚る。ã‚る決ã¾ã£ãŸè«–ç†ä½“ç³»ã«ãŠã‘ã‚‹ç†è«–（論ç†çš„帰çµã§é–‰ã˜ã¦ã„ã‚‹è«–ç†å¼ã®é›†åˆï¼‰ã¯ã€ä»»æ„ã®è«–ç†å¼ãŒãã®ç†è«–ã«å«ã¾ã‚Œã‚‹ã‹å¦ã‹ã‚’決定ã™ã‚‹å®ŸåŠ¹çš„方法ãŒã‚ã‚Œã°ã€æ±ºå®šå¯èƒ½ã§ã‚る。ãã†ã§ãªã‘ã‚Œã°ã€æ±ºå®šä¸èƒ½ã§ã‚る。 決定å¯èƒ½é›†åˆã®æ¦‚念ã¨åŒæ§˜ã€æ±ºå®šå¯èƒ½ãªç†è«–ã‚„è«–ç†ä½“ç³»ã®å®šç¾©ã¯ã€ã€Œå®ŸåŠ¹çš„方法 (effective method)ã€ã‚„「計算å¯èƒ½é–¢æ•° (computable function)ã€ã«ã‚ˆã£ã¦ä¸Žãˆã‚‰ã‚Œã‚‹ã€‚ã“れらã¯ä¸€
{{#tags}}- {{label}}
{{/tags}}