site banner

Friday Fun Thread for September 12, 2025

Be advised: this thread is not for serious in-depth discussion of weighty topics (we have a link for that), this thread is not for anything Culture War related. This thread is for Fun. You got jokes? Share 'em. You got silly questions? Ask 'em.

1
Jump in the discussion.

No email address required.

My college course on formal logic used Language, Proof and Logic, which I liked. The physical version came with software that would check your proofs, so you could write things like

  1. A
  2. A->B
  3. Modus Ponens on steps 1 and 2

And it would automatically fill in step 3 with B, which was a nice way of constructing my proofs so they were actually correct.