New posts in provability

Difference between 'true' and 'provable'

logic provability

In what sense is $\sf ZFC$ "stronger" than Peano arithmetic?

logic model-theory formal-languages provability

A sentence asserting about itself that if it is provable, then it is true

logic provability

Is every property of the integers provable?

integers provability

Were there any proofs of whether or not a statement could be proved true or false before Gödel's Incompleteness Theorems?

set-theory incompleteness provability

What is the truth value if any for $f(x)=y$ when $x$ is outside of the domain of $f$?

functions elementary-set-theory logic provability

Prove the inequality is true

inequality provability

Prove or disprove: if Γ ⊢ α and Γ ⊆ ∆ then ∆ ⊢ α

logic first-order-logic provability

What's the difference between "unprovable" and "undecidable"?

logic philosophy provability

Is it really impossible to lose the Hydra game?

graph-theory ordinals provability

Growth-rate vs totality

logic peano-axioms provability

Semantics for minimal logic

logic reference-request intuitionistic-logic provability nonclassical-logic

Questions about logic and proof systems

logic provability

Gödel's paradox: Why is "a proof that some universal statement is unprovable" not a valid proof that this statement is true? [duplicate]

logic foundations provability

Is there a decision procedure for intuitionistic propositional logic?

logic algorithms intuitionistic-logic provability decidability

Number of k-tuples of non-negative integers whose sum equals a given integer

combinatorics binomial-coefficients integer-partitions multinomial-coefficients provability

Statement provable for all parameters, but unprovable when quantified

logic incompleteness peano-axioms provability

BIG LIST: Statements that look obviously false but cannot be disproved

soft-question recreational-mathematics big-list provability

Model of concatenation theory with left-cancellation but no right-cancellation

logic model-theory proof-theory provability nonstandard-models

How long can proofs be?

logic computational-complexity provability