کدگذاری
از ویکی‌پدیا، دانشنامهٔ آزاد.
نظریة کدینگ در سال ۱۹۴۸ توسط ریچارد همینگ پایه ریزی شد. وی پی برده بود هنگامی که رایانه از یک عمل رایج نسخه برداری می‌کند و با عمل دیگری شروع به کار می‌کند، هرگز نمی‌تواند به حالت اولیه باز گردد. نظریه کدینگ مثال قابل توجهی از ریاضیات محض در حل مسائل علمی است. اگر چه برخی از رمزهای ساده دارای ساختاری هستند که نیاز زیادی به ریاضیات ندارد، با این حال ویژگی رمزها از کشفیات ریاضیات است. مانند هستة ارسال خطی که اثبات فعالیتهای واقعی را ممکن می‌سازد و بدون این گونه برهانها، رمزها در حقیقت بدون استفاده می‌باشند. علاوه بر این، ریاضیات موجب ایجاد رمزها در ابعاد دیگر می‌شود و با افزایش قابلیت تصحیح خطا، اثباتهایی را برای موجودیـت یا عدم موجودیت رمزها ارائه داده‌است.
