ON THE EXISTENCE OF STRONG PROOF COMPLEXITY GENERATORS (Q6204144)
From MaRDI portal
scientific article; zbMATH DE number 7828957
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ON THE EXISTENCE OF STRONG PROOF COMPLEXITY GENERATORS |
scientific article; zbMATH DE number 7828957 |
Statements
ON THE EXISTENCE OF STRONG PROOF COMPLEXITY GENERATORS (English)
0 references
9 April 2024
0 references
proof complexity generators
0 references
bounded arithmetic
0 references
weak pigeonhole principle
0 references
time-bounded Kolmogorov complexity
0 references
proof search
0 references
feasible disjunction property
0 references
0 references
0 references
