: "This is a book of elementary probability theory that includes a chapter on algorithmic randomness. It rigorously presents definitions and theorems in computation theory, and explains the meanings of the theorems by comparing them with mechanisms of the computer, which is very…
