User contributions for Alemagno12
A user with 16 edits. Account created on 2 September 2023.
13 November 2023
- 05:4105:41, 13 November 2023 diff hist +564 User:Alemagno12/Translation maps for SSS No edit summary current
6 October 2023
- 17:2217:22, 6 October 2023 diff hist 0 m User:Alemagno12/Translation maps for SSS Formatting
- 17:2117:21, 6 October 2023 diff hist +988 N 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
3 September 2023
- 04:4404:44, 3 September 2023 diff hist −3 m User:Alemagno12/Six Trials of Formal Analysis sorry for the edit spam, I haven't edited a wiki page in ages and I keep making mistakes x_x current
- 04:4304:43, 3 September 2023 diff hist +4 User:Alemagno12/Six Trials of Formal Analysis No edit summary
- 04:4204:42, 3 September 2023 diff hist 0 User:Alemagno12/Six Trials of Formal Analysis No edit summary
- 04:3704:37, 3 September 2023 diff hist −6 User:Alemagno12/Six Trials of Formal Analysis No edit summary
- 04:3604:36, 3 September 2023 diff hist +1,338 N 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:3604:36, 3 September 2023 diff hist +66 N File:HPrSS claim.png No edit summary current
- 04:1604:16, 3 September 2023 diff hist +53 N File:Unfinished proof 2.png No edit summary current
- 04:1404:14, 3 September 2023 diff hist +52 N File:Unfinished proof 1.png No edit summary current
- 00:4700:47, 3 September 2023 diff hist +2 User:Alemagno12 No edit summary current
- 00:4600:46, 3 September 2023 diff hist +346 N 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:4600:46, 3 September 2023 diff hist +45 User talk:Augigogigi →Can't add external links to user page current
- 00:3800:38, 3 September 2023 diff hist +2 m User talk:Augigogigi Signature issue
- 00:3700:37, 3 September 2023 diff hist +750 N 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..."