(Entity["abc conjecture", Entity["FamousMathProblem","ABCConjecture"], "Entity[\"FamousMathProblem\", \"ABCConjecture\"]", "math problem"])(Entity["Archimedes' axiom", Entity["FamousMathProblem","ArchimedesAxiom"], "Entity[\"FamousMathProblem\", \"ArchimedesAxiom\"]", "math problem"])(Entity["composite number problem", Entity["FamousMathProblem","CompositeNumberProblem"], "Entity[\"FamousMathProblem\", \"CompositeNumberProblem\"]", "math problem"])(Entity["Fuglede's conjecture", Entity["FamousMathProblem","FugledesConjecture"], "Entity[\"FamousMathProblem\", \"FugledesConjecture\"]", "math problem"])(Entity["weak Goldbach conjecture", Entity["FamousMathProblem","GoldbachConjectureWeak"], "Entity[\"FamousMathProblem\", \"GoldbachConjectureWeak\"]", "math problem"])(Entity["halting problem", Entity["FamousMathProblem","HaltingProblem"], "Entity[\"FamousMathProblem\", \"HaltingProblem\"]", "math problem"])(Entity["Hilbert's second problem", Entity["FamousMathProblem","HilbertsProblem2"], "Entity[\"FamousMathProblem\", \"HilbertsProblem2\"]", "math problem"])(Entity["Poincaré conjecture", Entity["FamousMathProblem","PoincareConjecture"], "Entity[\"FamousMathProblem\", \"PoincareConjecture\"]", "math problem"])(Entity["prime number theorem", Entity["FamousMathProblem","PrimeNumberTheorem"], "Entity[\"FamousMathProblem\", \"PrimeNumberTheorem\"]", "math problem"])(Entity["set packing problem", Entity["FamousMathProblem","SetPackingProblem"], "Entity[\"FamousMathProblem\", \"SetPackingProblem\"]", "math problem"])…

(EntityClass["Hilbert's original 10 problems", EntityClass["FamousMathProblem","Hilbert10"], "EntityClass[\"FamousMathProblem\", \"Hilbert10\"]", "math problems"])(EntityClass["incompleteness theorems", EntityClass["FamousMathProblem","IncompletenessTheorem"], "EntityClass[\"FamousMathProblem\", \"IncompletenessTheorem\"]", "math problems"])(EntityClass["mathematical laws", EntityClass["FamousMathProblem","Law"], "EntityClass[\"FamousMathProblem\", \"Law\"]", "math problems"])(EntityClass["mathematical methods", EntityClass["FamousMathProblem","Method"], "EntityClass[\"FamousMathProblem\", \"Method\"]", "math problems"])(EntityClass["Millennium Prize problems", EntityClass["FamousMathProblem","Millennium"], "EntityClass[\"FamousMathProblem\", \"Millennium\"]", "math problems"])(EntityClass["mathematical principles", EntityClass["FamousMathProblem","Principle"], "EntityClass[\"FamousMathProblem\", \"Principle\"]", "math problems"])(EntityClass["prize mathematics problems", EntityClass["FamousMathProblem","Prize"], "EntityClass[\"FamousMathProblem\", \"Prize\"]", "math problems"])(EntityClass["mathematical problems", EntityClass["FamousMathProblem","Problem"], "EntityClass[\"FamousMathProblem\", \"Problem\"]", "math problems"])(EntityClass["proved conjectures", EntityClass["FamousMathProblem","ProvedConjecture"], "EntityClass[\"FamousMathProblem\", \"ProvedConjecture\"]", "math problems"])(EntityClass["mathematics theorems", EntityClass["FamousMathProblem","Theorem"], "EntityClass[\"FamousMathProblem\", \"Theorem\"]", "math problems"])…

(StringTypeLink["FamousMathProblem", paclet:ref/entity/FamousMathProblem]) entities include notable and named results, problems, conjectures and theorems in mathematics.

(StringTypeLink["FamousMathProblem", paclet:ref/entity/FamousMathProblem]) entity classes include classifications based on type of result (e.g. "Law", "Lemma", "Axiom", "Conjecture") and association with a particular person (e.g. "Hilbert23", "Smale").

Some properties are available for the (StringTypeLink["FamousMathProblem", paclet:ref/entity/FamousMathProblem]) entity type as a whole and can be given using the form (RefLink[EntityValue, paclet:ref/EntityValue])[(StringTypeLink["FamousMathProblem", paclet:ref/entity/FamousMathProblem]),property]. Such properties include:

The following annotations can be used in the third argument of (RefLink[EntityValue, paclet:ref/EntityValue])[(StringTypeLink["FamousMathProblem", paclet:ref/entity/FamousMathProblem]),property,annotation]:

The following annotations can be used in the second argument of (RefLink[EntityValue, paclet:ref/EntityValue])[property,annotation]:

A qualifier value of (RefLink[Automatic, paclet:ref/Automatic]) indicates that an applicable format of values can be used; e.g. for the "Date" qualifier, this includes a proper date or date span.

OpenersPrimaryExamplesSection(Spacer1)Examples  (4)

OpenersExampleSection0(Spacer1)Basic Examples  (4)

Use (Key1[ctrl, ==]) for entity discovery:

LinguisticAssistant

(Entity["angle trisection problem", Entity["FamousMathProblem","AngleTrisectionProblem"], "Entity[\"FamousMathProblem\", \"AngleTrisectionProblem\"]", "math problem"])

Find a property value for an entity:

(Entity["Fermat's last theorem", Entity["FamousMathProblem","FermatsLastTheorem"], "Entity[\"FamousMathProblem\", \"FermatsLastTheorem\"]", "math problem"])["FormalStatement"]

Retrieve a dataset of all available properties for an entity:

(Entity["prime number theorem", Entity["FamousMathProblem","PrimeNumberTheorem"], "Entity[\"FamousMathProblem\", \"PrimeNumberTheorem\"]", "math problem"])["Dataset"]

Retrieve Zeno's paradoxes:

EntityClass["FamousMathProblem","Classes"->ContainsAll[{"Zeno"}]]//EntityList

({{DocumentationFooterIconsRelatedFunction.png, ({{See Also}, {Related Entity Types:  (RefLink[FamousMathGame, paclet:ref/entity/FamousMathGame])  ▪  (RefLink[MathWorld, paclet:ref/entity/MathWorld])}})}})

({{DocumentationFooterIconsRelatedGuide.png, ({{Related Guides}, {▪(RefLinkPlain[Entity Types, paclet:guide/EntityTypes])}})}})