Keterbatasan kemampuan penyimpanan data dan prosedur pemrograman yang terlalu mendetail dan berbelit-belit membatasi tingkat kompleksitas algoritma yang diterapkan pada mesin-mesin komputer awal. Seiring perkembangan teknologi elektronika, mesin-mesin komputer semakin mampu menangani tugas-tugas yang kian besar dan kompleks. Sebagai tindak lanjut dari teorema ketidaklengkapan Godel, para ahli matematika kini mengkaji berbagai pemasalahan mengenai proses-proses algoritmik yang melahirkan ilmu komputer.

Beberapa dekade yang lalu, desain mesin komputer didasarkan pada teknologi mekanik. Salah satu penemunya adalah Blaise Pascal (1623-1662) dari Prancis, Gottfried Wilhelm Leibniz (1646-1716) dari Jerman, dan Charles Babbage (1792-1871) dari Inggris. Mesin-mesin ini merepresentasikan data melalui posisi roda-roda gigi. Output dari mesin-mesin Pascal dan Leibniz diperoleh dengan cara mengamati posisi akhir dari roda-roda gigi tersebut sebagaimana cara kita membaca angka-angka pada odometer mobil. Babbage, di lain pihak, memiliki visi tentang sebuah mesin (Mesin Analitis) yang dapat mencetak nilai-nilai output pada kertas sehingga kemungkinan kesalahan penulisan dapat dihilangkan.

Ilmu komputer adalah disiplin ilmu yang berupaya untuk membangun suatu landasan ilmiah bagi topik-topik seperti desain komputer, pemrograman komputer, pengolahan informasi, pemecahan masalah secara algoritmik, dan proses algoritmik itu sendiri. 

Fitur paling penting dalam bahasa pemrograman C yakni pointer. Kemampuan bahasa C yang memampukan program untuk mensimulasikan struktur data dinamis, yaitu struktur data yang dapat mengembang dan menyusut pada saat eksekusi, seperti linked list, queue, stack, dan tree. Pointer adalah variabel yang memiliki nilai berupa alamat memori.

Salah satu proses besar dalam pengembangan suatu ilmu pengetahuan adalah penyusunan teori-teori yang diabsahkan atau ditolak melalui eksperimentasi. Dalam beberapa kasus, teori-teori ini mengalami stagnasi selama waktu yang panjang, menunggu perkembangan teknologi untuk mencapai suatu titik di mana teori-teori tersebut dapat diuji. Dalam beberapa kasus lain, kemampuan-kemampuan teknologi saat itu mempengaruhi hal-hal yang menjadi pertimbangan ilmu pengetahuan tersebut.