Motivasi untuk pertanyaan ini adalah fakta bahwa sebagian besar string n-bit tidak dapat dimampatkan. Secara intuitif, kita dapat mengusulkan dengan analogi bahwa sebagian besar bukti untuk Tautologi tidak dapat dikompresi dengan ukuran polinomial. Pada dasarnya, intuisi saya adalah bahwa beberapa bukti secara inheren acak dan tidak dapat dikompresi.
Apakah ada referensi yang baik pada upaya penelitian terkait dengan menggunakan hasil kompleksitas Kolmogorov untuk menetapkan batas bawah super-polinomial pada ukuran bukti Tautologi?
Dalam Ph.D. Disertasi Mengenai Kompleksitas Sistem Bukti Proposisi metode Incompressibility dari Kolmogorov Complexity digunakan untuk mendapatkan batas bawah Urquhart untuk kelas Tautologi. Saya ingin tahu apakah ada hasil yang lebih kuat menggunakan metode Incompressibility atau hasil lain dari kompleksitas Kolmogorov?