People
A list of people who did significant contributions in the field of computer science and software engineering. In no specific order.
Last updated
A list of people who did significant contributions in the field of computer science and software engineering. In no specific order.
Last updated
- developed , providing a formalisation of the concepts of and with the , which can be considered a model of a . Turing is widely considered to be the father of theoretical computer science and .
In 2013, about him and his contributions
: known for creating , , and software projects. He developed for calculating single digits of .
(2011)
- Theoretical foundations on computability. Gödel published his two in 1931 when he was 25 years old, one year after finishing his doctorate at the . The first incompleteness theorem states that for any self-consistent powerful enough to describe the arithmetic of the (for example ), there are true propositions about the natural numbers that cannot be proved from the . To prove this theorem, Gödel developed a technique now known as , which codes formal expressions as natural numbers.
What Gödel Discovered:
- Von Neumann made major contributions to many fields, including (, , , , , , , and ), (, , and ), (), (, , , ), and .
He was a pioneer of the application of to quantum mechanics in the development of functional analysis, and a key figure in the development of and the concepts of , the and the .
:
Claude Shannon:
Github's project is profiling famous or influential opensource contributors