Conversation

Dave Ripley
@davewripley
This was behind an "offensive content" warning for me, which is good, because Fitch proofs are deeply offensive
Quote Tweet
Proof Bot
@mathsproofbot
·
Replying to @mathslogicbot
Proof: │ 1. ¬¬¬¬¬¬a ⇿ ¬¬¬a [as] ├─── ││ 2. ¬¬¬a [as] │├─── ││ 3. ¬¬¬¬¬¬a [⇿E:1,2] ││ 4. ¬¬¬¬a [¬E:3] ││ 5. ⊥ [⊥I:2,4] │ 6. ¬¬¬¬a [¬I:2-5] ││ 7. ¬¬¬¬¬¬a [as] │├───
2
10
Dave Ripley
@davewripley
Replying to
@brendanzab
I think probably from God's pov they're fine, I guess, grudgingly; I just find the good old tree structure of Gentzen-Prawitz more intuitive.
@standefer
's been doing great work recently helping us all see the connections, tho!
1
3
Show replies