User talk:Alexelam

Welcome to ProofWiki! Since you're new, you may want to check out the general help page. It's the best first stop to see how things are done (next to reading proofs, of course!). Please feel free to contribute to whichever area of mathematics interests you, either by adding new proofs, or fixing up existing ones. If you have any questions please feel free to contact one of the administrators, or post your question on the questions page.

Here are some useful pages to help get you started:
 * Community Portal - To see what needs to be done, and keep up to date with the community.
 * Recent Changes - To keep up with what's new, and what's being added.
 * Check out our house style if you are keen on contributing.
 * Main Page talk - This is where most of the main discussions regarding the direction of the site take place. If you have any ideas, please share them!

Cheers! prime mover (talk) 07:54, 5 April 2021 (UTC)

Site Philosophy
I see your suggestion to me on my talk page that we implement a system whereby all pages link back to formally-stated axioms definitions. I replied on that page that this is precisely what we strive for (as rigorously as practical) on every single page of this website. I confess that sometimes we fall short of this; however, a considerable quantity of time is spent on maintenance: correcting these deficiencies wherever they be found.

Yet on the two pages you added to, you yourself did not implement any such links. This is a new experience here -- I don't think anybody before has actually generated completely linkless pages.

I trust you may be able to see how I was amused by the irony. $\circ_{\perp \atop \smile} \circ$ --prime mover (talk) 06:22, 8 April 2021 (UTC)


 * Understandable. I created those two as starting points so that I could build them up over time. I didn't realize I was going to be graded on them so quickly.--Alexelam (talk) 06:27, 8 April 2021 (UTC)


 * That's how we roll. Pages which require maintenance are tagged with the appropriate maintenance tags. For an untroubled experience with setting up pages while getting your feet under the table, so to speak, the concept of developing your work in a sandbox subpaged from your user homepage is recommended. Click the "Recent changes" tag to see an example of how, for example, our contributor Leigh Samphier has set up his development environment. --prime mover (talk) 06:46, 8 April 2021 (UTC)