Tag Archives: logic

In this post, we will see the book Cybernetics Within Us by Yelena Saparina. About the book Can a rat tell the difference between a Raphael Madonna and a Picasso Girl in Blue? Would a Martian (if there is such … Continue reading →

In this post we will see Mathematical Logic by Yu. L. Ershov, E. A. Palyutin. This book presents in a systematic way a number of topics in modern mathematical logic and the theory of algorithms. It can be used as … Continue reading →

After the last two posts by V. A. Uspenskii (check out his site here) which dealt with Post’s Machine, and Pascal’s Triangle, we now come to another book by him in the Little Mathematics Library series titled Gödel’s Incompleteness Theorem. … Continue reading →