Безплатен софтуер
Алгоритъм за това, което би било първият софтуер , е написан от Ада Лавлейс през 19 век за планираната аналитична машина. Тя създаде доказателства , за да покаже как двигателят ще изчисли числата на Бернули. Заради доказателствата и алгоритъма тя се счита за първия компютърен програмист. Първата теория за софтуера , преди създаването на компютрите, каквито ги познаваме днес, беше предложена от Алън Тюринг в неговото есе от 1936 г. За изчислимите числа с приложение безплатен софуер към Entscheidungsproblem (проблем с вземането на решение). Това в крайна сметка доведе до създаването на академичните области на компютърните науки и софтуерното инженерство; и двете области изучават софтуер и неговото създаване . Компютърните науки са теоретичното изследване на компютъра и софтуера (есето на Тюринг е пример за компютърни науки), докато софтуерното инженерство е прилагането на инженерни принципи за разработване на софтуер. През 2000 г. Фред Шапиро, библиотекар в Юридическия факултет на Йейл