Banyak ahli percaya bahwa benar dan menggunakannya dalam hasil mereka. Kekhawatiran saya adalah bahwa kompleksitasnya sangat tergantung pada .
Jadi pertanyaan saya adalah:
Selama tidak terbukti, bisakah / haruskah seseorang menganggapnya sebagai hukum alam, seperti yang ditunjukkan dalam kutipan dari Strassen? Atau haruskah kita memperlakukannya sebagai dugaan matematis yang mungkin terbukti atau tidak terbukti suatu hari nanti?
Mengutip:
"Bukti yang mendukung hipotesis Cook dan Valiant sangat luar biasa, dan konsekuensi dari kegagalan mereka begitu aneh, sehingga status mereka mungkin dibandingkan dengan hukum-hukum fisik dan bukan dugaan matematika biasa."
[Volker Strassen Ini puji-pujian kepada pemenang Nevanlinna Hadiah, Leslie G. Valian, pada tahun 1986]
Saya mengajukan pertanyaan ini ketika membaca posting hasil Fisika di TCS? . Hal ini mungkin menarik untuk dicatat bahwa kompleksitas komputasi memiliki beberapa kesamaan dengan (teoritis) fisik: banyak hasil kompleksitas penting telah terbukti dengan asumsi , sementara dalam hasil fisik teoritis terbukti dengan mengasumsikan beberapa hukum-hukum fisika . Dalam hal ini, dapat dianggap sesuatu seperti . Kembali ke hasil Fisika di TCS? :
Mungkinkah (bagian dari) TCS menjadi cabang ilmu alam?
Klarifikasi:
(lihat jawaban Suresh di bawah)
Apakah sah untuk mengatakan bahwa dugaan dalam teori kompleksitas sama mendasarnya dengan hukum fisika dalam fisika teoretis (seperti yang dikatakan Strassen)?