Mathematics Mathematical statements

Mathematical statements

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:    2014-3-16 11:56
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:    2014-3-16 11:54
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:    2014-3-16 11:52
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:    2014-3-16 11:52
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:    2014-3-16 11:51
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:    2014-3-16 11:50
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:    2014-3-16 11:48
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:    2014-3-16 11:47
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:    2014-3-16 11:42
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:    2014-3-16 11:41
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:    2014-3-16 11:41
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:    2014-3-16 11:40
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:    2014-3-16 11:39
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:    2014-3-16 11:38
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:    2014-3-16 11:36
1234下一页

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 .

57883.com service for you! X3.1

返回顶部