ãªãœLispãªã®ã‹Hofstadter『メタマジック・ゲーム〠ミンスã‚ー「ゲーデルã¯Lispã‚’æ€ã„ã¤ã„ã¦ãŠãã¹ãã ã£ãŸã€‚ã‚‚ã—å½¼ãŒLispã‚’æ€ã„ã¤ã„ã¦ã„ãŸãªã‚‰ã°å½¼ã®ä¸å®Œå…¨æ€§å®šç†ã®è¨¼æ˜Žã¯ã‚‚ã£ã¨ç°¡å˜ãªã‚‚ã®ã«ãªã£ã¦ã„ãŸã ã‚ã†ã€ ゲーデルã®è¨¼æ˜Žã®ä¸€ç•ªé›£ã—ã„ã¨ã“ã‚ã¯ã€æ•°å¦çš„体系ã«è‡ªåˆ†è‡ªèº«ã‚’語らã›ã‚‹ã¨ã“ã‚ã«ã‚る。天æ‰ã®ã²ã‚‰ã‚ããŒä½•æ®µéšŽã‹å¿…è¦ã«ãªã‚‹ã€‚ã—ã‹ã—ã€Lispã¯ã€å°‘ãªãã¨ã‚‚ゲーデルãŒå¿…è¦ã¨ã—ã¦ã„ãŸæ„味ã§ã€ã¾ã•ã«è‡ªåˆ†è‡ªèº«ã‚’直接語るã“ã¨ãŒã§ãã‚‹ ゲーデルã¯Lispを発明ã—ãŸï¼ ä¸å®Œå…¨æ€§å®šç†ã®Lisp, Mathematicaã«ã‚ˆã‚‹è¨˜è¿° 和田英一「Lispã¸ã®ã“ã ã‚ã‚Šã€(PDF) Eric S. Raymond「ãƒãƒƒã‚«ãƒ¼ã«ãªã‚ã†ã€LISP ã¯ã€ãれをモノã«ã—ãŸã¨ãã®ã™ã°ã‚‰ã—ã„悟り体験ã®ãŸã‚ã«å‹‰å¼·ã—ã¾ã—ょã†ã€‚ã“ã®ä½“験ã¯ã€ãã®å¾Œã®äººç”Ÿã§ã‚ˆã‚Šã‚ˆã„プãƒã‚°ãƒ©ãƒžãƒ¼ã¨ãªã‚‹æ‰‹åŠ©ã‘ã¨ãªã‚‹ã¯ãšã§ã™ã€‚ãŸã¨ãˆã€å®Ÿéš›ã«ã¯ LI
Introduction to Scheme Programming Language
{{#tags}}- {{label}}
{{/tags}}