Fine, but since his tools are used to prove mathematical theorems, how can we formally be sure about the correctness of Mathematica statements if Mathematica is just black box (I agree though this is more a matter of principle). Additionally, given all the movement in Open Science and Open Access, Mathematica and the other jewels could be very well part of it. E.g. take all the software produced at CERN to analyse LHC data. It's all Open Source. (and the scientific outcomes are all Open Access) In principle
Why not open source wolfram alpha? (Score:3, Insightful)
Re: (Score:0)
Because he runs a business not a hippy commune. Go away little freetard.
Re: (Score:0)
Fine, but since his tools are used to prove mathematical theorems, how can we formally be sure about the correctness of Mathematica statements if Mathematica is just black box (I agree though this is more a matter of principle). Additionally, given all the movement in Open Science and Open Access, Mathematica and the other jewels could be very well part of it. E.g. take all the software produced at CERN to analyse LHC data. It's all Open Source. (and the scientific outcomes are all Open Access)
In principle
Re:Why not open source wolfram alpha? (Score:2)
In principle Wolfram could earn his money with a different business model (e.g. working in research or as a consultant...)
And just up and fires his ~700 employees?
Re: (Score:0)
Re: (Score:2)
Or he can just not take your terrible advice.