New posts in proof-writing

Putting "$\forall y(y \in x \to \exists A \in F(y \in A))$" into words

proof-writing definition

Example of the composition of an integrable function with a continuous function that is not integrable [duplicate]

real-analysis integration proof-verification proof-writing

What is a "positive statement" in mathematical proof?

proof-writing terminology definition

Show that the set of polynomials with rational coefficients is countable.

polynomials proof-verification proof-writing rational-numbers

Prove the third isomorphism theorem

group-theory proof-writing abstract-algebra

Prove if $n^2$ is even, then $n^2$ is divisible by 4

elementary-number-theory discrete-mathematics proof-writing

Proof by induction; $a^n$ divides $b^n$ implies $a$ divides $b$

number-theory elementary-number-theory proof-writing induction

Why are linear combinations of independent standard normal random variables also normally distributed?

probability probability-theory probability-distributions proof-writing

Is there a proof that performing an operation on both sides of an equation preserves equality?

abstract-algebra group-theory proof-writing axioms

$A \in B$ vs. $A \subset B$ for proofs

elementary-set-theory proof-writing

Has Euler's Constant $\gamma$ been proven to be irrational?

proof-writing irrational-numbers euler-mascheroni-constant

How does one begin to even write a proof?

real-analysis soft-question proof-writing

Why are direct proofs often considered better than indirect proofs? [closed]

logic proof-writing soft-question

$P$ is a prime ideal of $R$ iff $R/P$ is an integral domain. : $P≠R$

abstract-algebra proof-writing ideals maximal-and-prime-ideals integral-domain

$\infty - \infty = 0$ ?

sequences-and-series proof-writing

For 2 orthogonal vectors, is tan(a)tan(b)=-1?

geometry trigonometry proof-writing vectors proof-explanation

Prove $ e^x = \exp(x) $ starting with their limits-based definitions

limits proof-writing exponential-function

Image of closed unit ball under a compact operator

functional-analysis proof-writing

Proof of big-O notation

proof-writing computer-science education

How to prove a transcendental equation is never zero or sometimes zero?

proof-writing symbolic-computation transcendental-functions