diff options
author | Runxi Yu <harriet@andrewyu.org> | 2023-08-21 19:17:22 +0100 |
---|---|---|
committer | Runxi Yu <harriet@andrewyu.org> | 2023-08-21 19:17:22 +0100 |
commit | 535d758fa488efae44e1c749c480614544f22f55 (patch) | |
tree | 722ef29ad117c4d8a32138ab0899e7be9b409347 | |
parent | a61515dcaf267b38eb808124c41a119671eb2bad (diff) | |
download | www-535d758fa488efae44e1c749c480614544f22f55.tar.gz |
fix <sup>th</sup> to th
-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 |