Abstract
The idea of automation of reasoning in science, which is extremely high-ranking nowadays in connection with the development of computer technology and research into artificial intelligence has been presented in the history of mind since taking up a cohered with the idea of mechanization of reasoning. It is therefore proper to present the greatest enthusiast every of this idea on the threshold of the contemporary science, who treated the idea of mechanization in reasoning very widely, assuming that every mind process can be expressed in some physical manner – Gottfried Wilhelm Leibniz.