by Ciro Santilli (@cirosantilli, 32)
The only cases where formal proof of theorems seem to have had actual mathematical value is for theorems that require checking a very large number of case, so much so that no human can be fully certain that no mistakes were made. Some examples:

Ancestors

  1. Formal proof
  2. Formalization of mathematics
  3. Area of mathematics
  4. Mathematics
  5. Index

Discussion (0)

Sign up or sign in create discussions.

There are no discussions about this article yet.

View article source