From 535d758fa488efae44e1c749c480614544f22f55 Mon Sep 17 00:00:00 2001 From: Runxi Yu Date: Mon, 21 Aug 2023 19:17:22 +0100 Subject: fix th to th --- article/math-science-and-philosophy.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'article') 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 π while it’s actually less than -π after the 15th +π 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 -- cgit 1.4.1-2-gfad0