Before that I saw Johan van Benthem talk about modal logic. He was an awesome speaker. The talk was packed with funny anecdotes and amusing snarky (but still relevant) comments, and the explanation of the technical material was quite clear for the most part. One of my favorite bits — favorite because it's so simple — was an example he used when he was asked to give a talk to a bunch of 7-year-olds about logic. His example was basically this: "Suppose, kids," he says, "that you go to a restaurant with your parents. Suppose one person orders steak, one person orders fish, and one person orders the salad. What happens when the waiter comes back with the food?" Then one of the kids pipes up with, "he asks who got the steak." And van Bentham goes, "Right, and then what?" and some kid says "He asks who got the fish," and then van Bentham asks, "Right, and then what?" and the lightbulbs go on over all the kids' heads and one says "and then he doesn't ask!"
Before that I saw Johan van Benthem talk about modal logic. He was an awesome speaker. The talk was packed with funny anecdotes and amusing snarky (but still relevant) comments, and the explanation of the technical material was quite clear for the most part. One of my favorite bits — favorite because it's so simple — was an example he used when he was asked to give a talk to a bunch of 7-year-olds about logic. His example was basically this: "Suppose, kids," he says, "that you go to a restaurant with your parents. Suppose one person orders steak, one person orders fish, and one person orders the salad. What happens when the waiter comes back with the food?" Then one of the kids pipes up with, "he asks who got the steak." And van Bentham goes, "Right, and then what?" and some kid says "He asks who got the fish," and then van Bentham asks, "Right, and then what?" and the lightbulbs go on over all the kids' heads and one says "and then he doesn't ask!"
-
(no subject)
A paper on describing circuits in an agda DSL: http://www.staff.science.uu.nl/~swier004/publications/2015-types-draft.pdf
-
(no subject)
Going more carefully now through this little tutorial on fpga programming with the iCEstick. It's in spanish, which makes it slightly more…
-
(no subject)
Some further progress cleaning up the https://xkcd.com/1360/ -esque augean stables that is my hard drive. Tomato chicken I made a couple days ago…
- Post a new comment
- 4 comments
- Post a new comment
- 4 comments