Category:Handwaving
Jump to navigation
Jump to search
These are pages containing proofs that contain handwaving arguments.
See the handwaving template.
Pages in category "Handwaving"
The following 109 pages are in this category, out of 109 total.
C
- Cantor-Bernstein-Schröder Theorem
- Cantor-Bernstein-Schröder Theorem/Proof 1
- Cantor-Bernstein-Schröder Theorem/Proof 4
- Definition:Card Game with Bluffing
- Cardinality of Infinite Union of Infinite Sets
- Circle Group is Group/Proof 2
- Closure of Subset of Metric Space by Convergent Sequence
- Combination of Recursive Functions
- Complex Conjugate of Gamma Function
- Complex Roots of Unity in Exponential Form
- Definition:Conditional Preference
- Definition:Constructed Semantics/Instance 2/Factor Principle
- Definition:Constructed Semantics/Instance 2/Rule of Addition
- Definition:Constructed Semantics/Instance 2/Rule of Commutation
- Definition:Constructed Semantics/Instance 3/Factor Principle
- Definition:Constructed Semantics/Instance 4/Factor Principle
- Definition:Constructed Semantics/Instance 4/Rule of Addition
- Definition:Constructed Semantics/Instance 5/Rule of Addition
- Content of Scalar Multiple
- Continued Fraction Expansion of Irrational Square Root/Examples/2
- Continuously Differentiable Curve has Finite Arc Length
- Convergent Sequence with Finite Number of Terms Deleted is Convergent
- Cook-Levin Theorem
- Cosine of Integer Multiple of Argument/Formulation 9
- Countably Compact First-Countable Space is Sequentially Compact
- Countably Compact First-Countable Space is Sequentially Compact/Proof 2
D
E
- Edge is Minimum Weight Bridge iff in All Minimum Spanning Trees
- Egorov's Theorem
- Equation of Catenary/Whewell
- Equation of Plane Wave/Direction Cosine Form
- Equivalence of Definitions of Change of Basis Matrix
- Equivalence of Definitions of Real Exponential Function/Limit of Sequence implies Extension of Rational Exponential
- Equivalence of Definitions of Second Chebyshev Function
- Equivalence Relation induced by Congruence Relation on Quotient Structure is Congruence/Corollary
- Euler Phi Function by Argument is Injective
- Existence and Uniqueness of Direct Limit of Sequence of Groups/Lemma 3
F
I
- Indexed Union Equality
- Inequality of Hölder Means
- Infinite Lexicographic Order on Well-Ordered Sets is not Well-Ordering
- Integer which is Multiplied by 9 when moving Last Digit to First/Corollary
- Integral Form of Gamma Function equivalent to Euler Form
- Integral Form of Gamma Function equivalent to Euler Form/Proof 1
L
- Least Upper Bound Property
- Least Upper Bound Property/Proof 1
- Lebesgue Measure is Diffuse
- Lexicographic Order on Products of Well-Ordered Sets
- Limit of Sine of X over X at Zero
- Limit of Sine of X over X at Zero/Geometric Proof
- Limsup and Liminf are Limits of Bounds
- Linear Combination of Integrals/Definite
- Linear Combination of Integrals/Definite/Proof 2
- Linear Combination of Measures
N
P
- Polynomials Closed under Addition/Polynomials over Ring
- Polynomials Closed under Ring Product
- Prim's Algorithm produces Minimum Spanning Tree
- Principal Ideal of Principal Ideal Domain is of Irreducible Element iff Maximal
- Principal Ideal of Principal Ideal Domain is of Irreducible Element iff Maximal/Reverse Implication
- Probability Generating Function defines Probability Distribution
- Product Rule for Counting
R
S
- Set of Finite Subsets under Induced Operation is Closed
- Set of Successive Numbers contains Unique Multiple
- Sine of Integer Multiple of Argument/Formulation 9
- Smooth Homotopy is an Equivalence Relation
- Solution to Card Game with Bluffing
- Soundness Theorem for Semantic Tableaux
- Strictly Positive Real Numbers under Multiplication form Uncountable Abelian Group
- Subgroup of Additive Group of Integers Generated by Two Integers
- Subgroup of Solvable Group is Solvable
- Subgroup of Solvable Group is Solvable/Proof 2