Neil posted this to Facebook today:
took 5-year old Ben to my intro logic class today since his school was closed (wimps). We were doing a proof and needed to derive a contradiction, and two were easily available, (F and not F) and (G and not G). I asked the class which one they preferred. Ben said "F and not G." I told him that was not a contradiction. "It is in Canada," he said.
In other news, Ben performed in his second piano recital this evening! In full costume! He did beautifully. Video to follow, as soon as I figure out how to edit video.
1 day ago