Mathematics is quantifier elimination? When you write an equation, you have in mind to solve it. And even if you do not explicitly ask it, you might have "Is there, so that ..?", "under conditions ?", with constraints ?", ... in mind. To answer such questions, you need an input interpreter, a mathematical knowledge base, a computational engine and a result reporter?

Over 20 years later, Wolfram has introduced Wolfram Alpha the computational-knowledge engine. Fruit of challenging research, a clear concept carried by a symbolic language to represent anything and the algorithmic power to do any kind of computation, Mathematica!, and massive data. And it takes questions people ask in natural language, suppressing the "Is there..?", "under conditions?", "which constraints?".... NOT a search engine. NOT a content representation. A computational-knowledge engine, If you want, a general quantifier eliminator?

In itself, the structure of a "good" problem, where students are required to interact and build solution schemas, revisiting and revising ideas, links closely with building on prior knowledge and the constructing of mental patterns associated with a rationalist view of knowledge. how to master math

ReplyDelete