All public logs
Jump to navigation
Jump to search
Combined display of all available logs of Apeirology Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 17:21, 6 October 2023 Alemagno12 talk contribs created page User:Alemagno12/Translation maps for SSS (Created page with "Here are some (conjectured) translation maps between SSS and BM2.3. Term(PrSS), Term(PSS), Term(TSS), Term(SSS) are the sets of all PrSS, PSS, TSS and SSS expressions respectively. ES is the empty string/matrix, + is string/matrix concatenation, and > is lexicographic comaparison. == Up to \(\varepsilon_0\) == Define a function Prune : Term(SSS) -> Term(SSS) inductively as follows: - Prune(ES) = ES - Prune((A,0)) = (Prune(A),0) - Prune((A,0,B,1)) = (Prune(A),0,B), whe...") Tag: Visual edit: Switched
- 04:36, 3 September 2023 Alemagno12 talk contribs created page User:Alemagno12/Six Trials of Formal Analysis (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...")
- 04:36, 3 September 2023 Alemagno12 talk contribs created page File:HPrSS claim.png
- 04:36, 3 September 2023 Alemagno12 talk contribs uploaded File:HPrSS claim.png
- 04:16, 3 September 2023 Alemagno12 talk contribs created page File:Unfinished proof 2.png
- 04:16, 3 September 2023 Alemagno12 talk contribs uploaded File:Unfinished proof 2.png
- 04:14, 3 September 2023 Alemagno12 talk contribs created page File:Unfinished proof 1.png
- 04:14, 3 September 2023 Alemagno12 talk contribs uploaded File:Unfinished proof 1.png
- 00:46, 3 September 2023 Alemagno12 talk contribs created page User:Alemagno12 (Created page with "Currently working on: * [User:Alemagno12/Six_Trials_of_Formal_Analysis Six Trials of Formal Analysis] - personal project to get experience with ordinal notation bijection proofs (under development) * [https://googology.neocities.org Googology Server Archive] (under development) * NotPi - an ordinal notation that goes beyond BMS (coming soon)")
- 00:37, 3 September 2023 Alemagno12 talk contribs created page User talk:Augigogigi (Created page with "== Can't add external links to user page == When I tried to add a link to the [https://googology.neocities.org Googology Server Archive] in my user page, I got the following error: "This action has been automatically identified as harmful, and therefore disallowed. If you believe your action was constructive, please inform an administrator of what you were trying to do. A brief description of the abuse rule which your action matched is: External links on userpages" Ca...")
- 13:06, 2 September 2023 User account Alemagno12 talk contribs was created automatically