Ilmu formal

Di pertengahan abad ke 20, matematika berkembang dengan munculnya ilmu matematika dan disiplin teknik seperti riset operasi dan teknik sistem. Ilmu mengambil keuntungan dari penelitian dasar di bidang kelistrikan yang lalu berkembang komputer. Kemajuan ini juga mengembangkan teori informasi, analisis numerik, komputasional ilmiah, dan ilmu komputer teoretis. Ilmu komputer teoretis juga berkembang dari logika matematika, yang masuk ke dalam teori komputasi