Question

Prove that every Isosceles triangle with two equal sides third side is equal to $c = \pm(a+b)$

score 100 · Answer 1 · 2023-03-10 15:01:35

100

Views

Prove that every Isosceles triangle with two equal sides third side is equal to $c = \pm(a+b)$

Published on 10 Mar 2023 - 15:01

score 20 · Answer 2 · 2026-02-23 12:04:31

20

Views

Arrangement of element such that no two share the same position nor the same order

Published on 23 Feb 2026 - 12:04

score 60 · Answer 3 · 2026-02-23 12:05:34

60

Views

Reflection principle for finite subsystems of PA.

Published on 23 Feb 2026 - 12:05

score 39 · Answer 4 · 2023-06-30 14:11:48

39

Views

Estimating Set Size from Sample Data

Published on 30 Jun 2023 - 14:11

score 193 · Answer 5 · 2026-03-25 12:48:45

193

Views

Is there a proposition that cannot be proven to be provable(or not)?

Published on 25 Mar 2026 - 12:48

score 107 · Answer 6 · 2026-03-25 07:43:31

107

Views

Is someone trying to solve problems by building all possible proofs using all possible rules of inference?

Published on 25 Mar 2026 - 7:43

score 108 · Answer 7 · 2023-10-12 14:19:14

108

Views

Prove $\sqrt{-3+44a} \in N$ can't be a square root of a square of a natural number

Published on 12 Oct 2023 - 14:19

score 23 · Answer 8 · 2023-11-13 20:58:56

23

Views

Proving minimum steps solution for a math quiz

Published on 13 Nov 2023 - 20:58

score 117 · Answer 9 · 2023-11-17 10:39:40

117

Views

Does a Turing machine exist with output 1 if an unprovable statement is true and 0 otherwise?

Published on 17 Nov 2023 - 10:39

score 100 · Answer 10 · 2026-02-23 06:39:30

100

Views

Is $(\phi\implies\psi) \iff ((\phi\land\psi)\lor \neg\phi) $ provable in the following hilbert calculus without contraposition or reductio?

Published on 23 Feb 2026 - 6:39

score 62 · Answer 11 · 2023-12-09 15:12:44

62

Views

Proving the existence of an element $x$ in a set $X$ so that $\text{F}(X) \geq \text{f}(x)$ becomes an equality given some rules for f and F

Published on 09 Dec 2023 - 15:12

score 205 · Answer 12 · 2026-03-25 06:08:18

205

Views

Consistent theories $T$ such that $T+\mathrm{Con}(T+\mathrm{Con}(T))$ is inconsistent

Published on 25 Mar 2026 - 6:08

score 65 · Answer 13 · 2024-01-28 04:49:44

65

Views

Does any computable $T\supset PA^-$ have a provability predicate satisfying Hilbert-Berneys conditions?

Published on 28 Jan 2024 - 4:49

score 83 · Answer 14 · 2024-02-08 14:34:47

83

Views

Are there examples of statements not provable in PA that do not require fast growing (not prf) functions?

Published on 08 Feb 2024 - 14:34

score 120 · Answer 15 · 2024-03-29 13:52:25

120

Views

Is Gödels second incompleteness theorem provable within peano arithmetic?

Published on 29 Mar 2024 - 13:52

List Question

Prove that every Isosceles triangle with two equal sides third side is equal to $c = \pm(a+b)$

Arrangement of element such that no two share the same position nor the same order

Reflection principle for finite subsystems of PA.

Estimating Set Size from Sample Data

Is there a proposition that cannot be proven to be provable(or not)?

Is someone trying to solve problems by building all possible proofs using all possible rules of inference?

Prove $\sqrt{-3+44a} \in N$ can't be a square root of a square of a natural number

Proving minimum steps solution for a math quiz

Does a Turing machine exist with output 1 if an unprovable statement is true and 0 otherwise?

Is $(\phi\implies\psi) \iff ((\phi\land\psi)\lor \neg\phi) $ provable in the following hilbert calculus without contraposition or reductio?

Proving the existence of an element $x$ in a set $X$ so that $\text{F}(X) \geq \text{f}(x)$ becomes an equality given some rules for f and F

Consistent theories $T$ such that $T+\mathrm{Con}(T+\mathrm{Con}(T))$ is inconsistent

Does any computable $T\supset PA^-$ have a provability predicate satisfying Hilbert-Berneys conditions?

Are there examples of statements not provable in PA that do not require fast growing (not prf) functions?

Is Gödels second incompleteness theorem provable within peano arithmetic?

Trending Questions

Popular # Hahtags

Popular Questions