But is it possible to write program checking the proof (not finding it) ? I guess it must be, because a proof, is just following rules... so it should be possible to devise two independent different proof checker... if these proof checker are smaller than the proof itself (and they should be), then it will be easier to prove that they are correct, and if they agree on the proof itself, we should really be confident that the proof is correct, even if not checked manually by a human.
Regards, Quentin 2014-02-19 19:13 GMT+01:00 Telmo Menezes <te...@telmomenezes.com>: > "If no human can check a proof of a theorem, does it really count as > mathematics? That's the intriguing question raised by the latest > computer-assisted proof. It is as large as the entire content of Wikipedia, > making it unlikely that will ever be checked by a human being." > > > http://www.newscientist.com/article/dn25068-wikipediasize-maths-proof-too-big-for-humans-to-check.html#.UwTytEJdV69 > > This reminded me of something that Bruno mentions frequently: the idea of > deriving physics from the natural numbers, addition and multiplication. > Should we expect wikipedia-size proofs (or worse)? > > Cheers, > Telmo. > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to everything-list+unsubscr...@googlegroups.com. > To post to this group, send email to everything-list@googlegroups.com. > Visit this group at http://groups.google.com/group/everything-list. > For more options, visit https://groups.google.com/groups/opt_out. > -- All those moments will be lost in time, like tears in rain. (Roy Batty/Rutger Hauer) -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.