للفيزياء أوبنهايمر واحد، وعندنا في التحسيب اثنان، إنهما كوك وليفن، مدمِّرا العوالم الجديدة. لهذين الرجلين فضلٌ عظيم على علم التحسيب النظري لا يُبارى، بل هما مِن مُنجبي نظرية التعقيد الحسابي، جوهر علوم الحوسبة وأساسها