(→History) |
|||
Line 6: | Line 6: | ||
The 1900s brought the formalization of programming languages through mathematical abstractions and algorithms due to concepts such as [[Wikipedia:Alonzo Church|Alonzo Church's]] [[lambda calculus]] and [[Wikipedia:Alan Turing|Alan Turing's]] [[Turing machine]]s. | The 1900s brought the formalization of programming languages through mathematical abstractions and algorithms due to concepts such as [[Wikipedia:Alonzo Church|Alonzo Church's]] [[lambda calculus]] and [[Wikipedia:Alan Turing|Alan Turing's]] [[Turing machine]]s. | ||
+ | |||
+ | [[Category:Programming languages]] |
Revision as of 05:15, 15 February 2014
This article is still a stub and needs your attention. You can help improve this article by editing this page and adding the missing information. |
A programming language is a language designed typically for humans to direct a computer to perform a certain task such as adding two numbers together. Programming languages can be used to create programs by implement various algorithms that change the control flow depending on various conditions that occur.
History
In the late 1700s, the British mathematician, Charles Babbage invented the concept of a programmable computer with the design of the Difference engine. The original design was to make a mechanical calculator for computing polynomials. While the original machine was never fully completed due to multiple reasons, his concepts have lived on. In 1837 Babbage described plans for an Analytical Engine. His computer was designed to be digital, programmable using punch cards, with memory for up to 1000 numbers. Had it been completed, it would have been the first Turing-complete computational machine.
The 1900s brought the formalization of programming languages through mathematical abstractions and algorithms due to concepts such as Alonzo Church's lambda calculus and Alan Turing's Turing machines.