কম্পিউটার
প্রাগৈতিহাসিক যুগে গণনার যন্ত্র উদ্ভাবিত বিভিন্ন প্রচেষ্টাকে কম্পিউটার ইতিহাস হিসেবে ধরা হয়। প্রাচীন কালে মানুষ একসময় সংখ্যা বুঝানোর জন্য ঝিনুক, নুড়ি, দড়ির গিট ইত্যাদি ব্যবহার করত। পরবর্তীতে গণনার কাজে বিভিন্ন কৌশল ও যন্ত্র ব্যবহার করে থাকলেও অ্যাবাকাস (Abacus) নামক একটি প্রাচীন গণনা যন্ত্রকেই কম্পিউটারের ইতিহাসে প্রথম যন্ত্র হিসেবে ধরা হয়। এটি আবিষ্কৃত হয় খ্রিষ্টপূর্ব ২৪০০ সালে ব্যাবিলনে। অ্যাবাকাস ফ্রেমে সাজানো গুটির স্থান পরিবর্তন করে গননা করার যন্ত্র। খ্রিস্টপূর্ব ৪৫০/৫০০ অব্দে মিশরে বা চীনে গননা যন্ত্র হিসেবে অ্যাবাকাস তৈরি হয়।
কম্পিউটার বিজ্ঞানের ইতিহাস
১৯৩১ সালে কার্ট গডেল তাঁর ইনকমপ্লিটনেস থিওরেম বা অসম্পূর্নতার উপপাদ্য প্রকাশ করেন। এই উপপাদ্য অনুসারে যেকোন গাণিতিক ধারা বা মডেলে(যা এক বা একাধিক স্বতঃসিদ্ধের উপর ভিত্তি করে তৈরী হয়) অসম্পূর্নতা থাকতে পারে। এই অসম্পূর্নতার অর্থ হল এই যে এখানে একাধিক (অনুমান) বা (বিবৃতি) থাকবে যাদেরকে গণিতের সাহায্যে প্রমান করা সম্ভব হবে না। এই উপপাদ্য এবিষয়ে আরও গবেষণার সূচনা করে এবং এর ফলে মিউ রিকার্সিভ ফাংশন,ল্যাম্বডা-ডিফাইনেবেল ফাংশন ধারণাগুলি সামনে আসে।