...xtensive Equations Library, it does everything except cook: trigonometry, calculus, math, charting, geometry, physics, and chemistry. And everythin... ...xtensive Equations Library, it does everything except cook: trigonometry, calculus, math, charting, geometry, physics, and chemistry. And everythin... ...method. For the initiated readers: Church solved the decision-problem for propositional calculus and Turing proved that there is no solution to the d... ...e initiated readers: Church solved the decision-problem for propositional calculus and Turing proved that there is no solution to the decision probl... ...at there is no solution to the decision problem relating to the predicate calculus. Put more simply, it is possible to "prove" the truth value (or t... ...o "prove" the truth value (or the theorem status) of an expression in the propositional calculus – but not in the predicate calculus. Later it was s... ... truth value (or the theorem status) of an expression in the propositional calculus – but not in the predicate calculus. Later it was shown that many...