scientific article
From MaRDI portal
Publication:3786479
zbMath0644.03031MaRDI QIDQ3786479
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Structure of proofs (03F07) Complexity of proofs (03F20)
Related Items
The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem ⋮ The Kreisel length-of-proof problem ⋮ The number of proof lines and the size of proofs in first order logic ⋮ A theorem on generalizations of proofs ⋮ On the number of steps in proofs ⋮ The undecidability of \(k\)-provability ⋮ A unification-theoretic method for investigating the \(k\)-provability problem ⋮ New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems
