Why is there not a system for computer checking mathematical proofs yet (2018)? – math.stackexchange.com

Why is there not a system for computer checking mathematical proofs yet (2018)? – math.stackexchange.com

12:27 No Comments
As of 2018, mathematical proofs are still being decided by human consensus. i.e. Give the proof to a few capable humans and if none of them can find any errors than they vote that the proof is correct ...

from Hot Questions - Stack Exchange OnStackOverflow
via Blogspot

Share this

Unknown

Artikel Terkait

0 Comment to "Why is there not a system for computer checking mathematical proofs yet (2018)? – math.stackexchange.com"

Post a Comment

Subscribe to: Post Comments (Atom)