As we all know by now, Wolfram|Alpha is a computational knowledge engine. That means not only should it be able to do computations on a wide variety of topics, but also that it needs detailed knowledge of the names and salient properties of a wide variety of entities that are commonly encountered in human inquiry and discourse.

This is obvious in the case of classes of objects that fit neatly into curated data collections, such as mathematical surfaces (e.g., Möbius strip), countries of the world (e.g., New Zealand), chemicals (e.g., caffeine), and so forth.

What is perhaps slightly less obvious is just how much knowledge needs to be encoded to have a reasonable “understanding” of almost any named result in math and the sciences. For example, most people (including non-mathematicians) have heard of Fermat’s last theorem and therefore would rightly expect Wolfram|Alpha to be able to say something sensible about it. And as one of my other hats involves writing the online encyclopedia of math known as MathWorld, which is hosted and sponsored by Wolfram Research, putting this information into Wolfram|Alpha naturally fell to me. So, for the past several months, I have been attempting to gradually build up Wolfram|Alpha’s knowledge base on named results in math and physics.

The screenshot below shows what Wolfram|Alpha now returns for Fermat’s last theorem:

As you can see, Wolfram|Alpha begins by giving you the standard name for the result in question, followed by a clearly worded (or at least as clearly worded as could be managed in the marginal space available 😉 ) plain English statement of the result. Next, at least in cases where it is possible to do so, a mathematically precise “formal statement” of the result is given. This is followed by any common alternate names the result might have, a listing of historical information, and finally an enumeration of prizes associated with it (where relevant).

There is also a “More” button in the History section (or “pod” as we like to call them), which displays much more detailed information, including original literature citations, information about when the result was first proposed and proved, who proposed and proved it, and so forth.

Now, one of the important ideas behind Wolfram|Alpha is that everything should be computable. And while there’s surely much more that can (and will) be done in this direction, you can already ask questions like “who proved Fermat’s last theorem”, “who formulated FLT, “Fermat’s last theorem proof year, and “Fermat’s last theorem formulation source” and have them sensibly answered:

As of this writing, Wolfram|Alpha knows 196 named mathematical results, and this number is growing weekly. Some other ones you might care to try include Bieberbach conjecture, Gödel’s incompleteness theorem, prime number theorem, and 3SAT. If you’re curious about the whole list, trying querying for famous math problems.

Similar results are also available for named results in physics. For example, you can try things like Kepler’s first law:

The physics results include associated formulas where relevant, in addition to the other properties, and will someday be more tightly integrated with Wolfram|Alpha’s formula framework (see for example, Kepler’s third law to see both the “formula” and “physics problem” interpretations of this input—note in particular the “Assuming” at the top, which lets you toggle between the two).

As of this writing, Wolfram|Alpha knows 45 named physics results, a number that is also growing weekly. Some other ones you might care to try include the EPR paradox, Schrödinger’s cat, and the Biot-Savart law. To see a full list, try famous physics problems.

Wolfram|Alpha’s collection of named problems also includes interesting or useful class tagging in additional to just entities. For example, you can ask for things like physical effects, Newton’s laws, NP problems, prize problems, and so on.

Besides closer integration with the Wolfram|Alpha formula framework mentioned previously, additional enhancements coming soon include entrained birth/death information and time lines for people involved. Interlinking will eventually also work the other way, with queries for people being able to also mention problems they are associated with—for example, Albert Einstein‘s association with the photoelectric effect.

There are hundreds if not thousands of additional math and physics results that could be added to Wolfram|Alpha. So keep coming back often if you’re interested to see what new things we can tell you about and compute with for you. Of course, there are thousands if not millions of other interesting results in the sciences that are not fortunate enough to be blessed with a common moniker. That’s a more difficult problem. For now at least, as the Austrian philosopher Ludwig Wittgenstein noted, “That which we cannot name we must pass over in silence.”