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 'contradictory statement'
1. $\mathbb{C}$ is not an ordered field by Wkbj79
2. $\operatorname{cf}(\operatorname{cf} \alpha) = \operatorname{cf} \alpha$ by yesitis
3. $\pi$ and $\pi^2$ are irrational by mathcam
4. a line segment has at most one midpoint by Mathprof
5. affine geometry by CWoo
6. all positive integers are polite numbers except powers of two by PrimeFan
7. an outline of Hilbert's programme by gribskoff
8. another proof of Dini's theorem by gumau
9. arithmetical hierarchy is a proper hierarchy by Henry
10. axiom by rmilson
11. basic facts about ordered rings by Wkbj79
12. Berry's paradox by yesitis
13. beyond formalism: G\"{o}del's incompleteness by gribskoff
14. Birkhoff prime ideal theorem by CWoo
15. boundedness theorem by classicleft
16. characterization of full families of groups by joking
17. compact groups are unimodular by asteroid
18. consistent by Henry
19. constant functions and continuity by mathcam
20. constructible angles with integer values in degrees by PrimeFan
21. corollary of Borel-Cantelli lemma by renato
22. decomposable homomorphisms and full families of groups by joking
23. dihedral group properties by Algeboy
24. direct product of partial algebras by CWoo
25. e is irrational by rspuzio
26. e is not a quadratic irrational by mathcam
27. equivalence of Kuratowski's lemma and Zorn's lemma by CWoo
28. equivalence of Zorn's lemma and the axiom of choice by Henry
29. equivalent statements to statement that sphere is not contractible by joking
30. every PID is a UFD by rm50
31. every vector space has a basis by GrafZahl
32. example of a projective module which is not free by joking
33. example of an Alexandroff space which cannot be turned into a topological group by joking
34. example of cylindric algebra by CWoo
35. example of false implies true by Algeboy
36. example of injective module by Glotzfrosch
37. example of transcendental number by alozano
38. examples of monics by CWoo
39. examples of semiprimitive rings by yark
40. existence of square roots of non-negative real numbers by PrimeFan
41. extreme value theorem by classicleft
42. Farkas lemma, proof of by CWoo
43. field is discrete and cocompact in its ad\`{e}les by rm50
44. finitely generated module by Thomas Heye
45. from Hilbert's tenth problem to G\"{o}del's trichotomy by gribskoff
46. Galois group of a biquadratic extension by rm50
47. G\"odel's incompleteness theorems by mathcam
48. G\"{o}del's beta function by gribskoff
49. Hogatt's theorem by mathcam
50. ideal included in union of prime ideals by polarbear
51. ideals contained in a union of ideals by joking
52. ideals contained in a union of radical ideals by joking
53. idempotency of infinite cardinals by CWoo
54. identification topology by rspuzio
55. if $A$ is infinite and $B$ is a finite subset of $A\,\!,$ then $A\setminus B$ is infinite by mathcam
56. importance of primitive recursion by CWoo
57. induced Alexandroff topology on a poset by joking
58. induced partial order on an Alexandroff space by joking
59. infinitude of inverses by CWoo
60. inflection points and canonical forms of non-singular cubic curves by rspuzio
61. interpretation of intuitionistic logic by means of functionals by gribskoff
62. intervals are connected by joking
63. intuitionistic logic by gribskoff
64. logicism by gribskoff
65. mathematical platonism by gribskoff
66. measurable space by djao
67. multiplicative sets in rings and prime ideals by joking
68. negation by pahio
69. non-existence of universal series convergence criterion by pahio
70. nonmodular sublattice by ixionid
71. normal irreducible varieties are nonsingular in codimension 1 by archibal
72. ordering on cardinalities by CWoo
73. partial ordering in a topological space by CWoo
74. pathological by CWoo
75. polynomial function is a proper map by joking
76. probabilistic proof by Algeboy
77. product of posets by CWoo
78. proof by PrimeFan
79. proof of all positive integers are polite numbers except powers of two by n847530
80. proof of alternative characterization of ultrafilter by rspuzio
81. proof of Barbalat's lemma by ncrom
82. proof of Bendixson's negative criterion by Daume
83. proof of Bondy and Chv\'atal theorem by taxipom
84. proof of Borsuk-Ulam theorem by bwebste
85. proof of Brouwer fixed point theorem by bwebste
86. proof of Brouwer fixed point theorem by uriw
87. proof of calculus theorem used in the Lagrange method by mathcam
88. proof of Cantor's theorem by Wkbj79
89. proof of Cauchy condition for limit of function by puff
90. proof of Cauchy-Davenport theorem by Wolfgang
91. proof of characterization of connected compact metric spaces. by paolini
92. proof of characterizations of the Jacobson radical by rspuzio
93. proof of convergence theorem by matte
94. proof of every filter is contained in an ultrafilter (alternate proof) by brunoloff
95. proof of Fodor's lemma by Henry
96. proof of Goursat's theorem by rmilson
97. proof of Hausdorff paradox by GrafZahl
98. proof of Heine-Cantor theorem by paolini
99. proof of infinitude of primes by rspuzio
100. proof of Krein-Milman theorem by georgiosl
101. proof of Lebesgue number lemma by scanez
102. proof of Marty's theorem by karstenb
103. proof of Minkowski's theorem by rm50
104. proof of principle of transfinite induction by jihemme
105. proof of the well-founded induction principle by jihemme
106. proof of theorem on equivalent valuations by rspuzio
107. proof of transcendental root theorem by alozano
108. proof of uniqueness of center of a circle by CWoo
109. proof of uniqueness of Lagrange Interpolation formula by rspuzio
110. proof of weak maximum principle for real domains by rspuzio
111. proof that a finite collection of sets will not suffice by rspuzio
112. proof that a path connected space is connected by n3o
113. proof that a Zeckendorf representation represents a unique positive integer by PrimeFan
114. properties of a function by CWoo
115. properties of arbitrary joins and meets by CWoo
116. properties of certain monotone functions by CWoo
117. properties of ordinals by CWoo
118. proximal neighborhood by CWoo
119. purely periodic continued fractions by rm50
120. Q is the prime subfield of any field of characteristic 0, proof that by CWoo
121. Ramsey-theoretic proof of the Erd\H{o}s-Szekeres theorem by mps
122. rational numbers are real numbers by matte
123. reductio ad absurdum by gribskoff
124. relationship among different kinds of compactness by rm50
125. rings whose every module is free by joking
126. Russell's paradox by CWoo
127. sequentially continous implies continuous in a first-countable space by ehremo
128. sinc is not $L^1$ by cvalente
129. Solovay-Strassen test by mathwizard
130. special reducible polynomials over a field with positive characteristic by joking
131. the inclusion of classical into intuitionistic logic by gribskoff
132. the only compact metric spaces that admit a positively expansive homeomorphism are discrete spaces by Koro
133. The property that compact sets in a space are closed lies strictly between T1 and T2 by dfeuer
134. the set of all real transcendental numbers is uncountable by gilbert_51126
135. transcendental root theorem by mathcam
136. universal nets in compact spaces are convergent by asteroid
137. universe by archibal
138. Wall-Sun-Sun prime by PrimeFan
139. well-foundedness and axiom of foundation by CWoo