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 (46)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'natural number'
1. $(p,q)$ shuffle by mathcam
2. $(p,q)$ unshuffle by Karid
3. $0\ne 1$ as real numbers by mps
4. $e^r$ is irrational for $r\in\mathbb{Q}\setminus\{0\}$ by Cosmin
5. $n$-free number by Wkbj79
6. $\mu$-operator by CWoo
7. $\omega$-limit set by Koro
8. a formula for amicable pairs by alozano
9. All unnatural square roots are irrational by ubershmekel
10. alternative definition of cardinality by CWoo
11. alternative definitions of countable by CWoo
12. amicable numbers by alozano
13. an integrable function which does not tend to zero by rspuzio
14. analytic number theory by Wkbj79
15. any rational number is a sum of unit fractions by Mathprof
16. arbitrary join by CWoo
17. Archimedean property by Daume
18. Archimedean semigroup by mclase
19. arithmetic derivative by PrimeFan
20. asymptotic estimate by Wkbj79
21. axiom by rmilson
22. axiom of dependent choices by CWoo
23. axiom of determinacy by CWoo
24. Baer-Specker group by CWoo
25. beyond formalism: G\"{o}del's incompleteness by gribskoff
26. binomial formula by rmilson
27. boundedness theorem by classicleft
28. Brauer group by djao
29. Burnside ring by joking
30. cardinality by yark
31. cardinality of the continuum by yark
32. Cauchy product by msihl
33. Cauchy sequence by djao
34. central simple algebra by djao
35. chain by CWoo
36. characterization of convergence of sequences in metric spaces by gumau
37. chromatic number and girth by mathcam
38. chromatic polynomial by bbukh
39. compact element by CWoo
40. complete ultrametric field by pahio
41. composite number by mathcam
42. computable number by AxelBoldt
43. concatenation by CWoo
44. congruence by almann
45. convergent sequence by djao
46. convolution by PrimeFan
47. covering system by PrimeFan
48. criterion for cyclic rings to be principal ideal rings by Wkbj79
49. de Moivre identity, proof of by rspuzio
50. Dedekind-finite by CWoo
51. Dedekind-infinite by yark
52. derivation of Euler phi-function by jwaixs
53. derivation of Hartley function by Mathprof
54. digital root by PrimeFan
55. dimension (vector space) by rmilson
56. direct limit of sets by CWoo
57. e is irrational by mathwizard
58. Egyptian multiplication and division by milogardner
59. elementary results about multiplicative functions and convolution by Wkbj79
60. enumerative combinatorics by mps
61. equivalent definitions of analytic sets by gel
62. Erd\H{o}s-Fuchs theorem by bbukh
63. Euler product by bbukh
64. even-even-odd rule by Wkbj79
65. every prime has a primitive root by alozano
66. example of a right noetherian ring that is not left noetherian by smw
67. example of an Artinian module which is not Noetherian by joking
68. example of antisymmetric by Algeboy
69. example of arithmetic derivative by Johan
70. example of infinite simple group by rspuzio
71. example of summation by parts by pahio
72. example of well-founded induction by CWoo
73. examples of countable sets by CWoo
74. examples of cyclotomic polynomials by alozano
75. examples of primitive recursive predicates by CWoo
76. existence and uniqueness of decimal expansion by stevecheng
77. existence and uniqueness of the gcd of two integers by alozano
78. exponential by rmilson
79. exterior algebra by rmilson
80. factorial modulo prime powers by Thomas Heye
81. field homomorphism by alozano
82. finite by djao
83. finite changes in convergent series by pahio
84. finite field by yark
85. formal power series by AxelBoldt
86. formula for the convolution inverse of a completely multiplicative function by Wkbj79
87. foundations of mathematics: overview by gribskoff
88. freshman's dream error by Wkbj79
89. from Hilbert's tenth problem to G\"{o}del's trichotomy by gribskoff
90. function by djao
91. fundamental theorem of arithmetic, proof of the by mps
92. Gauss, Carl Friedrich by mathwizard
93. generalized Kronecker delta symbol by matte
94. generalized Ruiz's identity by GeraW
95. generator for the mutiplicative group of a field by polarbear
96. Graham's number by PrimeFan
97. Grothendieck group by mhale
98. G\"{o}del's beta function by gribskoff
99. halting problem by rspuzio
100. Hartley function by kshum
101. Hausdorff metric inherits completeness by mps
102. high school mathematics by matte
103. Hilbert's 16th problem for quadratic vector fields by Daume
104. Hilbert's sixteenth problem by Daume
105. hyperreal by djao
106. IF-logic by mathcam
107. index of set theory by rspuzio
108. induction by Daume
109. inductive set by djao
110. infinite descent by Thomas Heye
111. integer by CWoo
112. integer partition by rm50
113. intuitionistic logic by gribskoff
114. inverse limit by alozano
115. irreflexive by smw
116. Jordan's totient function by akrowne
117. limit by djao
118. linear convergence by Mathprof
119. list vector by rmilson
120. local dimension of a locally Euclidean space by joking
121. locally bounded by jirka
122. logicism by gribskoff
123. long line by Dr_Absentius
124. Lucas's theorem by mathcam
125. Markov algorithm by CWoo
126. mathematical platonism by gribskoff
127. MatheRealism by WM
128. matrix exponential by mathcam
129. maximal element by akrowne
130. modular form by olivierfouquetx
131. motivation for von Neumann ordinals by yark
132. multi-index notation by matte
133. multiplicative congruence by djao
134. multiplicative function by Wkbj79
135. mutually coprime by mathwizard
136. natural numbers are well-ordered by pahio
137. natural numbers identified with binary strings by tromp
138. natural numbers object by mps
139. neutral geometry by CWoo
140. nilpotent transformation by rmilson
141. non-standard analysis by PrimeFan
142. normal number by AxelBoldt
143. number by pahio
144. number of (nondistinct) prime factors function by Wkbj79
145. numerable set by juanman
146. order of a profinite group by mathcam
147. ordinal number by yark
148. ordinal space by CWoo
149. outer multiplication by rmilson
150. paradox of the binary tree by WM
151. Peano arithmetic by alozano
152. pentagonal number theorem by bbukh
153. permanent by marijke
154. pigeonhole principle by djao
155. polynomial ring by djao
156. poset by mps
157. positive by pahio
158. Post system by CWoo
159. predicativism by gribskoff
160. primary decomposition theorem by CWoo
161. primitive recursive function by CWoo
162. principle of finite induction by smw
163. principle of finite induction proven from the well-ordering principle for natural numbers by smw
164. proof of Banach fixed point theorem by asteroid
165. Proof of Baroni's theorem by mathwizard
166. proof of criterion for convexity by rspuzio
167. proof of Euler-Fermat theorem using Lagrange's theorem by alozano
168. proof of Fermat's little theorem using Lagrange's theorem by alozano
169. proof of Gelfand spectral radius theorem by Andrea Ambrosio
170. proof of generalized Ruiz's identity by GeraW
171. proof of Hausdorff paradox by GrafZahl
172. proof of limit comparison test by cvalente
173. Proof of Stolz-Cesaro theorem by slash
174. proof of the existence of transcendental numbers by kidburla2003
175. proof of transcendental root theorem by alozano
176. proof of upper and lower bounds to binomial coefficient by rspuzio
177. proof that e is not a natural number by CWoo
178. proof that the rationals are countable by alozano
179. properties of nil and nilpotent ideals by mclase
180. quotient structure by almann
181. radical extension by djao
182. radical of an integer by KimJ
183. ramification index by djao
184. random walk by CWoo
185. rational numbers are real numbers by matte
186. real number by djao
187. recursive set by CWoo
188. recursively axiomatizable theory by mathcam
189. relational system by CWoo
190. rig by HkBst
191. Russell's theory of types by Aatu
192. semiring by mps
193. sequence by djao
194. set theory by mathwizard
195. Sharkovskii's theorem by Koro
196. Sidon set by bbukh
197. signature by CWoo
198. simple tensor by lars_h
199. solvable Lie algebra by djao
200. special reducible polynomials over a field with positive characteristic by joking
201. square-free number by akrowne
202. squarefull number by KimJ
203. Stirling numbers of the second kind by rmilson
204. structure homomorphism by almann
205. subnormal subgroup by yark
206. subsequence by alozano
207. superincreasing sequence by Wkbj79
208. supernatural number by mathcam
209. Taniyama-Shimura theorem by djao
210. taxicab numbers by alozano
211. temporary index 3 of number theory topics by PrimeFan
212. the inclusion of classical into intuitionistic logic by gribskoff
213. The property that compact sets in a space are closed lies strictly between T1 and T2 by dfeuer
214. theory of algebraic and transcendental numbers by alozano
215. theory of organismic sets and mathematical relations by bci1
216. triangular numbers by akrowne
217. twin prime conjecture by alozano
218. uncountable by yark
219. URM computable by CWoo
220. values of $n$ for which $\varphi(n)=\tau(n)$ by Wkbj79
221. Waring's problem by bbukh
222. well-founded induction by ratboy
223. well-ordering principle for natural numbers by smw
224. well-ordering principle for natural numbers proven from the principle of finite induction by smw
225. Wilson's theorem for prime powers by Thomas Heye