Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Retired from Cambridge University, interested in logic and philosophy of maths.
I waste time on twitter @PeterSmith (http://twitter.com/PeterSmith/)
For more about me, and links to my blog and website, see http://www.logicmatters.net/about/