From a55a887414ac02b96623288cc3bea34ceb64d113 Mon Sep 17 00:00:00 2001 From: Hui Lan Date: Sat, 24 Jul 2021 19:00:36 +0800 Subject: =?UTF-8?q?parnas-a-rational-design-process.rst:=20=E8=9E=8D?= =?UTF-8?q?=E5=85=A5=E6=AC=A7=E9=98=B3=E8=8A=B3=E7=9A=84=E7=BF=BB=E8=AF=91?= =?UTF-8?q?=20(PDF=20page=2018).=20Revision=202.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- parnas-a-rational-design-process.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. 现在， 我们如何假装理想的过程？ `````````````````````````````````````````````````````````````````````````````` 上文描述了我们希望遵循的理想过程，以及在这过程中会产生的文档。 我们通过产生（如果我们用理想的方式做事会产生的）文档来假装这个过程。 我们试图用之前描述过的顺序去产生文档。 如果我们无法得到某部分信息，我们在文档相应位置注明，然后着手设计（犹如期望这部分信息将会改变）。 -如果我们发现错误，就会更改错误，并更改后续文件的错误。 我们将文档作为设计的媒介，并且，在将设计决定纳入文档获得所有层面的批准之前，我们不认为已经做出了任何设计决定。不管中途我们如何磕磕绊绊，最终的文档都会更容易理解并且准确。 +如果我们发现错误，就会更改错误，并更改后续文件的错误。 我们将文档作为设计的媒介，并且，在将设计决定加入文档获得所有层面的批准之前，我们不认为已经做出了任何设计决定。不管中途我们如何磕磕绊绊，最终的文档都会更容易理解并且准确。 我们不展示事情的实际发生过程，我们展示我们希望事情发生的过程，以及事情本身。 即使是数学，许多人认为最理性的学科，也遵循上述过程。数学家们勤勉地润色他们的证明，通常展示一个与他们最初发现的证明很不一样的证明。第一个证明通常是痛苦的发现过程的结果。当数学家们致力于证明时，理解加深，证明简化。最终，某一位数学家找到了一个更简单的证明，使定理的真理性更明显。更简单的证明出版了，因为读者对定理的真理性感兴趣，而非发现的过程。 -- cgit v1.2.1