sub category: Algorithms|Axioms|Conjectures|Erdos_conjecture|Combinatorial principles|Equations|Formulae involving pi|Mathematical identities|Inequalities|Lemmas|Mathematical proofs|NP-complete problems|Statements undecidable in ZFC|Mathematical symbols|Undecidable problems|Theorems (Fundamental theorems)|Table of Lie groups

- List of mathematical symbols
- This is a list of symbols found within all branches of mathematics to express a formula or to represent a constant.When reading the list, it is important to recognize that a mathematical concept is in ...
- category:

- List of statements undecidable in ZFC
- Axiomatic set theoryIn 1931, Kurt Gödel proved the first ZFC undecidability result, namely that the consistency of ZFC itself was undecidable in ZFC.Moreover the following statements are independent ...
- category:

- Fundamental theorems of mathematical topics
- Fundamental theorem of algebraFundamental theorem of algebraic K-theoryFundamental theorem of algebraic number theoryFundamental theorem of arithmeticFundamental theorem of calculusFundamental theorem ...
- category:

- Fundamental lemmata
- Fundamental lemma of calculus of variationsFundamental lemma of Langlands and ShelstadFundamental lemma of sieve theoryFeinstein's fundamental lemma (information theory)Fundamental lemma of interpolat ...
- category:

- Fundamental theorem
- The fundamental theorem of a field of mathematics is the theorem considered central to that field. The naming of such a theorem is not necessarily based on how often it is used or the difficulty of it ...
- category:

- List of theorems
- AAF+BG theorem (algebraic geometry)ATS theorem (number theory)Abel's binomial theorem (combinatorics)Abel's curve theorem (mathematical analysis)Abel's theorem (mathematical analysis)Abelian and taube ...
- category:

- Problems in logic--Problems about abstract machines...
- Problems in logicHilbert's Entscheidungsproblem.Type inference and type checking for the second-order lambda calculus (or equivalent).Problems about abstract machinesThe halting problem (determining w ...
- category:

- List of undecidable problems
- In computability theory, an undecidable problem is of a type of calculation which requires a yes/no answer, but where there can not possibly be any computer program that always gives the correct answe ...
- category:

- Symbols
- Symbolin HTML Symbolin TEX Name Explanation ExamplesRead asCategory== equalityis equal to;equalseverywherex = y means x and y represent the same thing or value. 2 = 21 + 1 = 2≠\ne inequalityis not eq ...
- category:

- List of mathematical symbols
- This is a list of symbols found within all branches of mathematics to express a formula or to represent a constant.When reading the list, it is important to recognize that a mathematical concept is in ...
- category:

- Axiomatic set theory
- In 1931, Kurt Gödel proved the first ZFC undecidability result, namely that the consistency of ZFC itself was undecidable in ZFC.Moreover the following statements are independent of ZFC (shown by Pau ...
- category:

- List of statements undecidable in ZFC
- The mathematical statements discussed below are provably undecidable in ZFC (the Zermelo–Fraenkel axioms plus the axiom of choice, the canonical axiomatic set theory of contemporary mathematics), ass ...
- category:

- List of NP-complete problems
- Graphs and hypergraphsGraphs occur frequently in everyday applications. Examples include biological or social networks, which contain hundreds, thousands and even billions of nodes in some cases (see ...
- category:

- List of mathematical proofs
- Theorems of which articles are primarily devoted to proving themSee also: Category:Article proofsBertrand's postulate and a proofEstimation of covariance matricesFermat's little theorem and some proof ...
- category:

- List of lemmas
- This following is a list of lemmas (or, "lemmata", i.e. minor theorems, or sometimes intermediate technical results factored out of proofs). See also list of axioms, list of theorems and list of conje ...
- category:

About us|Jobs|Help|Disclaimer|Advertising services|Contact us|Sign in|Website map|Search|
**
**

GMT+8, 2015-2-18 08:50 , Processed in 0.087098 second(s), 9 queries .