[æ•°å¦]『二å世紀数å¦æ€æƒ³ã€ã®æ„Ÿæƒ³ : 一æ©ã«ç¬‘ã„一æ©ã«æ³£ãã“ã†ã„ã†æœ¬ã‚’出ã™ã‚ãŸã‚Šã«ã€ã¿ã™ãšæ›¸æˆ¿ã®å¿ƒæ„æ°—ã‚’æ„Ÿã˜ã‚‹ã€‚ 本書ã¯ã€ï¼’ï¼ä¸–ç´€åˆé ã®æ•°å¦åŸºç¤Žè«–論争ã€ãƒ¯ã‚¤ãƒ«ã®ä¼è¨˜ã€ãã—ã¦ãƒ•ã‚©ãƒ³ï¼ãƒŽã‚¤ãƒžãƒ³ã®ä¼è¨˜ã®ä¸‰éƒ¨æ§‹æˆã«ãªã£ã¦ã„る。 æ•°å¦åŸºç¤Žè«–ã«ãŠã„ã¦ã¯ã€ãƒ’ルベルトã€ãƒ–ラウアーã€ãƒ©ãƒƒã‚»ãƒ«ã®ã‚ˆã†ãªæ•°å¦è€…・論ç†å¦è€…ã ã‘ã§ãªãã€ç¾è±¡å¦ã®ãƒ•ãƒƒã‚µãƒ¼ãƒ«ã€è«–ç†å“²å¦è«–考ã®ã‚¦ã‚£ãƒƒãƒˆã‚²ãƒ³ã‚·ãƒ¥ã‚¿ã‚¤ãƒ³ã®ã‚ˆã†ãªå“²å¦è€…も興味をもã£ã¦ã„ãŸã“ã¨ã«é©šã。アリストテレスã®ã‚ˆã†ãªå¦å•ã™ã¹ã¦ã‚’扱ã£ã¦ã„ãŸæ™‚代を除ã‘ã°ã€ã“ã®æ™‚期ã»ã©æ•°å¦ã¨å“²å¦ã¨ãŒæŽ¥è¿‘ã—ãŸæ™‚期ã¯ãªã„ã ã‚ã†ã€‚ ラッセルã€ã‚«ãƒ«ãƒŠãƒƒãƒ—ã€ã‚¯ãƒ¯ã‚¤ãƒ³ã¨è«–ç†å“²å¦ã®ç³»èœãŒç¶šã。ã—ã‹ã—ã€ãƒ›ãƒ¼ãƒªã‚ºãƒ ã‚’å”±ãˆãŸã‚¯ãƒ¯ã‚¤ãƒ³ãŒã€å½¢å¼ä¸»ç¾©ã€ç›´è¦³ä¸»ç¾©ã€è«–ç†ä¸»ç¾©ã‚’ãã‚Œãžã‚Œå”¯åè«–ã€å”¯å¿ƒè«–ã€å®Ÿåœ¨è«–ã¨ä¸ä¸–ã®ç¥žå¦è«–争ã«ä¾‹ãˆã€ãã®ä¸æ¯›ã•ã‚’批判ã—ã¦ã„ãŸè©±ãŒã•ã‚Œã¦ã„ã¦ã¨ã¦ã‚‚興味深ã„。 çµå±€ã®ã¨ã“ã‚ã€ä¸Šã®ä¸‰ä¸»ç¾©ã®ã©ã‚ŒãŒã€Œæ£ã—ã„ã€ã¨ã„ã†ã“ã¨ã¯ãªã„。ãŸã ã€æœ¬è³ªçš„ã«ç„¡é™ã‚’扱ã†è§£æžå¦ã‚’ã†ã¾ã構築ã§
![[æ•°å¦]『二å世紀数å¦æ€æƒ³ã€ã®æ„Ÿæƒ³ : 一æ©ã«ç¬‘ã„一æ©ã«æ³£ã](https://cdn-ak-scissors.b.st-hatena.com/image/square/6b483e3da89a7b4acd5fd3459ac55b7aa11c636e/height=288;version=1;width=512/https%3A%2F%2Flivedoor.blogimg.jp%2Fw1allen%2Fimgs%2F4%2Ff%2F4ff5042d.png)
http://hblo.blog.shinobi.jp/Entry/796/
3SATå•é¡Œã‚’å¤šé …å¼æ™‚é–“ã§è§£ãアルゴリズムãŒç™ºè¡¨ã•ã‚Œã‚‹ã€‚P=NP証明ã«ï¼Ÿ | スラド サイエンス
http://messages.yahoo.co.jp/bbs?.mm=GN&action=m&board=1000004&tid=0bit8xkbc&sid=1000004&mid=61
第４節　ã†ãã¤ãパラドックスã®è‡ªå·±è¨€åŠæ€§
自己言åŠã®ãƒ‘ラドックス - Wikipedia
オンラインã§å…¥æ‰‹ã§ãã‚‹æ•°ç†è«–ç†å¦ãƒ»æ•°å¦åŸºç¤Žè«–ã®ãƒ†ã‚スト
software.nagoya
2010å¹´08月20æ—¥ã®ãƒ„イート - kururu_goedel’s diary
書評（数ç†è«–ç†å¦ï¼‰
書評（数ç†è«–ç†å¦ï¼‰
kururu_goedel’s diary
書評（数ç†è«–ç†å¦ï¼‰
ゲーデルã®å®šç† - OKWAVE
ä¸å®Œå…¨æ€§å®šç†ã®æœ€çŸç†è§£ - å°äººã•ã‚“ã®å¦„想
ã‚ãªãŸã«ã‚‚（ãŸã¶ã‚“）ã‚ã‹ã‚‹ 「ゲーデルã®ä¸å®Œå…¨æ€§å®šç†ã€ -- 発端＜ã»ã£ãŸã‚“＞編 --
ä¸å®Œå…¨æ€§å®šç† - 哲å¦çš„ãªä½•ã‹ã€ã‚ã¨ç§‘å¦ã¨ã‹
(ç§ã¯)集åˆè«–ã§ä½•ã‚’ã—ãŸã„ã®ã‹ - kururu_goedel’s diary
ゲーデルã®ä¸å®Œå…¨æ€§å®šç†ã«ç¾ã‚Œã‚‹æ±ºå®šä¸èƒ½å‘½é¡Œã®æ•°å¦çš„具体例を教ãˆã¦ãã ã•ã„ - OKWAVE
書ç±ã€Žæ•°å¦ã‚¬ãƒ¼ãƒ«ï¼ã‚²ãƒ¼ãƒ‡ãƒ«ã®ä¸å®Œå…¨æ€§å®šç†ã€èªè€…ã®å£°
{{#tags}}- {{label}}
{{/tags}}