User talk:Timwi

Welcome
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!


 * --Your friendly ProofWiki WelcomeBot 07:40, 3 December 2012 (UTC)

1+0=1
You've requested a proof that 1+0=1. In what context do you intend this? Do you want a proof from Peano's Axioms? --Dfeuer (talk) 03:14, 12 December 2012 (UTC)


 * I suspect a treatment from the basic axioms of mathematical logic is required, as that's the standard approach at undergraduate level. A certain amount of work has been done towards that end but there is plenty still to do before going down that route, as there are as many different formulations of the axioms as there are of source works documenting them, and unifying all the approaches has proved daunting up till now and has not yet been strategised. --prime mover (talk) 06:19, 12 December 2012 (UTC)


 * A proof from Peano's Axioms would work, yeah :) — Timwi (talk) 12:07, 12 December 2012 (UTC)


 * 1+0=1 from Peano's Axioms is immediate from those axioms, so why would that be a sufficiently worthwhile exercise as to raise it as a wanted proof? --prime mover (talk) 12:11, 12 December 2012 (UTC)


 * Right, then that’s not the axioms I was thinking of. I guess I need to do more research. You can remove the request in the meantime. — Timwi (talk) 12:29, 12 December 2012 (UTC)
 * (Personally I don’t see how it’s immediate from those axioms though...) — Timwi (talk) 12:32, 12 December 2012 (UTC)


 * We already have the whole of natural number arithmetic proved from Peano's axioms (more or less, there may be gaps but not major ones). Feel free to browse. --prime mover (talk) 12:55, 12 December 2012 (UTC)