Mathematician's world.- Language, logic and computations.- Set theory.- Proofs of impossibility.- The complexity of computations.-...