From 17db632d5685d6309b5cd3e1c8e2a7b8dcea29b5 Mon Sep 17 00:00:00 2001 From: John Tromp Date: Mon, 27 Nov 2023 17:37:32 +0100 Subject: [PATCH] lemma typo --- _posts/2023-11-24-largest-number.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_posts/2023-11-24-largest-number.md b/_posts/2023-11-24-largest-number.md index ba3b35b..9007646 100644 --- a/_posts/2023-11-24-largest-number.md +++ b/_posts/2023-11-24-largest-number.md @@ -152,7 +152,7 @@ usual fn and write f n instead of f(n) as normally done in λ-calculu 1. 2 H 2 [ω i] n = H H2 [ω i] n =(Def. 1) n H2 [ω i] n =(n x Def. 4) [ω i+n] n =(Def. 5) [ω(i+1)] n 2. 3 H 2 [ω2i] n = H (2 H 2) [ω2i] n =(Def. 1) n (2 H 2) [ω2i] n =(n x Lemma 1) [ω2i+ω n] n =(Def. 6) [ω2(i+1)] n -3. 4 H 2 [0] n = H (3 H 2) [0] n =(Def. 1) n (3 H 2) [0] n =(n x Lemma 2) [ω2n] n =(Def 6) [ω3] n +3. 4 H 2 [0] n = H (3 H 2) [0] n =(Def. 1) n (3 H 2) [0] n =(n x Lemma 2) [ω2n] n =(Def 6) [ω3] n Lemma 3 gives wCubed = 2 2 H 2 2 2 = 4 H 2 [0] 2 = [ω3] 2. In comparison, Graham's number is known to be less than the much much smaller [ω+1] 64. As it