元问题
八点多起来校稿子，如厕的空儿读了点儿Goldstein的Incompleteness, 从开头儿读到“元问题”的问题：
一个问题，要么是“问题”，要么是“元问题”。然而，
Gödel’s theorems are spectacular exceptions to this general rule. They are at once mathematical and metamathematical. They have all the rigor of something that is a priori proved, and yet they establish a metaconclusion. It is as if someone has painted a picture that manages to answer the basic questions of aesthetics; a landscape or portrait that represents the general nature of beauty and perhaps even explains why it moves us the way it does. It is extraordinary that a mathematical result should have anything at all to say about the nature of mathematical truth in general.
——一个数学结果居然能涉及一般数学真理的本质，真是了不起！
一个问题，要么是“问题”，要么是“元问题”。然而，
Gödel’s theorems are spectacular exceptions to this general rule. They are at once mathematical and metamathematical. They have all the rigor of something that is a priori proved, and yet they establish a metaconclusion. It is as if someone has painted a picture that manages to answer the basic questions of aesthetics; a landscape or portrait that represents the general nature of beauty and perhaps even explains why it moves us the way it does. It is extraordinary that a mathematical result should have anything at all to say about the nature of mathematical truth in general.
——一个数学结果居然能涉及一般数学真理的本质，真是了不起！
还没人赞这篇日记
