Question

Supervision of formal proof of cut rule

score 57 · Answer 1 · 2026-04-10 21:57:15

57

Views

Supervision of formal proof of cut rule

Published on 10 Apr 2026 - 21:57

score 451 · Answer 2 · 2026-04-15 11:51:15

451

Views

Proving that addition in $\mathbb{N}$ is associative and commutative

Published on 15 Apr 2026 - 11:51

score 1.5k · Answer 3 · 2026-04-16 09:11:40

1.5k

Views

Vector space basics: scalar times a nonzero vector = zero implies scalar = zero?

Published on 16 Apr 2026 - 9:11

score 1k · Answer 4 · 2026-04-11 23:10:21

1k

Views

Proving that something is an isomorphism between group generators.

Published on 11 Apr 2026 - 23:10

score 49 · Answer 5 · 2026-04-11 09:14:10

49

Views

Proof verification of a convergent sequence

Published on 11 Apr 2026 - 9:14

score 348 · Answer 6 · 2026-04-14 17:36:11

348

Views

Let $A$ be an infinite set and B a countable set, show that $\vert A \cup B \vert = \vert A \vert$

Published on 14 Apr 2026 - 17:36

score 155 · Answer 7 · 2026-04-14 00:02:33

155

Views

Please check my proof that subset of countable set is countable

Published on 14 Apr 2026 - 0:02

score 161 · Answer 8 · 2026-04-13 22:48:06

161

Views

Decompose an invertible matrix into an exchangeable product of diagonalizable matrix and a matrix with all the eigenvalues equal to $1$

Published on 13 Apr 2026 - 22:48

score 64 · Answer 9 · 2026-04-16 03:32:42

64

Views

Suppose we have a number $p>1$, then show that p is a prime if and only if $\sigma(p)=p+1$

Published on 16 Apr 2026 - 3:32

score 101 · Answer 10 · 2026-04-15 01:11:23

101

Views

Show that $f:\mathbb{R}\to\mathbb{R}, f(x)=\frac{1}{1+|x|}$ is uniformly continuous

Published on 15 Apr 2026 - 1:11

score 39 · Answer 11 · 2026-04-12 09:20:53

39

Views

Checking solution for the following proof for intersection of Power sets

Published on 12 Apr 2026 - 9:20

score 62 · Answer 12 · 2026-04-15 21:57:44

62

Views

Proofcheck: $|f| \leq 1$ $\mu-$a.e. then $\lim_{n \to \infty} \int_{\mathbb R} |f(x)|^{n}d\lambda (x) = \lambda(\{|f|=1\})$

Published on 15 Apr 2026 - 21:57

score 964 · Answer 13 · 2026-04-15 15:12:02

964

Views

Prove that n squared is less than or equal to 2 to the n by induction.

Published on 15 Apr 2026 - 15:12

score 718 · Answer 14 · 2026-05-11 06:57:20

718

Views

An Ideal I of $ \mathbb Z[\sqrt 3]$ generated by an integer prime, such that $\mathbb Z[ \sqrt 3]/I$ is not an integral domain.

Published on 11 May 2026 - 6:57

score 494 · Answer 15 · 2026-04-12 12:31:23

494

Views

Prove that convergence of a sequence implies boundedness of its variation.

Published on 12 Apr 2026 - 12:31

List Question

Supervision of formal proof of cut rule

Proving that addition in $\mathbb{N}$ is associative and commutative

Vector space basics: scalar times a nonzero vector = zero implies scalar = zero?

Proving that something is an isomorphism between group generators.

Proof verification of a convergent sequence

Let $A$ be an infinite set and B a countable set, show that $\vert A \cup B \vert = \vert A \vert$

Please check my proof that subset of countable set is countable

Decompose an invertible matrix into an exchangeable product of diagonalizable matrix and a matrix with all the eigenvalues equal to $1$

Suppose we have a number $p>1$, then show that p is a prime if and only if $\sigma(p)=p+1$

Show that $f:\mathbb{R}\to\mathbb{R}, f(x)=\frac{1}{1+|x|}$ is uniformly continuous

Checking solution for the following proof for intersection of Power sets

Proofcheck: $|f| \leq 1$ $\mu-$a.e. then $\lim_{n \to \infty} \int_{\mathbb R} |f(x)|^{n}d\lambda (x) = \lambda(\{|f|=1\})$

Prove that n squared is less than or equal to 2 to the n by induction.

An Ideal I of $ \mathbb Z[\sqrt 3]$ generated by an integer prime, such that $\mathbb Z[ \sqrt 3]/I$ is not an integral domain.

Prove that convergence of a sequence implies boundedness of its variation.

Trending Questions

Popular # Hahtags

Popular Questions