Tuesday, June 11, 2013

Proposal: Atoms FTW

Vetoed. — Quirck

Adminned at 11 Jun 2013 09:01:18 UTC

The rules shall decree what formulas are well-formed, what axioms are true, and what deduction methods are valid.
A proof consists of a post by which a well-formed formula is deduced using the methods decreed by the rules, from the axioms decreed by the rules or from formulas previously proven.
Every Atom by itself is a well-formed formula. Once the first proof is posted of a well-formed formula consisting solely of an Atom, then that Atom shall win.

This includes win by contradiction, if our deduction rules include ex contradictione quodlibet. Then the first one to prove a contradiction just goes on to prove his own Atom for the win.

posted by Fool at 11 Jun 2013 03:47:16 UTC Comments (11)

Comments

Skju:

11-06-2013 04:17:46 UTC

This doesn’t propose a rule.

kikar:

11-06-2013 04:34:47 UTC

You need to re-propose this. I’m assuming you forgot, per Skju, that you, like all of us have, forgot to put this in the proposal category. Per 3.2, you can’t change the state of the post after it has been commented.

redtara: they/them

11-06-2013 04:35:14 UTC

I sent him a PM and was hoping he’d fix it before it got a comment, but I’ll have to vote against it now against

Skju:

11-06-2013 04:40:41 UTC

veto To be quick. Kikar, it is in the proposal category.

Fool:

11-06-2013 04:41:30 UTC

Okay, I messed up. Thanks for those who tried to warn me privately. Sorry, I thought I did click on proposal category. How do I select proposal category?

RaichuKFM: she/her

11-06-2013 04:41:47 UTC

Same boat as Inpw.  against

kikar:

11-06-2013 05:11:04 UTC

Skju, I misunderstood the problem. I apologize for my misleading statement above.

RaichuKFM: she/her

11-06-2013 05:39:31 UTC

You selected the Proposal category correctly. You just need to word it so it proposes a rule. If you had put “Add a new Rule to the Ruleset entitled Proofs containing the following:” in front you would have been fine.

redtara: they/them

11-06-2013 05:46:14 UTC

And don’t worry, almost everyone makes a mistake like this on their first proposal.

Fool:

11-06-2013 05:52:31 UTC

Thanks. I’ll try to make a mistake completely unlike this on my next proposal.

Larrytheturtle:

11-06-2013 05:54:45 UTC

against Might as well throw in my vote even if it does nothing.