Proposal: Atoms FTW (bis)
Can’t be enacted at 0-7. — Quirck
Adminned at 11 Jun 2013 23:38:27 UTC
Add a dynastic rule called “Atom, prove thyself” and give it the following text
Every Atom by itself is a well-formed formula. Once the first proof of a well-formed formula consisting solely of an Atom is established, then that Atom shall win.
Our deduction rules will probably be such that this includes win by contradiction. The first one to prove a contradiction just goes on to prove his own Atom for the win.
kikar:
I’m not sure I fully understand. What prevents someone from using Atom -> Atom and winning?