> The aim of my thesis is to discover why proprietary tools like Maple, Mathlab, and Mathematica have flourished within the mathematics world given that theorem proving and calculating seem to require access to the algorithms for verification processes.
We don't have access to the algorithms that a human mathematician working unaided uses to do things like evaluate a tricky integral, simplify a complicated expression, and so on, yet we can still verify their proofs.
I don't see why him using a computer program, proprietary or not, would make a difference. We verify the proof by checking the result, not the thought processes or computational processes that were used behind the scenes to come up with it.
We don't have access to the algorithms that a human mathematician working unaided uses to do things like evaluate a tricky integral, simplify a complicated expression, and so on, yet we can still verify their proofs.
I don't see why him using a computer program, proprietary or not, would make a difference. We verify the proof by checking the result, not the thought processes or computational processes that were used behind the scenes to come up with it.