research
∙
04/02/2023
Ruling Out Short Proofs of Unprovable Sentences is Hard
If no optimal propositional proof system exists, we (and independently P...
share
research
∙
01/12/2023
Hardness of Ruling Out Short Proofs of Kolmogorov Randomness
A meta-complexity assumption, Feasible Chaitin Incompleteness (FCI), ass...
research
∙
05/16/2022
