Die Motivation für diese Frage ist die Tatsache, dass die meisten n-Bit-Strings inkompressibel sind. Intuitiv können wir analog vorschlagen, dass die meisten Beweise für Tautologien für die Polynomgröße inkompressibel sind. Grundsätzlich ist meine Intuition, dass einige Beweise von Natur aus zufällig sind und nicht komprimiert werden können.
Gibt es eine gute Referenz zu Forschungsanstrengungen im Zusammenhang mit der Verwendung von Kolmogorov-Komplexitätsergebnissen, um superpolynomielle Untergrenzen für die Beweisgröße von Tautologien festzulegen?
In diesem Ph.D. Dissertation über die Komplexität aussagekräftiger Beweissysteme Die Inkomprimierbarkeitsmethode von Kolmogorov Complexity wird verwendet, um die Untergrenze von Urquharts für eine Klasse von Tautologien zu erhalten. Ich frage mich, ob es stärkere Ergebnisse mit der Inkompressibilitätsmethode oder andere Ergebnisse aus der Kolmogorov-Komplexität gibt.