Yabuki Taro’s Home Pageãªãœ Lisp ãªã®ã‹ Quote...Unquote ダグラス・R. ホフスタッター著, 竹内éƒé›„ã»ã‹è¨³ã€Žãƒ¡ã‚¿ãƒžã‚¸ãƒƒã‚¯ãƒ»ã‚²ãƒ¼ãƒ 〠ミンスã‚ー「ゲーデル㯠Lisp ã‚’æ€ã„ã¤ã„ã¦ãŠãã¹ãã ã£ãŸã€‚ã‚‚ã—彼㌠Lisp ã‚’æ€ã„ã¤ã„ã¦ã„ãŸãªã‚‰ã°å½¼ã®ä¸å®Œå…¨æ€§å®šç†ã®è¨¼æ˜Žã¯ã‚‚ã£ã¨ç°¡å˜ãªã‚‚ã®ã«ãªã£ã¦ã„ãŸã ã‚ã†ã€ ゲーデルã®è¨¼æ˜Žã®ä¸€ç•ªé›£ã—ã„ã¨ã“ã‚ã¯ã€æ•°å¦çš„体系ã«è‡ªåˆ†è‡ªèº«ã‚’語らã›ã‚‹ã¨ã“ã‚ã«ã‚る。天æ‰ã®ã²ã‚‰ã‚ããŒä½•æ®µéšŽã‹å¿…è¦ã«ãªã‚‹ã€‚ã—ã‹ã—ã€Lisp ã¯ã€å°‘ãªãã¨ã‚‚ゲーデルãŒå¿…è¦ã¨ã—ã¦ã„ãŸæ„味ã§ã€ã¾ã•ã«è‡ªåˆ†è‡ªèº«ã‚’直接語るã“ã¨ãŒã§ãる。 ゲーデル㯠Lisp を発明ã—ãŸï¼ ダイクストラ「謙虚ãªã‚‹ãƒ—ãƒã‚°ãƒ©ãƒžã€ LISPã¯å†—談ã¾ã˜ã‚Šã«ã€Œã‚³ãƒ³ãƒ”ュータを誤用ã™ã‚‹ãŸã‚ã®ã€ã‚‚ã£ã¨ã‚‚知的ãªæ–¹æ³•ã€ã¨è¨€ã‚れるã“ã¨ãŒã‚ã‚Šã¾ã™ãŒã€ç§ã¯ã“ã‚Œã¯ã™ã°ã‚‰ã—ã„褒ã‚言葉ã ã¨æ€ã„ã¾ã™ã€‚ãªãœãªã‚‰ã“ã‚Œã¯ã‚らゆる種類ã®è‡ªç”±ã‚’å¯èƒ½ã«ã—ã¦ã„ã‚‹ã‹ã‚‰ã§ã™ã€‚LISP
{{#tags}}- {{label}}
{{/tags}}