|
|
|
|
|
|
by JohnStrange
3091 days ago
|
|
|
Some contemporary mathematical theories such as "Inter-universal Teichmüller theory"[1] are so complicated that only one or two dozen people in the world can understand them. Proof assistants like Coq do not help with those kind of theories at all. In a nutshell, research mathematics has become fairly complicated, to say the least. (I'm saying that as a layman, from what I've gathered about it. I'm not a mathematician.) > Programmers are less intelligent, skillful and diligent on average than research mathematicians? How do you figure that? Well, the selection process is much harder. It's an empirical claim that could be falsified, but the claim seems reasonable in lack of any counter-evidence. [1] https://en.wikipedia.org/wiki/Inter-universal_Teichm%C3%BCll... |
|
|
It's more that only a few have bothered to.