[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

(OT: Games to teach logic)

>One of the doyens of theorem proving (John Rushby?) has a notion that
>one way to get kids hooked on formalism is to present it as a game in
>high school.  [...]
>I'm sure there are some school-level games that apply this principle.

I remember this one:


Well, at least I remembered the name...

  -- D.