Untuk menjawab "masalah apa yang dapat diselesaikan dengan komputasi", kami mengembangkan teori komputabilitas. Untuk masalah yang dapat dihitung, apakah ada teori untuk menjawab pertanyaan "apakah program yang saya dapatkan paling sederhana"?
Saya tidak berpikir kompleksitas komputasi menjawab pertanyaan itu. Saya pikir itu mempertimbangkan berapa lama kita perlu (meskipun diukur secara abstrak).
Saya tidak yakin apakah teori informasi algoritmik menjawab pertanyaan. Tampaknya teori berbicara tentang ukuran, di mana kesetaraan ukuran minimal dan paling sederhana tidak jelas bagi saya (well, setidaknya mereka merasa berbeda dengan saya).
Saya pikir teori setidaknya harus mendefinisikan hubungan "sederhana" atau "lebih sederhana dari".
Saya sekarang yakin bahwa saya harus melihat ke Kompleksitas Kolmogorov. Namun, saya ingin menjelaskan apa yang ada dalam pikiran saya ketika saya mengajukan pertanyaan.
Ketika saya meningkatkan suatu program, saya mencoba mengurangi koneksi yang tidak perlu antara bagian-bagian berbeda dari program (mungkin membagi ulang bagian-bagian sehingga ada koneksi yang lebih sedikit atau lebih lemah). Karena koneksi berkurang, program terasa "lebih sederhana". Oleh karena itu pilihan kata "sederhana" ketika saya mengucapkan pertanyaan. Sangat mungkin ukuran program juga menurun, tetapi itu adalah efek samping yang baik, bukan tujuan utama. Jelas, proses peningkatan tidak bisa berlangsung selamanya. Ada satu hal yang harus saya hentikan. Jika, hanya dengan mempertimbangkan "struktur" (maaf untuk konsep lain yang tidak ditentukan) atau "hubungan", dapatkah saya meyakinkan diri sendiri bahwa tidak ada lagi yang bisa dilakukan?
Di sini berisi deskripsi yang lebih baik tentang pengertian saya tentang kompleksitas.
Olaf Sporns (2007) Kompleksitas . Scholarpedia , 2 (10): 1623