Question

Prove commutative law of multiplication using peano axioms.

score 1k · Answer 1 · 2017-03-26 00:22:23

1k

Views

Prove commutative law of multiplication using peano axioms.

Published on 26 Mar 2017 - 0:22

score 56 · Answer 2 · 2017-03-26 07:01:52

56

Views

The product of any nonzero irrational number and any integer constant is irrational.

Published on 26 Mar 2017 - 7:01

score 224 · Answer 3 · 2017-03-27 11:36:06

224

Views

Are there any recent advances in formalizing the undecidability of $\mathit{CH}$?

Published on 27 Mar 2017 - 11:36

score 180 · Answer 4 · 2017-03-28 19:33:25

180

Views

Prove $\sqrt{n+1} < \sqrt{n} + 1 $

Published on 28 Mar 2017 - 19:33

score 84 · Answer 5 · 2017-03-29 14:17:50

84

Views

Different kind of proofs.

Published on 29 Mar 2017 - 14:17

score 1.2k · Answer 6 · 2017-03-31 23:30:00

1.2k

Views

What are some good proofs to read?

Published on 31 Mar 2017 - 23:30

score 57 · Answer 7 · 2017-04-03 10:33:37

57

Views

Attempt to prove the $∀d∀x∀y (d | x ∧ d | y ∧ x ≤ y → d | y- x)$ property of the “divides” relation for non-negative integers

Published on 03 Apr 2017 - 10:33

score 5.8k · Answer 8 · 2017-04-04 01:42:37

5.8k

Views

What is the theorem that has the most proofs?

Published on 04 Apr 2017 - 1:42

score 119 · Answer 9 · 2017-04-04 21:31:36

119

Views

Proving $∀x (x ≠ 0 → gcd(x, 0) = x)$ formally attempt

Published on 04 Apr 2017 - 21:31

score 6.9k · Answer 10 · 2026-03-27 04:00:04

6.9k

Views

Use Fitch system to proof ((p ⇒ q) ⇒ p) ⇒ p without any premise. ONLY FOR FITCH SYSTEM.

Published on 27 Mar 2026 - 4:00

score 75 · Answer 11 · 2026-03-25 03:03:46

75

Views

Proof of distributivity of $\land$ over $\lor$ using disjE in natural deduction

Published on 25 Mar 2026 - 3:03

score 291 · Answer 12 · 2023-02-19 01:44:00

291

Views

Prove the recurrence relation $T(n) = 2T(n/2) + n$ is equal to $n\log(n) + n$ using induction

Published on 19 Feb 2023 - 1:44

score 90 · Answer 13 · 2023-02-21 04:13:20

90

Views

Divergent subsequence of a divergent sequence

Published on 21 Feb 2023 - 4:13

score 190 · Answer 14 · 2023-03-17 16:21:04

190

Views

Reasoning in natural language vs. reasoning in formal language

Published on 17 Mar 2023 - 16:21

score 115 · Answer 15 · 2023-03-17 18:32:23

115

Views

For any sets $A, B, C$ within a universal $U$ set, prove that $A\cup B \subseteq C$ iff $(A \cup C)\cap (B \cup C) = U$

Published on 17 Mar 2023 - 18:32

List Question

Prove commutative law of multiplication using peano axioms.

The product of any nonzero irrational number and any integer constant is irrational.

Are there any recent advances in formalizing the undecidability of $\mathit{CH}$?

Prove $\sqrt{n+1} < \sqrt{n} + 1 $

Different kind of proofs.

What are some good proofs to read?

Attempt to prove the $∀d∀x∀y (d | x ∧ d | y ∧ x ≤ y → d | y- x)$ property of the “divides” relation for non-negative integers

What is the theorem that has the most proofs?

Proving $∀x (x ≠ 0 → gcd(x, 0) = x)$ formally attempt

Use Fitch system to proof ((p ⇒ q) ⇒ p) ⇒ p without any premise. ONLY FOR FITCH SYSTEM.

Proof of distributivity of $\land$ over $\lor$ using disjE in natural deduction

Prove the recurrence relation $T(n) = 2T(n/2) + n$ is equal to $n\log(n) + n$ using induction

Divergent subsequence of a divergent sequence

Reasoning in natural language vs. reasoning in formal language

For any sets $A, B, C$ within a universal $U$ set, prove that $A\cup B \subseteq C$ iff $(A \cup C)\cap (B \cup C) = U$

Trending Questions

Popular # Hahtags

Popular Questions