User contributions for Wpcavendish

14 May 2022

• 15:4115:41, 14 May 2022 diff hist −4‎ m Equivalence of Well-Ordering Principle and Induction/Proof/PCI implies WOP ‎No edit summary

3 April 2022

• 22:3622:36, 3 April 2022 diff hist +146‎ Talk:1105 as Sum of Two Squares ‎No edit summary
• 22:2722:27, 3 April 2022 diff hist +1‎ m Talk:1105 as Sum of Two Squares ‎No edit summary
• 22:2622:26, 3 April 2022 diff hist +93‎ Talk:1105 as Sum of Two Squares ‎No edit summary
• 22:2622:26, 3 April 2022 diff hist +614‎ Talk:1105 as Sum of Two Squares ‎No edit summary
• 22:2522:25, 3 April 2022 diff hist +19‎ 1105 as Sum of Two Squares ‎ Replaced exhaustive proof with code

1 April 2022

• 19:0719:07, 1 April 2022 diff hist +671‎ N Talk:1105 as Sum of Two Squares ‎ Created page with "The proof I've submitted here seems to rub up against the limits of human-readability. While it's in possible for someone to read through the table and subsequent list to validate the theorem, they'd probably have an easier time simply redoing the calculation themselves by computer. Does ProofWiki have another way of handling computation intensive results like this? The common mathematical practice of simply saying "it follows by direct computation," would be one extreme..."
• 19:0319:03, 1 April 2022 diff hist +72,528‎ 1105 as Sum of Two Squares ‎ Provided an exhaustive computation proving the result

31 March 2022

• 17:4917:49, 31 March 2022 diff hist +288‎ N Talk:Open Subset of Locally Path-Connected Space is Locally Path-Connected ‎ Created page with "This proof is structurally identical to the proof that an open subset of a locally connected space is locally connected. Should this pair of results be refactored to highlight this commonality? --~~~~"
• 17:4617:46, 31 March 2022 diff hist +4,685‎ Open Subset of Locally Path-Connected Space is Locally Path-Connected ‎ Submitted an analogous proof to that for "Open Subset of Locally Connected Space is Locally Connected"

29 March 2022

• 23:3223:32, 29 March 2022 diff hist +5,332‎ Open Subset of Locally Connected Space is Locally Connected ‎ Provided a proof of the theorem Tag: Visual edit: Switched

27 March 2022

• 17:5017:50, 27 March 2022 diff hist 0‎ m Open Subset of Locally Connected Space is Locally Connected ‎ Changed a dash in the definition of the topology T to an equals sign