Same as last few weeks, I have spent most of the weekend reading. Unlike the weekends before, this time I was actually reading a book, not source code. It was nice change ...
I have picked this small book with title Computers Ltd in Ottawa Public Library last Friday, while returning some books on CD. Written by David Harel of Weizmann Institute of Science, Rehovot, the book is trying to explain what computers cannot do. It speaks about complexity, P / NP problem and other fundamental limitations of what we can and cannot do with our favorite toys. This book is nice proof that even on such complex and abstract problems it is possible to find very nice and readable presentation - without sacrificing the precision. It reads as novel and thanks to very short format, it is an excellent complement to quiet Sunday afternoon. Recommended.
And speaking of mathematics, here is a way how to tell extroverted mathematician from introverted mathematician (for all you folks interested in M-B classification and similar:
The difference between an introvert and extrovert mathematicians is:
An introvert mathematician looks at his shoes while talking to you. An extrovert mathematician looks at your shoes.