Common proof techniques

Common proof techniques Proof by intimidation Trivial! Proof by cumbersome notation The theorem follows immediately from the fact that |⊕ₖ∈S (𝓕ᵠ⁽ⁱ⁾)|ᵤₖ ≼ ℵ₁ when [𝒥]∩𝓝 ∩ 𝓕ᵠ(𝓝) ≠ ∅. Proof by inaccessible literature The theorem is an easy corollary of a result proved in a hand-written note handed out during a lecture by the Yugoslavian Mathematical Society in 1973. Proof by ghost reference The proof my be found on page 478 in a textbook which turns out to have 396 pages. Circular argument Proposition 5.18 in [BL] is an easy corollary of Theorem 7.18 in [C], which is again based on Corollary 2.14 in [K]. This, on the other hand, is derived with reference to Proposition 5.18 in [BL]. Proof by authority My good colleague Andrew said he thought he might have come up with a proof of this a few years ago… Internet reference For those interested, the result is shown on the web page of this book. Which unfortunately doesn’t exist any more. Proof by avoidance Chapter 3: The proof of this is delayed until Chapter 7 when we have developed the theory even further. Chapter 7: To make things easy, we only prove it for the case z = 0, but the general case in handled in Appendix C. Appendix C: The formal proof is beyond the scope of this book, but of course, our intuition knows this to be true.

Это юмористический список распространённых приёмов написания математических доказательств: запугивание, громоздкие обозначения, недоступная литература, призрачные ссылки, круговая аргументация, ссылка на авторитет, интернет-ссылка и уклонение от доказательства. Шутка высмеивает способы замаскировать отсутствие настоящего доказательства за сложным видом, ненадёжными источниками или обещанием доказать всё позже. EN: This is a humorous list of common mathematical proof techniques: intimidation, cumbersome notation, inaccessible literature, ghost references, circular reasoning, appeals to authority, internet references, and avoidance. The joke mocks ways of disguising the absence of a real proof behind complicated-looking notation, unreliable sources, or a promise to prove everything later.

• @ithueti / 14418 2024-10-29