PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (236)
Orphanage
Unclass'd (1)
Unproven (540)
Corrections (47)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'argument'
1. $L^2$-spaces are Hilbert spaces by asteroid
2. $PSL_2(\mathbb{Z})$ is a free product by rm50
3. $\operatorname{arc tan}$ with two arguments by matte
4. additive function by Wkbj79
5. all norms on finite-dimensional vector spaces are equivalent by jirka
6. an outline of Hilbert's programme by gribskoff
7. analytics and formal logics in meta-mathematics by bci1
8. approximation by rspuzio
9. Aristotelian logic by Daume
10. axiom by rmilson
11. Benjamin Franklin by PrimeFan
12. beyond formalism: G\"{o}del's incompleteness by gribskoff
13. Cantor's diagonal argument by rmilson
14. Cantor's paradox by Henry
15. chromatic polynomial by bbukh
16. coboundary definition of exterior derivative by rmilson
17. colorings of plane graphs by marijke
18. comparison between Lebesgue and Riemann Integration by Mathprof
19. computation of surface area of portion of paraboloid by rspuzio
20. congruence lattice by CWoo
21. continuity equation by perucho
22. de Morgan's laws for sets (proof) by mathcam
23. definition by PrimeFan
24. Dehn's theorem by paolini
25. derivation of integral representations of Jacobi $\vartheta$ functions by rspuzio
26. differential-difference equations for hypergeometric function by rspuzio
27. Dynkin's lemma by gel
28. eigenvalue (of a matrix) by mathcam
29. Engel's theorem by rmilson
30. Euclid's algorithm by rmilson
31. Euler line proof by drini
32. Euler-Lagrange differential equation (elementary) by rspuzio
33. every permutation has a cycle decomposition by rspuzio
34. every proposition is equivalent to a proposition in DNF by rspuzio
35. example of a universal structure by uzeromay
36. example of eliminating higher-order derivatives by rspuzio
37. example of false implies true by Algeboy
38. examples of finite simple groups by mathcam
39. existence and uniqueness of decimal expansion by stevecheng
40. explicit form for currying by rspuzio
41. field is discrete and cocompact in its ad\`{e}les by rm50
42. finite projective plane by Mathprof
43. formal power series by AxelBoldt
44. frame by rmilson
45. functional analysis by PrimeFan
46. Galois representation by alozano
47. generalized B\'ezout theorem on matrices by perucho
48. generalized quantifier by Henry
49. groups with abelian inner automorphism group by rm50
50. halting problem by rspuzio
51. high school mathematics by matte
52. higher-order function by Logan
53. Hilbert's $\varepsilon$-operator by gribskoff
54. homotopy invariance by pbruin
55. hyperbolic functions by mathwizard
56. ideals of a discrete valuation ring are powers of its maximal ideal by rm50
57. index of set theory by rspuzio
58. induction by Daume
59. inflection points and canonical forms of non-singular cubic curves by rspuzio
60. integration of fraction power expressions by pahio
61. interpretation of intuitionistic logic by means of functionals by gribskoff
62. intuitionistic logic by gribskoff
63. Klein 4-group by Algeboy
64. Laguerre polynomial by rspuzio
65. lambda calculus by ratboy
66. Laplace transform of a Gaussian function by perucho
67. lattice paths and ballot numbers by rm50
68. left function notation by antizeus
69. Lehmer mean by pahio
70. Levi-Civita permutation symbol by matte
71. Levy collapse by ratboy
72. Lie algebra cohomology by rmilson
73. Lie algebras from other algebras by Algeboy
74. logical language by Henry
75. mathematical platonism by gribskoff
76. mathematics vocabulary by matte
77. minimal negation operator by Jon Awbrey
78. multiplicative function by Wkbj79
79. multivariate distribution function by CWoo
80. non-commutative dynamic modeling diagrams by bci1
81. non-Newtonian calculus by smithpith
82. normal subgroup lattice is modular by CWoo
83. normed vector space by rspuzio
84. odds ratio by CWoo
85. operator norm of multiplication operator on $L^2$ by rspuzio
86. ordering on cardinalities by CWoo
87. ordinal arithmetic by Henry
88. orthogonality of Chebyshev polynomials by pahio
89. Penrose's first G\"odelian argument by dankomed
90. Penrose's second G\"odelian argument by dankomed
91. permutable congruences by CWoo
92. Plato's mathematics by milogardner
93. Poincar\'e-Birkhoff-Witt theorem by CWoo
94. polarities and forms by Algeboy
95. polygonal number by mathcam
96. predicativism by gribskoff
97. probabilistic method by bbukh
98. product of countable sets by CWoo
99. proof by PrimeFan
100. proof of $d\alpha (X,Y) = X(\alpha(Y))$ $-$ $Y(\alpha(X))$ $ -$ $\alpha([X,Y])$ (global coordinate-free) by rspuzio
101. proof of angle sum identities by rspuzio
102. proof of arithmetic-geometric means inequality using Lagrange multipliers by stevecheng
103. proof of Banach-Tarski paradox by GrafZahl
104. proof of divergence of harmonic series (by grouping terms) by rspuzio
105. proof of exhaustion by compact sets for $\mathbb{R}^n$ by cvalente
106. proof of existence and uniqueness of singular value decomposition by fernsanz
107. proof of general means inequality by pbruin
108. proof of Green's theorem by mathcam
109. proof of l'H\^opital's rule for $\infty/\infty$ form by stevecheng
110. proof of product rule by mathcam
111. proof of properties of universe by rspuzio
112. proof of Radon-Nikodym theorem by Ziosilvio
113. proof that a domain is Dedekind if its ideals are products of primes by gel
114. properties of the exponential by rmilson
115. property of infinite simple group by Algeboy
116. quadratic space by CWoo
117. random graph (infinite) by bbukh
118. recursive function by rspuzio
119. reductio ad absurdum by gribskoff
120. regular prime by djao
121. relationship among different kinds of compactness by rm50
122. Riemann sphere by CWoo
123. right function notation by antizeus
124. second order logic by Henry
125. sets that do not have an infimum by sleske
126. Sun's conjecture on sums of primes and triangular numbers by PrimeFan
127. surface integration with respect to area by rspuzio
128. tensor product of dual spaces is a dual space of tensor product by joking
129. tests for local extrema in Lagrange multiplier method by stevecheng
130. the inclusion of classical into intuitionistic logic by gribskoff
131. top ten coolest numbers by rspuzio
132. truth table by rspuzio
133. unique readability of parenthesized formulas by CWoo
134. upper set by CWoo
135. Urysohn extension theorem by CWoo
136. well-founded recursion by CWoo
137. Zorn's lemma and bases for vector spaces by CWoo