Logic Bot (@mathslogicbot) / Twitter - discu.eu

Reddit

This Twitter bot is tweeting all logical tautologies in propositional calculus (which are less than 140 characters) https://twitter.com/mathslogicbot 92 comments 12/11/2014 math

Linking pages

How can we tell that 2≠1? - Chalkdust http://chalkdustmagazine.com/features/how-can-we-tell-that-2%e2%89%a01/ 16 comments

Related searches:

Search whole site: site:twitter.com

Search title: Logic Bot (@mathslogicbot) / Twitter

See how to search.

Submit link to: