Pertimbangkan alasan berikut:
Misalkan menunjukkan kompleksitas Kolmogorov dari string . Teorema ketidaklengkapan Chaitin mengatakan itux
untuk konsisten dan cukup kuat resmi sistem , terdapat konstan (tergantung hanya pada sistem formal dan bahasanya) sehingga untuk setiap string , tidak dapat membuktikan bahwa .T x S K ( x ) ≥ T
Biarkan menjadi fungsi Boolean pada variabel st kompleksitas Kolmogorov spektrumnya paling banyak . Misalkan menjadi kompleksitas sirkuit , yaitu ukuran komputasi sirkuit minimal . n k S ( f n ) f n f n
A (kasar) terikat atas untuk adalah untuk konstanta dan adalah fungsi berang-berang yang sibuk (langkah maksimum yang mungkin dilakukan penghentian Mesin Turing dengan deskripsi ukuran dapat melakukan). (Untuk setiap dalam spektrum, buat minterm dari penetapan kebenaran yang sesuai, dan ambil ATAU dari semua minterm ini.)S ( f n ) ≤ c ⋅ B B ( k ) ⋅ n c B B ( k )
Misalkan sekarang untuk keluarga tak terbatas dari fungsi Boolean , kami memiliki bukti formal bahwa memerlukan sirkuit ukuran superlinear, yaitu L
Jika kita mengambil menjadi cukup besar, kita akan memiliki g (n)> c \ cdot BB (T)
Secara khusus ini akan menjadi bukti bahwa kompleksitas Kolmogorov dari spektrum setidaknya , yang tidak mungkin.
Ini mengarah pada dua pertanyaan:
1) Seharusnya ada yang salah dalam alasan di atas. Terutama karena itu akan membuat sirkuit batas bawah lebih rendah secara formal tidak dapat dibuktikan.
2) Apakah Anda tahu pendekatan serupa untuk menunjukkan hambatan untuk batas bawah, yaitu, menunjukkan bahwa jenis batas bawah (sirkuit) tertentu secara formal tidak dapat dibuktikan?