Question

On provability within minimal logic

score 202 · Answer 1 · 2014-02-01 17:50:36

202

Views

On provability within minimal logic

Published on 01 Feb 2014 - 17:50

score 925 · Answer 2 · 2014-02-25 12:57:45

925

Views

What other unprovable theorems are there?

Published on 25 Feb 2014 - 12:57

score 92 · Answer 3 · 2017-04-17 07:52:02

92

Views

Help with modal logical deduction in K4

Published on 17 Apr 2017 - 7:52

score 46 · Answer 4 · 2017-04-19 19:36:26

46

Views

Are there any conjectures known not to be independent that have neither been proven true or false?

Published on 19 Apr 2017 - 19:36

score 225 · Answer 5 · 2017-04-29 11:52:40

225

Views

Proving an equation $\displaystyle\lim_{\Delta x \to 0}\sum_{x=0}^{2} [(f'(x)e^{6x}\Delta x] = \int_{0}^{2} e^{14x}dx $

Published on 29 Apr 2017 - 11:52

score 23 · Answer 6 · 2017-05-07 17:33:14

When k drawings are made in succession from n balls and every time ball is white then chance that next ball will be white

score 7k · Answer 7 · 2017-05-09 18:25:28

7k

Views

Is there any conjecture that we know is provable/disprovable but we haven't found a proof of yet?

Published on 09 May 2017 - 18:25

score 310 · Answer 8 · 2017-05-12 22:22:00

310

Views

What portion of mathematical statements are ZFC undecidable?

Published on 12 May 2017 - 22:22

score 407 · Answer 9 · 2026-02-23 17:24:53

407

Views

Can you prove a theorem by proving it’s undecidable? (Numberphile question)

Published on 23 Feb 2026 - 17:24

score 562 · Answer 10 · 2017-06-07 08:29:55

562

Views

Are provable statements at the bottom of the arithmetical hierarchy?

Published on 07 Jun 2017 - 8:29

score 60 · Answer 11 · 2017-06-13 00:10:25

60

Views

Determine the basis of a subset V in a vector space of R3

Published on 13 Jun 2017 - 0:10

score 667 · Answer 12 · 2017-06-20 01:29:46

667

Views

Prove that if you chose 8 numbers from the set $\{1,2,3,\ldots,14\}$ , at least one of these numbers divides another?

Published on 20 Jun 2017 - 1:29

score 87 · Answer 13 · 2026-03-25 09:34:37

87

Views

Numbers made from digits 1-9 -- proving the exceptions?

Published on 25 Mar 2026 - 9:34

score 283 · Answer 14 · 2026-03-26 02:56:18

283

Views

The existence of unprovably unprovable statements provable in ZFC

Published on 26 Mar 2026 - 2:56

score 936 · Answer 15 · 2017-09-12 17:30:15

936

Views

Property of "provability predicate"

Published on 12 Sep 2017 - 17:30

List Question

On provability within minimal logic

What other unprovable theorems are there?

Help with modal logical deduction in K4

Are there any conjectures known not to be independent that have neither been proven true or false?

Proving an equation $\displaystyle\lim_{\Delta x \to 0}\sum_{x=0}^{2} [(f'(x)e^{6x}\Delta x] = \int_{0}^{2} e^{14x}dx $

When k drawings are made in succession from n balls and every time ball is white then chance that next ball will be white

Is there any conjecture that we know is provable/disprovable but we haven't found a proof of yet?

What portion of mathematical statements are ZFC undecidable?

Can you prove a theorem by proving it’s undecidable? (Numberphile question)

Are provable statements at the bottom of the arithmetical hierarchy?

Determine the basis of a subset V in a vector space of R3

Prove that if you chose 8 numbers from the set $\{1,2,3,\ldots,14\}$ , at least one of these numbers divides another?

Numbers made from digits 1-9 -- proving the exceptions?

The existence of unprovably unprovable statements provable in ZFC

Property of "provability predicate"

Trending Questions

Popular # Hahtags

Popular Questions