List questions from formal-proofs

Published on 31 Aug 2016 - 2:40

165

Views

Elementary geometrical proof involving a trapezoid

Published on 31 Aug 2016 - 13:19

133

Views

Prove: $\forall n\in\mathbb{N}(3|n^2\Rightarrow 3|n)$

Published on 01 Sep 2016 - 10:18

432

Views

$(C + \bar{A})(AB + AB\bar{C})$ Simplifying Boolean

Published on 02 Sep 2016 - 1:21

1.6k

Views

Proving that $ax^2 + bx + c = dx^2 + ex + f$

Published on 10 Sep 2016 - 10:47

2k

Views

prove that the $\sqrt{n}$ is unbounded

Published on 10 Sep 2016 - 20:52

1k

Views

Proving a non-linear limit using epsilon and delta

Published on 13 Sep 2016 - 3:37

292

Views

Is "forall elimination twice with the same fresh variable" allowed?

Published on 26 Mar 2026 - 16:57

5.9k

Views

Suppose $a$ is a positive real number. Prove that there exists a natural number $n$ such that $0 < 1/n < a$.

Published on 03 Oct 2016 - 8:55

44

Views

Inequality with summations and roots

Published on 10 Oct 2016 - 20:50

583

Views

Gambler's ruin: verifying Markov property

Published on 10 Oct 2016 - 22:04

247

Views

Absolute value of the sum of two absolute values real analysis proof

Published on 20 Oct 2016 - 5:31

42

Views

Is this an acceptable and correct proof for conjugation(a^(-1)ba)^n = (a^(-1)b^(n)a)?

Published on 23 Oct 2016 - 4:27

66

Views

$\exists (p(x)\rightarrow q(a)) \vdash \forall y p(y) \rightarrow q(a)$

Published on 26 Mar 2026 - 20:16

108

Views

What is missing on Gödel's theorem explanation in "Emperor's New Mind" from Roger Penrose?

Published on 30 Oct 2016 - 15:34

List Question

Meaning of Either

Elementary geometrical proof involving a trapezoid

Prove: $\forall n\in\mathbb{N}(3|n^2\Rightarrow 3|n)$

$(C + \bar{A})(AB + AB\bar{C})$ Simplifying Boolean

Proving that $ax^2 + bx + c = dx^2 + ex + f$

prove that the $\sqrt{n}$ is unbounded

Proving a non-linear limit using epsilon and delta

Is "forall elimination twice with the same fresh variable" allowed?

Suppose $a$ is a positive real number. Prove that there exists a natural number $n$ such that $0 < 1/n < a$.

Inequality with summations and roots

Gambler's ruin: verifying Markov property

Absolute value of the sum of two absolute values real analysis proof

Is this an acceptable and correct proof for conjugation(a^(-1)ba)^n = (a^(-1)b^(n)a)?

$\exists (p(x)\rightarrow q(a)) \vdash \forall y p(y) \rightarrow q(a)$

What is missing on Gödel's theorem explanation in "Emperor's New Mind" from Roger Penrose?

Trending Questions

Popular # Hahtags

Popular Questions