システム基礎論åºèª¬æœ€åˆã«è¨€ã£ã¦ãŠããŒã€ã“ã®ãƒˆãƒ”ックã¯å®Ÿç”¨æ€§ã‚’æä¾›ã¨ã™ã‚‹ã“ã¨ã‚’目的ã¨ã¯ã—ã¦ã„ãªã„。 ゲーデルã®ä¸å®Œå…¨æ€§å®šç† æ•°å¦åŸºç¤Žè«–ã®ä¸ã§ã€ã‚²ãƒ¼ãƒ‡ãƒ«ã®ä¸å®Œå…¨æ€§å®šç†ã¯åŽŸç‚¹ã‚ã‚‹ã„ã¯åŽŸç½ªã¨ã‚‚ã„ã†ã¹ãã‚‚ã®ã§ã‚る。 ãŠã‚ˆãæ•°å¦ã¨ã¯ã€ç–‘ã†ä½™åœ°ã®ãªã„推論をç©ã¿é‡ãã¦ã²ã¨ã¤ã®ä¸–界を構築ã™ã‚‹ã‚‚ã®ãªã®ã ãŒã€ ゲーデルã®ä¸å®Œå…¨æ€§å®šç†ã«ã‚ˆã‚Šã€ã„ã‹ãªã‚‹æ•°å¦ä¸–界も完全ã§ã¯ã‚ã‚Šãˆãªã„ã“ã¨ãŒåˆ†ã‹ã£ãŸã€‚ ã“ã®å®šç†ãŒç™ºè¡¨ã•ã‚ŒãŸã®ã¯1931å¹´ã§ã€å¤§ããªè¡æ’ƒã‚’ã‚‚ãŸã‚‰ã—ãŸã‚‚ã®ã§ã‚る。 ゲーデルã®ä¸å®Œå…¨æ€§å®šç†ã¨ã¯ã€ç°¡å˜ã«è¨€ã†ã¨ã€Œã‚‚ã—ã‚ã‚‹æ•°å¦ä½“ç³»ãŒå®Œå…¨ã§ã‚ã£ãŸãªã‚‰ã°ã€ ãã®æ•°å¦ä½“ç³»ã¯è‡ªåˆ†è‡ªèº«ã®å®Œå…¨ã•ã‚’証明ã™ã‚‹ã“ã¨ã¯ã§ããªã„ã€ã¨ã„ã†ã‚ˆã†ã«è¨€ãˆã‚‹ã‹ã‚‚ã—ã‚Œãªã„。 ã•ã¦ã€ã‚³ãƒ³ãƒ”ュータã¨ã¯æ•°å¦ç†è«–を実体化ã—ãŸç‰©ã§ã‚ã‚‹ã¨è€ƒãˆã‚‹ã“ã¨ãŒã§ãる。ã—ãŸãŒã£ã¦ã€ コンピュータ上ã«æ§‹ç¯‰ã•ã‚Œã‚‹ã„ã‹ãªã‚‹ã‚·ã‚¹ãƒ†ãƒ ã«ã‚‚ã€ã‚²ãƒ¼ãƒ‡ãƒ«ã®ä¸å®Œå…¨æ€§å®šç†ãŒé©ç”¨ã•ã‚Œã‚‹ã¨ 考ãˆã‚‹ã“ã¨ãŒã§ãる。平
The 男爵ディーノ［週刊少年ジャンプ感想サイト］
{{#tags}}- {{label}}
{{/tags}}