Computer science/Catalogs/Breakthroughs: Difference between revisions
< Computer science | Catalogs
Jump to navigation
Jump to search
imported>Pat Palmer (adding Church) |
imported>Eric Evers No edit summary |
||
| (28 intermediate revisions by 12 users not shown) | |||
| Line 1: | Line 1: | ||
This is a list of people who have made major ''conceptual'' breakthroughs in [[computer science]] that we need to mention somehow in the [[history of computing]] article (which is currently organized as a timeline not amenable to inclusion of people per se). | {{subpages}} | ||
This is a list of people who have made major ''conceptual'' breakthroughs in [[computer science]]. | |||
<!-- that we need to mention somehow in the [[history of computing]] article (which is currently organized as a timeline not amenable to inclusion of people per se). If unlinked, these are placeholders until an article can be written. The summary should describe briefly the most famous thing the person did. | |||
This list should ''not'' include people just because they invented a new computer, operating system, or type of software, unless they devised an innovation which was so compelling that it was adopted by everyone later because it was such a good idea (and you can identify what that innovation was, and document it). Let's keep this for the really great ones for now. | This list should ''not'' include people just because they invented a new computer, operating system, or type of software, unless they devised an innovation which was so compelling that it was adopted by everyone later because it was such a good idea (and you can identify what that innovation was, and document it). Let's keep this for the really great ones for now. | ||
| Line 6: | Line 9: | ||
Please also alphabetize by last name. | Please also alphabetize by last name. | ||
[[User:Pat Palmer|Pat Palmer]] 16:06, 12 May 2007 (CDT) | [[User:Pat Palmer|Pat Palmer]] 16:06, 12 May 2007 (CDT)--> | ||
* [[John Backus|Backus, John]] (1924-2007) - inventor of FORTRAN | * [[John Backus|Backus, John]] (1924-2007) - inventor of FORTRAN | ||
* [[Charles Babbage|Babbage, Charles]] (1791-1871) - early theorist for how a computing machine could be programmed | * [[Charles Babbage|Babbage, Charles]] (1791-1871) - early theorist for how a computing machine could be programmed | ||
* [[George Boole|Boole, George]] (1815-1864) - inventor of [[Boolean algebra]] | |||
* [[Dan Bricklin|Bricklin, Dan]] - invention of the first spreadsheet | * [[Dan Bricklin|Bricklin, Dan]] - invention of the first spreadsheet | ||
* [[Alonzo Church|Church, Alonzo]] - proof that first-order logic is undecidable; Church's thesis; creation of the lambda calculus | * [[Vinton Cerf|Cerf, Vinton]] - practical definition of the catenet principle of interconnecting networks, the basic idea of the [[Internet]] | ||
* [[Alonzo Church|Church, Alonzo]] (1903-1995) - proof that first-order logic is undecidable; Church's thesis; creation of the [[lambda calculus]] | |||
* [[E. F. Codd]] (1923 - 2003) - the relational model for database management | |||
* [[David Deutsch|Deutsch, David]] (1953 - ) - pioneer of quantum computing | |||
* [[Eric Drexler]] (1955 -) - father of molecular nanotechnology | |||
* [[Jay Forrester]] (1918 -) - invention of core memory in 1953 (while working on the Whirlwind computer) | |||
* [[Joseph Fourier|Fourier, Joseph]] (1768-1830) - invented of Fourier series (long before electronic computers), making possible imaging algorithms for radar, xrays, etc | |||
* [[Richard Hamming|Hamming, Richard]] (1915-1998) - invention of Hamming code for error correction | * [[Richard Hamming|Hamming, Richard]] (1915-1998) - invention of Hamming code for error correction | ||
* [[Grace Hopper|Hopper, Grace]] (1906-1992) - invention of the compiler | * [[Grace Hopper|Hopper, Grace]] (1906-1992) - invention of the compiler | ||
* [[Donald Knuth|Knuth, Donald]] - created an encyclopedia of algorithms; pioneer in [[analysis of algorithms]] | * [[Donald Knuth|Knuth, Donald]] - created an encyclopedia of algorithms; pioneer in [[analysis of algorithms]] | ||
* [[Claude Shannon|Shannon, Claude]] (1916-2001)- association of boolean algebra with digital design; pioneering work in [[information theory]] | * [[Gottfried Wilhelm Leibnitz|Leibnitz, Gottfried Wilhelm]] - discovered the binary number system (base 2) | ||
* [[ | * [[Ada Lovelace|Lovelace, Ada]] (1815-1852) - wrote first computer program (instructions for calculating Bernoulli numbers on a Babbage machine) | ||
* [[Dennis Ritchie|Ritchie, Dennis]] (1941- ) - Created [[C programming language]], co-developer of Unix. | |||
* [[Claude Shannon|Shannon, Claude]] (1916-2001) - association of boolean algebra with digital design; pioneering work in [[information theory]] | |||
* [[John Tukey|Tukey, John]] (1915-2000) - introduction of the word "[[bit]]" as a contraction of binary digit and the word "[[software]]" in a computing context | |||
* [[Alan Turing|Turing, Alan]] (1912-1954) - theory of computability | * [[Alan Turing|Turing, Alan]] (1912-1954) - theory of computability | ||
* [[Konrad Zuse|Zuse, Konrad]] (1910-1995) - likely invented the first electronic computer; likely the first designer to propose pipelining | * [[John von Neumann|von Neumann, John]] (1903-1957) - first publication proposing use of same memory space for program instructions and data (idea now recognized as not created by JVN), merge sort algorithm, cellular automata | ||
* [[Norbert_Wiener|Weiner, Norbert]] (1894 - 1964) Cybernetics. | |||
* [[Konrad Zuse|Zuse, Konrad]] (1910-1995) - likely invented the first electronic computer; likely the first designer to propose pipelining in [[processors]] | |||
==References== | ==References== | ||
<references/> | <references/> | ||
Latest revision as of 08:39, 10 November 2008
| The metadata subpage is missing. You can start it via filling in this form or by following the instructions that come up after clicking on the [show] link to the right. | |||
|---|---|---|---|
|
This is a list of people who have made major conceptual breakthroughs in computer science.
- Backus, John (1924-2007) - inventor of FORTRAN
- Babbage, Charles (1791-1871) - early theorist for how a computing machine could be programmed
- Boole, George (1815-1864) - inventor of Boolean algebra
- Bricklin, Dan - invention of the first spreadsheet
- Cerf, Vinton - practical definition of the catenet principle of interconnecting networks, the basic idea of the Internet
- Church, Alonzo (1903-1995) - proof that first-order logic is undecidable; Church's thesis; creation of the lambda calculus
- E. F. Codd (1923 - 2003) - the relational model for database management
- Deutsch, David (1953 - ) - pioneer of quantum computing
- Eric Drexler (1955 -) - father of molecular nanotechnology
- Jay Forrester (1918 -) - invention of core memory in 1953 (while working on the Whirlwind computer)
- Fourier, Joseph (1768-1830) - invented of Fourier series (long before electronic computers), making possible imaging algorithms for radar, xrays, etc
- Hamming, Richard (1915-1998) - invention of Hamming code for error correction
- Hopper, Grace (1906-1992) - invention of the compiler
- Knuth, Donald - created an encyclopedia of algorithms; pioneer in analysis of algorithms
- Leibnitz, Gottfried Wilhelm - discovered the binary number system (base 2)
- Lovelace, Ada (1815-1852) - wrote first computer program (instructions for calculating Bernoulli numbers on a Babbage machine)
- Ritchie, Dennis (1941- ) - Created C programming language, co-developer of Unix.
- Shannon, Claude (1916-2001) - association of boolean algebra with digital design; pioneering work in information theory
- Tukey, John (1915-2000) - introduction of the word "bit" as a contraction of binary digit and the word "software" in a computing context
- Turing, Alan (1912-1954) - theory of computability
- von Neumann, John (1903-1957) - first publication proposing use of same memory space for program instructions and data (idea now recognized as not created by JVN), merge sort algorithm, cellular automata
- Weiner, Norbert (1894 - 1964) Cybernetics.
- Zuse, Konrad (1910-1995) - likely invented the first electronic computer; likely the first designer to propose pipelining in processors