Question

Proof that the square root of a non-perfect square is irrational

score 4k · Answer 1 · 2020-02-27 06:32:08

4k

Views

Proof that the square root of a non-perfect square is irrational

Published on 27 Feb 2020 - 6:32

score 275 · Answer 2 · 2020-02-28 21:58:06

275

Views

Is the powers of $base-2$ always exponential in the number of digits?

Published on 28 Feb 2020 - 21:58

score 54 · Answer 3 · 2026-03-26 07:33:27

54

Views

Are there any "visual proofs" that have no formal written proof?

Published on 26 Mar 2026 - 7:33

score 101 · Answer 4 · 2026-03-25 02:57:22

101

Views

Can computer use the Henkin method?

Published on 25 Mar 2026 - 2:57

score 38 · Answer 5 · 2020-03-01 18:08:50

38

Views

Negating the Formal Definition of a Limit

Published on 01 Mar 2020 - 18:08

score 176 · Answer 6 · 2026-03-26 05:55:56

176

Views

Proving $(A \lor ¬B) \rightarrow (A \rightarrow B)$ is a tautology with Fitch-style deduction

Published on 26 Mar 2026 - 5:55

score 429 · Answer 7 · 2026-02-23 04:59:34

429

Views

What is the proof of reductio ad absurdum (RAA) in a Łukasiewicz axiom system for propositional logic with only modus ponens?

Published on 23 Feb 2026 - 4:59

score 243 · Answer 8 · 2020-03-04 21:58:03

243

Views

Proving that $\forall x\exists y(x = y)$

Published on 04 Mar 2020 - 21:58

score 76 · Answer 9 · 2026-03-25 12:32:00

76

Views

How prove/state things formally (mathematically speaking)

Published on 25 Mar 2026 - 12:32

score 147 · Answer 10 · 2020-03-11 09:07:08

147

Views

Formal Proof - Multiple Premises

Published on 11 Mar 2020 - 9:07

score 990 · Answer 11 · 2026-03-25 16:02:27

990

Views

Formalized proof for any (already proven) theorem of Mathematics?

Published on 25 Mar 2026 - 16:02

score 64 · Answer 12 · 2020-03-25 02:44:50

64

Views

Prove that for every $\varepsilon > 0$ there exists $\delta > 0$ such that if $|x − 3| < \delta$, then $|x^2 − 5x + 6| < \varepsilon$.

Published on 25 Mar 2020 - 2:44

score 291 · Answer 13 · 2020-03-28 16:53:46

291

Views

How to keep quantifiers organised in a proof?

Published on 28 Mar 2020 - 16:53

score 43 · Answer 14 · 2020-03-31 21:14:50

43

Views

Proof relating to equivalence classes

Published on 31 Mar 2020 - 21:14

score 34 · Answer 15 · 2020-04-09 16:30:09

34

Views

Is there any proof system with classical semantic that can drive all sentences but tautology?

Published on 09 Apr 2020 - 16:30

List Question

Proof that the square root of a non-perfect square is irrational

Is the powers of $base-2$ always exponential in the number of digits?

Are there any "visual proofs" that have no formal written proof?

Can computer use the Henkin method?

Negating the Formal Definition of a Limit

Proving $(A \lor ¬B) \rightarrow (A \rightarrow B)$ is a tautology with Fitch-style deduction

What is the proof of reductio ad absurdum (RAA) in a Łukasiewicz axiom system for propositional logic with only modus ponens?

Proving that $\forall x\exists y(x = y)$

How prove/state things formally (mathematically speaking)

Formal Proof - Multiple Premises

Formalized proof for any (already proven) theorem of Mathematics?

Prove that for every $\varepsilon > 0$ there exists $\delta > 0$ such that if $|x − 3| < \delta$, then $|x^2 − 5x + 6| < \varepsilon$.

How to keep quantifiers organised in a proof?

Proof relating to equivalence classes

Is there any proof system with classical semantic that can drive all sentences but tautology?

Trending Questions

Popular # Hahtags

Popular Questions