diff options
| -rw-r--r-- | article/math-science-and-philosophy.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/article/math-science-and-philosophy.html b/article/math-science-and-philosophy.html index b751695..4cce31a 100644 --- a/article/math-science-and-philosophy.html +++ b/article/math-science-and-philosophy.html @@ -135,7 +135,7 @@ experiments: a limited number of attempts cannot derive a general-case theory (take the Borwein integral as an example: a limited number of experiments may easily conclude that it’s always <span class="math inline"><i>π</i></span> while it’s actually less than -<span class="math inline"><i>π</i></span> after the 15<sup>th</sup> +<span class="math inline"><i>π</i></span> after the 15th iteration). So then, we turn to logical proof. But then because mathematical logic is incomplete, we are not guaranteed to be able to prove a given conjecture, which may be otherwise indicated by |