User:Alemagno12/Six Trials of Formal Analysis: Difference between revisions

← Older edit

User:Alemagno12/Six Trials of Formal Analysis (edit)

Revision as of 04:44, 3 September 2023

5 bytes removed , 10 months ago

m

sorry for the edit spam, I haven't edited a wiki page in ages and I keep making mistakes x_x

VisualWikitext

Alemagno12

Confirmed users, Administrators

16

edits

Revision as of 04:36, 3 September 2023 (edit) Alemagno12 (talk \| contribs) (Created page with "I've been a googologist/apeirologist for 9 years now, and have made many analyses ever since. However, all of my analyses have been heuristic guesses and analysis tables; I've since learned how to do formal proofs and I've tried to make formal analyses a few times now, but I've always lost motivation pretty quickly, leaving only a draft or an unfinished proof somewhere in the Googology Discord (see e.g \|this or File:Unfinished proof 2.jp...")		Latest revision as of 04:44, 3 September 2023 (edit) (undo) Alemagno12 (talk \| contribs) m (sorry for the edit spam, I haven't edited a wiki page in ages and I keep making mistakes x_x)
(3 intermediate revisions by the same user not shown)
Line 1: I've been a googologist/apeirologist for 9 years now, and have made many analyses ever since. However, all of my analyses have been heuristic guesses and analysis tables; I've since learned how to do formal proofs and I've tried to make formal analyses a few times now, but I've always lost motivation pretty quickly, leaving only a draft or an unfinished proof somewhere in the Googology Discord (see e.g [[:File:Unfinished proof 1.~~jpg\|~~png\|this]] or [[:File:Unfinished proof 2.~~jpg\|~~png\|this]]). ~~So I'm proposing myself six analysis challenges to become more familiar with formal analyses, which will hopefully motivate me to do more of them in the future:~~ So I'm proposing myself six analysis challenges to become more familiar with formal analyses, which will hopefully motivate me to do more of them in the future: 1. HPrSS v1 by Yukito vs HPrSS v3 by Yukito (expected correspondence: lim(HPrSSv1) = HPrSSv3(0,3,5,2,5,7,4,7,9,5), from a [[File:HPrSS claim.jpg\|\|2018 heuristic analysis]])▼ 2. HPrSS v2 by Yukito vs HPrSS v3 by Yukito (expected correspondence: lim(HPrSSv2) = HPrSSv3(0,3,5,8,10,4), from a [[File:HPrSS claim.jpg\|\|2018 heuristic analysis]])▼ ▲1.# HPrSS v1 by Yukito vs HPrSS v3 by Yukito (expected correspondence: lim(HPrSSv1) = HPrSSv3(0,3,5,2,5,7,4,7,9,5), from a [[:File:HPrSS claim.~~jpg\|~~png\|2018 heuristic analysis]]) 3. [TBA] vs [TBA]▼ ▲2.# HPrSS v2 by Yukito vs HPrSS v3 by Yukito (expected correspondence: lim(HPrSSv2) = HPrSSv3(0,3,5,8,10,4), from a [[:File:HPrSS claim.~~jpg\|~~png\|2018 heuristic analysis]]) 4. [TBA] vs [TBA]▼ ▲3.# [TBA] vs [TBA] 5. Dropping Hydra (x = 1) by Hyp cos vs BM2.3 by Bashicu and koteitan (expected correspondence: lim(Dropping Hydra) = BM2.3(0,0,0)(1,1,1)(2,2,0))▼ ▲4.# [TBA] vs [TBA] 6. Dropping Hydra (full) by Hyp cos vs BM2.3 by Bashicu and koteitan (expected correspondence: lim(Dropping Hydra(x+1)) = BM2.3(0,0,0)(1,1,1)(2,2,1)<sup>x</sup>(2,2,0))▼ ▲5.# Dropping Hydra (x = 1) by Hyp cos vs BM2.3 by Bashicu and koteitan (expected correspondence: lim(Dropping Hydra) = BM2.3(0,0,0)(1,1,1)(2,2,0)) ▲6.# Dropping Hydra (full) by Hyp cos vs BM2.3 by Bashicu and koteitan (expected correspondence: lim(Dropping Hydra(x+1)) = BM2.3(0,0,0)(1,1,1)(2,2,1)<sup>x</sup>(2,2,0))