Computer science/Catalogs/Breakthroughs: Difference between revisions
imported>Chulwoo Pak No edit summary |
imported>Anton Sweeney (George Boole, inventor of Boolean algebra) |
||
| Line 10: | Line 10: | ||
* [[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]] (1903-1995) - proof that first-order logic is undecidable; Church's thesis; creation of the [[lambda calculus]] | * [[Alonzo Church|Church, Alonzo]] (1903-1995) - proof that first-order logic is undecidable; Church's thesis; creation of the [[lambda calculus]] | ||
* [[Joseph Fourier|Fourier, Joseph]] (1768-1830) - invented of Fourier series (long before electronic computers), making possible imaging algorithms for radar, xrays, etc | * [[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, and COBOL | * [[Grace Hopper|Hopper, Grace]] (1906-1992) - invention of the compiler, and COBOL | ||
Revision as of 16:44, 26 May 2007
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 article might be renamed, moved or removed later once we figure out how to structure more of the CZ:Computers Workgroup articles.
Please also alphabetize by last name. Pat Palmer 16:06, 12 May 2007 (CDT)
- 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
- Church, Alonzo (1903-1995) - proof that first-order logic is undecidable; Church's thesis; creation of the lambda calculus
- 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, and COBOL
- Knuth, Donald - created an encyclopedia of algorithms; pioneer in analysis of algorithms
- Shannon, Claude (1916-2001)- association of boolean algebra with digital design; pioneering work in information theory
- Torvalds, Linus - implemented Linux kernel, first monolithic, UNIX-like operating system which could run on an IBM compatible PC
- 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
- Zuse, Konrad (1910-1995) - likely invented the first electronic computer; likely the first designer to propose pipelining] in processors