Gregory Chaitin 在他的《The Limits of Mathematics》一书中探讨了程序的优雅性，非常值得一读。我差不多十年前在这儿写过一篇书评：https://p4bl0.net/shebang/the-limits-of-mathematics.html
Gregory Chaitin discusses elegance of programs in his book The limits of mathematics, which is a very good read. I wrote a review almost ten years ago here: https://p4bl0.net/shebang/the-limits-of-mathematics.html
Chaitin 总是让我叹服。我读他的第一部作品就是《The Limits of Mathematics》[1]，自那以后我必须得说我成了他作品的狂热粉。[1] http://news.ycombinator.com/item?id=1725936
Chaitin continuously impress me. The first thing I read from him was The Limits of Mathematics[1] and since then I must say that I'm a huge fan of his work. [1] http://news.ycombinator.com/item?id=1725936
它算不上一篇严格意义上的论文，但我真的很喜欢 Chaitin 的《The Limits of Mathematics》。我几年前写过一篇相关的博文（https://shebang.ws/the-limits-of-mathematics.html），之前已经发到 HN 上了（https://news.ycombinator.com/item?id=1725936）。
It's not exactly a paper but I really liked "The Limits of Mathematics" by Chaitin. I wrote a blogpost about it a few years back (https://shebang.ws/the-limits-of-mathematics.html), I already submitted it to HN (https://news.ycombinator.com/item?id=1725936).
《The Limits of Mathematics: A Course on Information Theory and Limits of Formal Reasoning》——Chaitin, Gregory https://ia801804.us.archive.org/35/items/A-Z_Library_G-K_Jos... (PDF)
The Limits of Mathematics: A Course on Information Theory and Limits of Formal Reasoning - Chaitin, Gregory https://ia801804.us.archive.org/35/items/A-Z_Library_G-K_Jos... (PDF)
…All kinds of symbolic and numeric mathematics have been used. But Lisp has been also a topic of study and research - as it is also an application of symbolic mathematics. See for example Chaitin, The Limits of Mathematics. https://www.cs.auckland.ac.nz/~chaitin/lm.html or the research on Scheme: http://library.readscheme.org .
Gregory Chaitin 在他的《The Limits of Mathematics》一书中探讨了程序的优雅性，非常值得一读。我差不多十年前在这儿写过一篇书评：https://p4bl0.net/shebang/the-limits-of-mathematics.html
Gregory Chaitin discusses elegance of programs in his book The limits of mathematics, which is a very good read. I wrote a review almost ten years ago here: https://p4bl0.net/shebang/the-limits-of-mathematics.html
Chaitin 总是让我叹服。我读他的第一部作品就是《The Limits of Mathematics》[1]，自那以后我必须得说我成了他作品的狂热粉。[1] http://news.ycombinator.com/item?id=1725936
Chaitin continuously impress me. The first thing I read from him was The Limits of Mathematics[1] and since then I must say that I'm a huge fan of his work. [1] http://news.ycombinator.com/item?id=1725936
它算不上一篇严格意义上的论文，但我真的很喜欢 Chaitin 的《The Limits of Mathematics》。我几年前写过一篇相关的博文（https://shebang.ws/the-limits-of-mathematics.html），之前已经发到 HN 上了（https://news.ycombinator.com/item?id=1725936）。
It's not exactly a paper but I really liked "The Limits of Mathematics" by Chaitin. I wrote a blogpost about it a few years back (https://shebang.ws/the-limits-of-mathematics.html), I already submitted it to HN (https://news.ycombinator.com/item?id=1725936).
《The Limits of Mathematics: A Course on Information Theory and Limits of Formal Reasoning》——Chaitin, Gregory https://ia801804.us.archive.org/35/items/A-Z_Library_G-K_Jos... (PDF)
The Limits of Mathematics: A Course on Information Theory and Limits of Formal Reasoning - Chaitin, Gregory https://ia801804.us.archive.org/35/items/A-Z_Library_G-K_Jos... (PDF)
……各种符号数学和数值数学都曾被派上用场。但 Lisp 本身也是研究探讨的一个课题——因为它同样是符号数学的一种应用。例如参见 Chaitin 的《The Limits of Mathematics》https://www.cs.auckland.ac.nz/~chaitin/lm.html，或是对 Scheme 的研究：http://library.readscheme.org 。
…All kinds of symbolic and numeric mathematics have been used. But Lisp has been also a topic of study and research - as it is also an application of symbolic mathematics. See for example Chaitin, The Limits of Mathematics. https://www.cs.auckland.ac.nz/~chaitin/lm.html or the research on Scheme: http://library.readscheme.org .