[ Forum Index ] [ Information ] [ Meme Media ] [ About Tony ]
One rant deserves another
Posted by nif on 15th September 2010 at 02:44:10
In response to "Mathematica is unscientific" posted by toby on 14th September 2010 at 10:14:38
Either Mathematica didn't really solve a TSP, or solving an NP-hard problem is becoming easier than I thought

It appears that Jordi is suggesting that Mathematica is itself an algorithm that proves N=NP. If he isn't, then his claim that Mathematica should be open to scrutiny (in the way that proofs must be) is unsupported.

Jordi's statistical exercise (interpolating surfaces to fit "scattered data"), with or without Mathematica, has no relevance to mathematical proofs that I can see (though I admit that I am not a statistician).

Did Wolfram Research insult the principle that scientific discovery (like better interpolation methods) should not be kept secret? Jordi doesn't say so.

The FSF's principles have no implications for private scientific research that I can see -- except in computer science (e.g. P vs. NP).

And what about the principle of a mathematical proof having rigour? Jordi denounces the inscrutable tool used to create the proof but not the negligent mathematician who accepts the partial proof as valid!

And why would anyone pay for a software package and then "tolerate" it?

Next Newer Thread
"Mathematica is unscientific" - toby 10:14:38 14-Sep-10
Belated recovery even here - 23:18:19 09-Jan-11
Re: "Mathematica is unscientific" - GingerYeo 02:15:34 06-Nov-10
Be careful what you wish for - Tony 20:21:53 22-Sep-10
One rant deserves another - nif 02:44:10 15-Sep-10
Re: One rant deserves another - toby 01:51:31 17-Sep-10
Re: One rant deserves another - nif 22:18:53 17-Sep-10
Re: One rant deserves another - toby 00:27:39 21-Sep-10
Re: One rant deserves another - nif 20:30:09 24-Sep-10
Re: One rant deserves another - quad 02:30:20 28-Sep-10
Re: One rant deserves another - toby 02:08:05 28-Sep-10
Re: One rant deserves another - toby 00:53:15 21-Sep-10
Burdening with expectations - Tony 15:36:23 14-Sep-10
Re: Burdening with expectations - quad 02:45:43 28-Sep-10
Re: Burdening with expectations - toby 01:53:54 17-Sep-10
Next Older Thread