summaryrefslogtreecommitdiff
path: root/parnas-a-rational-design-process.rst
diff options
context:
space:
mode:
authorHui Lan <lanhui@zjnu.edu.cn>2021-07-24 19:00:36 +0800
committerHui Lan <lanhui@zjnu.edu.cn>2021-07-24 19:00:36 +0800
commita55a887414ac02b96623288cc3bea34ceb64d113 (patch)
treece8d30c1a71ce743440a6132f9c08acc26515c70 /parnas-a-rational-design-process.rst
parentc7cb7cb26a7ad5b355dde1c848a2a6e7726a1834 (diff)
parnas-a-rational-design-process.rst: 融入欧阳芳的翻译 (PDF page 18). Revision 2.
Diffstat (limited to 'parnas-a-rational-design-process.rst')
-rw-r--r--parnas-a-rational-design-process.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/parnas-a-rational-design-process.rst b/parnas-a-rational-design-process.rst
index 3ec4e59..0d54576 100644
--- a/parnas-a-rational-design-process.rst
+++ b/parnas-a-rational-design-process.rst
@@ -586,7 +586,7 @@ VII. 现在, 我们如何假装理想的过程?
``````````````````````````````````````````````````````````````````````````````
上文描述了我们希望遵循的理想过程,以及在这过程中会产生的文档。 我们通过产生(如果我们用理想的方式做事会产生的)文档来假装这个过程。 我们试图用之前描述过的顺序去产生文档。 如果我们无法得到某部分信息,我们在文档相应位置注明,然后着手设计(犹如期望这部分信息将会改变)。
-如果我们发现错误,就会更改错误,并更改后续文件的错误。 我们将文档作为设计的媒介,并且,在将设计决定纳入文档获得所有层面的批准之前,我们不认为已经做出了任何设计决定。不管中途我们如何磕磕绊绊,最终的文档都会更容易理解并且准确。
+如果我们发现错误,就会更改错误,并更改后续文件的错误。 我们将文档作为设计的媒介,并且,在将设计决定加入文档获得所有层面的批准之前,我们不认为已经做出了任何设计决定。不管中途我们如何磕磕绊绊,最终的文档都会更容易理解并且准确。
我们不展示事情的实际发生过程,我们展示我们希望事情发生的过程,以及事情本身。
即使是数学,许多人认为最理性的学科,也遵循上述过程。数学家们勤勉地润色他们的证明,通常展示一个与他们最初发现的证明很不一样的证明。第一个证明通常是痛苦的发现过程的结果。当数学家们致力于证明时,理解加深,证明简化。最终,某一位数学家找到了一个更简单的证明,使定理的真理性更明显。更简单的证明出版了,因为读者对定理的真理性感兴趣,而非发现的过程。