Can we write formal (mechanical) proof of any theorem?

85 Views Asked by Bumbble Comm At 28 Mar 2026 - 1:05

why formal proofs are not widely used? sometimes non formal proofs are cumbersome. are there any "important" theorems that have been proved formally

There are 1 best solutions below

Bumbble Comm On 09 Jul 2017 - 2:33

Because are very difficult to write:

To write a correct and complete formal proof one must have a complete command of both maths and logic.

Then a lot of work on all fields of mathematics .

Anyway the only book as far as i know existing which is full of formal proofs is one titled:

FORMAL PROOFS IN MATHS In amazon.com