User:Alemagno12/Six Trials of Formal Analysis: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
Alemagno12 (talk | contribs) No edit summary |
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) |
||
| Line 1: | 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.png |
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.png|this]] or [[:File:Unfinished proof 2.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: |
||
# 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.png |
# 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.png|2018 heuristic analysis]]) |
||
# 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.png |
# 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.png|2018 heuristic analysis]]) |
||
# [TBA] vs [TBA] |
# [TBA] vs [TBA] |
||
# [TBA] vs [TBA] |
# [TBA] vs [TBA] |
||