List questions from proof-writing

Published on 10 Apr 2026 - 22:43

2.1k

Views

Let $X$ and $Y$ be connected spaces, then $X\times Y$ is connected

Published on 09 Apr 2026 - 3:39

650

Views

Formal argument for maximization of a sum of convex functions

Published on 25 Mar 2026 - 6:05

73

Views

How to prove set of hyperreals {1, 2, 3, ...} are > every real number

Published on 10 Apr 2026 - 11:38

6.7k

Views

How many $7$-digit numbers are there with non-repeating digits?

Published on 25 Mar 2026 - 17:38

54

Views

Equivalence definitions of limits of a sequence

Published on 10 Apr 2026 - 20:14

112

Views

Can the natural deduction system prove $P \iff ¬P$ to show that it's a contradiction?

Published on 09 Apr 2026 - 3:40

1.1k

Views

If p is a prime and $a^2 \equiv 1$ mod p, prove that $a \equiv \pm 1$ mod p.

Published on 26 Mar 2026 - 22:16

59

Views

Sum of Binomial Coefficients?

Published on 01 Apr 2026 - 11:33

1.6k

Views

Proving that softmax converges to argmax as we scale x

Published on 18 Feb 2018 - 23:29

1.5k

Views

Proof of $\angle$ sum of polygon.

Published on 01 Apr 2026 - 13:42

148

Views

$w^k$ and $w^{n-k}$ are conjugate and inverse of each other

Published on 26 Mar 2026 - 14:23

493

Views

What's the relationship between mathematical logic and just plain old "logic"? The notation differs, do the concepts? The rules?

Published on 25 Mar 2026 - 1:24

66

Views

Proof writing: Lagrange's theorem

Published on 20 Feb 2018 - 21:16

101

Views

Prove that the following set is a field

Published on 09 Apr 2026 - 3:53

List Question

Proving an inequality by rearranging it

Let $X$ and $Y$ be connected spaces, then $X\times Y$ is connected

Formal argument for maximization of a sum of convex functions

How to prove set of hyperreals {1, 2, 3, ...} are > every real number

How many $7$-digit numbers are there with non-repeating digits?

Equivalence definitions of limits of a sequence

Can the natural deduction system prove $P \iff ¬P$ to show that it's a contradiction?

If p is a prime and $a^2 \equiv 1$ mod p, prove that $a \equiv \pm 1$ mod p.

Sum of Binomial Coefficients?

Proving that softmax converges to argmax as we scale x

Proof of $\angle$ sum of polygon.

$w^k$ and $w^{n-k}$ are conjugate and inverse of each other

What's the relationship between mathematical logic and just plain old "logic"? The notation differs, do the concepts? The rules?

Proof writing: Lagrange's theorem

Prove that the following set is a field

Trending Questions

Popular # Hahtags

Popular Questions