List questions from provability

Published on 19 Nov 2015 - 21:10

1.7k

Views

Can we continue a proof by contradiction even if we get to a contradiction?

Published on 25 Nov 2015 - 8:05

239

Views

How does Gödel's second incompleteness apply to any theory containing arithmetic?

Published on 25 Dec 2015 - 22:29

400

Views

Show that a theory is complete if and only if (B or C is provable) implies (either B is provable or C is provable)

Published on 10 Mar 2026 - 18:22

167

Views

Unary predicate for finite number of values

Published on 10 Apr 2016 - 20:57

161

Views

Impossibility of proving a foundation to be consistent

Published on 15 Apr 2016 - 7:10

38

Views

Show that if GL $\vdash$ X then for all interpretations $\xi_i$ of GL in PA, PA $\vdash \xi_i(X)$

Published on 24 Mar 2026 - 1:57

53

Views

The right way of defining a predicate

Published on 26 Feb 2026 - 23:25

87

Views

Can there be true but unprovable statements about object other than numbers?

Published on 17 Apr 2016 - 7:38

339

Views

Weak Representability and Derivability Condition 1

Published on 24 Feb 2026 - 18:10

263

Views

Busy Beaver unprovoable for large inputs?

Published on 17 May 2016 - 16:09

237

Views

Inequality problem $\frac 1x + \frac 1y + \frac 1z > 5$ prove

Published on 18 May 2016 - 23:50

2.5k

Views

Is it really impossible to lose the Hydra game?

Published on 22 May 2016 - 2:38

608

Views

Why is the proof of Gödel's first incompleteness theorem no contradiction?

Published on 21 Jun 2016 - 21:20

204

Views

On the truth of $GLS$ and Löb's theorem

Published on 02 Jul 2016 - 15:56

List Question

Prove without using truth table

Can we continue a proof by contradiction even if we get to a contradiction?

How does Gödel's second incompleteness apply to any theory containing arithmetic?

Show that a theory is complete if and only if (B or C is provable) implies (either B is provable or C is provable)

Unary predicate for finite number of values

Impossibility of proving a foundation to be consistent

Show that if GL $\vdash$ X then for all interpretations $\xi_i$ of GL in PA, PA $\vdash \xi_i(X)$

The right way of defining a predicate

Can there be true but unprovable statements about object other than numbers?

Weak Representability and Derivability Condition 1

Busy Beaver unprovoable for large inputs?

Inequality problem $\frac 1x + \frac 1y + \frac 1z > 5$ prove

Is it really impossible to lose the Hydra game?

Why is the proof of Gödel's first incompleteness theorem no contradiction?

On the truth of $GLS$ and Löb's theorem

Trending Questions

Popular # Hahtags

Popular Questions