User talk:CircuitCraft
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) 06:09, 10 January 2023 (UTC)
Turing machines
Great start. I have the 2nd ed of the Hopcroft and Ullman badly water damaged from my first degree. Loved it. Difficult to transcribe to ProofWiki style. Thanks for taking it on. --prime mover (talk) 00:16, 22 January 2023 (UTC)
- Nope, it's the first edition I have, not the 2nd. I will give it a close study. --prime mover (talk) 09:20, 22 January 2023 (UTC)
Categories
Please can you make sure that when you add new proofs (and in fact any new page) that you add the category? Many thanks. --prime mover (talk) 06:31, 24 February 2023 (UTC)
- Sorry about that. I'll try to go back and add them to my previous contributions. --CircuitCraft (talk) 12:43, 24 February 2023 (UTC)
recent work
Thank you for your recent edits. Please keep up the good work, it makes a difference. --prime mover (talk) 18:50, 3 March 2023 (UTC)
trusted user
Hi
I have added your user account to the "Trusted Users" group.
You should now be able to move and delete pages according to your judgment.
Have fun. --prime mover (talk) 17:32, 24 March 2023 (UTC)
- Thank you! I'll try to not mess anything up too badly. I don't know if I would describe myself as a "good worker" though; I usually write on $\mathsf{Pr} \infty \mathsf{fWiki}$ in order to waste time, when I should be doing other things! --CircuitCraft (talk) 19:26, 24 March 2023 (UTC)
induction proofs
Please note the structural changes that I have made to your recent induction proofs.
The headings of a proof page do not contain links back to the definition as we reserve heading links to go to a transcluded page containing the proof.
You may wish to copy existing induction proofs to see the standard structure as implemented on $\mathsf{Pr} \infty \mathsf{fWiki}$.
If you do many of these proofs you are encouraged to set up a template like what I did: User:Prime.mover/Proof Structures/Proof by Mathematical Induction and similar.
Cheers --prime mover (talk) 08:28, 23 September 2023 (UTC)
Linking to specific definitions
Like this:
Not actually a good idea. Unless you are relying on a specific route through, it makes it yay more difficult to maintain. If the definition is named then yes, there is a case for it. If the definitions are just numbered, then use the parent page, which presents all definitions on it. The reader can find the one being used. This setup seems to work.
Thanks for your continued contribution. I repeat, I am extremely happy to have you on board. --prime mover (talk) 18:14, 20 November 2023 (UTC)