Nearly a year ago, I made @mathslogicbot, a Twitter bot which is tweeting all logical tautologies in propositional calculus that are less than 140 characters long. This blog post explains what this means.
Continue reading
![post](https://i0.wp.com/chalkdustmagazine.com/wp-content/uploads/2015/11/logic-banner.png?resize=670%2C300&ssl=1)
Nearly a year ago, I made @mathslogicbot, a Twitter bot which is tweeting all logical tautologies in propositional calculus that are less than 140 characters long. This blog post explains what this means.
Continue reading