New posts in provability

I don't understand Gödel's incompleteness theorem anymore

logic model-theory incompleteness provability

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

logic provability

Can unprovability unprovable? Is there an $\omega$-fold unprovability?

logic incompleteness provability

What is a simple example of an unprovable statement?

logic incompleteness provability

Is there any conjecture that has been proved to be solvable/provable but whose direct solution/proof is not yet known?

soft-question math-history conjectures provability