Comment by anon291 | Hacker News Reader

Comment by anon291 | Hacker News Reader

Parent Full thread

> The best mathematicians aren't the ones just proving theorems anymore, they're discovering interesting conjectures through exploration and then handing the grunt work off to a computer.

I'm sorry no. This is simply wrong. Computer proofs are not there yet, and plus, a lot of the interesting theorems (including many of the well-known ones) are non-constructive which are difficult to prove on a computer. In fact, many theorem provers cannot prove 'basic' facts about math due to how constructive proof theory works. Indeed it is not clear what truth means at that level, but considering we regularly use non-constructive proofs to build things, I'm not sure that matters.

I think what is most undervalued is the utility of sheer competence and technical skill to creativity. Without the former, there is no latter. If someone who never studied piano told you they had a beautiful piano solo in their head, would you believe them? More importantly, would you trust them to execute on the creative impulse?

Ask the mathematicians you know whether they do all their work on paper or use maple/octave/mathematica/python. 6/6 that i know do.

If a person who doesn't play piano told me they have a piano solo in their head, i would set them up with a midi sequencer so they can bring it to life. My preconceptions about their capabilities are irrelevant.

> maple/octave/mathematica/python

I’m no mathematician, but I’d be very surprised if the overlap these tools have with mathematical research is very large.

> Ask the mathematicians you know whether they do all their work on paper or use maple/octave/mathematica/python. 6/6 that i know do. If a person who doesn't play piano told me they have a piano solo in their head, i would set them up with a midi sequencer so they can bring it to life. My preconceptions about their capabilities are irrelevant.

A MIDI sequencer is not a piano, and mathematicians typically don't use maple/mathematica/octave/python (unless they're in applied maths, which is a subset of mathematics as a whole).

The most important breakthroughs in mathematics, the kinds of things that push you over the edge as a society and that expand the scope of humanity's knowledge, are at the proof level, which those programs cannot achieve.

Your MIDI sequencer analogy is very apt, because while someone may be able to bang something out on the MIDI sequencer and have the computer play it, a MIDI sequencing is not a human piano performance.

But you're right, if you want a hollow fascimile of the real thing, then yes, those tools could work to impress someone.

Reply on news.ycombinator.com