OurBigBook
About
$
Donate
Sign in
Sign up
by
Ciro Santilli
(@cirosantilli,
32
)
Formal proof is useless
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:
Four color theorem
BB(5)
classification of finite simple groups
Ancestors
Formal proof
Formalization of mathematics
Area of mathematics
Mathematics
Index
Synonyms
cirosantilli/formal-proff-is-useless
Discussion (0)
Subscribe (1)
Sign up
or
sign in
create discussions.
There are no discussions about this article yet.
View article source