Mathematical Reasoning

Abstract

When doing mathematics, people prove assertions. This is accomplished with the implicit or explicit help of some rules of reasoning admitted, for quite a long time, to be the correct rules of reasoning. Our goal, in this chapter, is to make absolutely precise what such rules are, so that, in principle, if not in practice, the activity of proving could be made checkable by a robot.