ゲーデルã®ä¸å®Œå…¨æ€§å®šç† - Wikipediaゲーデルã®ä¸å®Œå…¨æ€§å®šç†ï¼ˆã‚²ãƒ¼ãƒ‡ãƒ«ã®ãµã‹ã‚“ãœã‚“ã›ã„ã¦ã„ã‚Šã€è‹±: Gödel's incompleteness theoremsã€ç‹¬: Gödelscher Unvollständigkeitssatz）ã¾ãŸã¯ä¸å®Œå…¨æ€§å®šç†ã¨ã¯ã€æ•°å¦åŸºç¤Žè«–[1]ã¨ã‚³ãƒ³ãƒ”ュータ科å¦ï¼ˆè¨ˆç®—機科å¦ï¼‰ã®é‡è¦ãªåŸºæœ¬å®šç†[2]。（数å¦åŸºç¤Žè«–ã¯æ•°ç†è«–ç†å¦ã‚„超数å¦ã¨ã»ã¼åŒç¾©ãªåˆ†é‡Žã§ã€ã‚³ãƒ³ãƒ”ュータ科å¦ã¨å¯†æŽ¥ã«é–¢é€£ã—ã¦ã„ã‚‹[3]。）　ä¸å®Œå…¨æ€§å®šç†ã¯åŽ³å¯†ã«ã¯ã€Œæ•°å¦ã€ãã®ã‚‚ã®ã«ã¤ã„ã¦ã®å®šç†ã§ã¯ãªãã€ã€Œå½¢å¼åŒ–ã•ã‚ŒãŸæ•°å¦ã€ã«ã¤ã„ã¦ã®å®šç†ã§ã‚ã‚‹[4][注 1]。クルト・ゲーデルãŒ1931å¹´ã®è«–æ–‡ã§è¨¼æ˜Žã—ãŸå®šç†ã§ã‚ã‚Š[5]ã€æœ‰é™ã®ç«‹å ´ï¼ˆè‹±èªžç‰ˆï¼‰ï¼ˆå½¢å¼ä¸»ç¾©ï¼‰ã§ã¯è‡ªç„¶æ•°è«–ã®ç„¡çŸ›ç›¾æ€§ã®è¨¼æ˜ŽãŒæˆç«‹ã—ãªã„ã“ã¨ã‚’示ã™[3][5]。ãªãŠã€å°‘ã—æ‹¡å¼µã•ã‚ŒãŸæœ‰é™ã®ç«‹å ´ã§ã¯ã€è‡ªç„¶æ•°è«–ã®ç„¡çŸ›ç›¾æ€§ã®è¨¼æ˜ŽãŒæˆç«‹ã™ã‚‹ï¼ˆã‚²ãƒ³ãƒ„ェンã®ç„¡çŸ›ç›¾æ€§è¨¼æ˜Žï¼ˆè‹±èªžç‰ˆï¼‰ï¼‰[3][注 2]。
{{#tags}}- {{label}}
{{/tags}}