So you wanna be the very best? Like no one ever was?
I'm talking about catching wild logic rules, of course!
So today on |LOGICMON Recitation we're going to do a bunch of different stuff.
First, I thought that maybe we could do some more examples of
constructing proof trees
for various statements in the simple Natural
Deduction system you've all been using for the homework.
Then, I thought we could maybe talk a little bit about the
new wacky set of deduction rules that Professor Gallier
introduced right toward the very end of last class. Hopefully
I can assuage your fears and convince you now is not yet the right time to give up on math and
become a lonely goatherd in a quiet town outside of Zurich in the foothills of the Alps.
And then, if we have time, maybe I'll tell you the story of the Constructivists, and
how they stole christmas changed mathematics.