List questions from provability

Published on 19 Oct 2014 - 13:56

382

Views

How can Goodstein's theorem be expressed in PA

Published on 20 Oct 2014 - 21:12

127

Views

Existence(?) of a set whose cardinality cannot be determined in ZFC

Published on 29 Nov 2014 - 16:29

520

Views

Theorems of GL in modal logic

Published on 25 Mar 2026 - 7:49

38.6k

Views

What is a simple example of an unprovable statement?

Published on 05 Dec 2014 - 1:09

356

Views

Provably total functions?

Published on 05 Dec 2014 - 21:00

1k

Views

Goldbach's conjecture can't be proved to be undecidable?

Published on 07 Dec 2014 - 7:27

485

Views

$\omega$-consistent in Gödel I

Published on 11 Dec 2014 - 0:58

324

Views

is this formula provable in predicate logic? ⊢ (∀x)(∀y)(f(x1) = y1 → ((∀z)g(z) = f(x1) ≡ (∀z)g(z) = y1))

Published on 16 Dec 2014 - 22:30

64

Views

Theorem proved only when assumed provable, Löbs theorem

Published on 02 Oct 2019 - 6:47

1.7k

Views

Prove the inequality is true

Published on 03 Oct 2019 - 3:43

84

Views

To be provable and to be complete is the same?

Published on 08 Oct 2019 - 19:54

267

Views

Provability and computability

Published on 08 Nov 2019 - 6:17

25

Views

Reliability and Provability

Published on 24 Feb 2026 - 12:50

130

Views

Faulty argument that all statements are provably undeciable, provable, or unprovable

Published on 27 Nov 2019 - 23:00

List Question

True but unprovable?

How can Goodstein's theorem be expressed in PA

Existence(?) of a set whose cardinality cannot be determined in ZFC

Theorems of GL in modal logic

What is a simple example of an unprovable statement?

Provably total functions?

Goldbach's conjecture can't be proved to be undecidable?

$\omega$-consistent in Gödel I

is this formula provable in predicate logic? ⊢ (∀x)(∀y)(f(x1) = y1 → ((∀z)g(z) = f(x1) ≡ (∀z)g(z) = y1))

Theorem proved only when assumed provable, Löbs theorem

Prove the inequality is true

To be provable and to be complete is the same?

Provability and computability

Reliability and Provability

Faulty argument that all statements are provably undeciable, provable, or unprovable

Trending Questions

Popular # Hahtags

Popular Questions