Hey guys, just wanted to let you know about a cool thing made by professor Terence Tao himself!
As you can see from the screenschot, QED [http://www.math.ucla.edu/~tao/QED/QED.html] is described as an interactive textbook [published on 28th of July so it is in its early phase/new exercises were added as I completed few of those/etc.] and it is great.
You know your girl Nic loves logic, so propositional calculus in a form of a game is a real treat. Now there’s information on how many steps the shortest known proof got, so the competition is on!
But seriously, the idea of learning through play seems quite obvious, but why use it only with younger kids? I’m 21 and I’m having time of my life [at 3:30 AM] while trying to “beat the level” with as few “moves” as I can. Not to mention that this is a great tool for working on “basic higher ed math skills” which consists of writing proofs, using simple concept to create more advanced structures, etc.
More info on professor Tao’s website - https://terrytao.wordpress.com/2018/07/28/gamifying-propositional-logic-qed-an-interactive-textbook/
