Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Dunning–Kruger effect and proof assistants (wa...


view this post on Zulip Email Gateway (Aug 22 2022 at 18:36):

From: José Manuel Rodriguez Caballero <josephcmac@gmail.com>
It is interesting how week after week there are claims of solutions of open
problems in mathematics, but few professional mathematicians have time to
read the arguments, because such an effort may be for nothing. The
following journalistic article may be interesting from a sociological point
of view.

Journalistic Article (I do not know if there is some sensationalism):
http://technionfrance.org/news/lisraelien-qui-a-resolu-une-equation-mathematique-vieille-de-200-ans

Argument which pretend to be the solution of this millenium problem (I do
not spend my time reading such papers): https://arxiv.org/abs/1806.10081

When Gauss was confronted with Abel's proof of the impossibility to solve
the 5th degree equation by radials, he did not read it, because he thought
that it was a not a serious research. I think that Gauss guessed that the
author of such a proof suffered of what today is known as Dunning–Kruger
effect : https://en.wikipedia.org/wiki/Dunning%E2%80%93Kruger_effect

For a young mathematician, the best way to show that his/her results are
serious, and not just the product of Dunning–Kruger effect, is to provide a
computer-verified proof.

Kind Regards,
José M.


Last updated: Apr 26 2024 at 20:16 UTC