How can something be proved unsolvable?
3978
How can you prove that a function has no closed form integral?
12340
Is "can not" unambiguous?
126713
Strong induction and vacuous truth
109858
How could a statement be true without proof?
50306
Why Goldbach's conjecture is difficult to prove?
105303
'Obvious' theorems that are actually false
5035
Can unprovability unprovable? Is there an $\omega$-fold unprovability?
101877
Assumed True until proven False. The Curious Case of the Vacuous Truth
75085
Can hypercomputation compute the impossible?
132041
Numbers which cannot be formed
141002
Is any aspect of the supernatural testable? What level of proof is possible for the supernatural?
2800
Is it possible to prove a null hypothesis?
43700
Are proofs by contradiction really logical?
87992
A proposition is non-falsifiable. So what?
123166
Check the statements about irreducibility
45481
Prove or disprove validity: $(\forall x \exists y (P(x) \supset Q(y))) \supset(\exists y \forall x (P (x) \supset Q(y)))$
61489
Is there a statement whose undecidability is undecidable?