Search results
Results from the WOW.Com Content Network
Pioneer of mainframe computing; designed IBM 704; chief architect of IBM System/360. [4] [5] Formulated Amdahl's law; also worked on IBM 709 and IBM 7030 Stretch. [6] 1939 Atanasoff, John: Built the first electronic digital computer, the Atanasoff–Berry Computer, though it was neither programmable nor Turing-complete. 1822, 1837 Babbage, Charles
John von Neumann (1903–1957) – early computers, von Neumann machine, set theory, functional analysis, mathematics pioneer, linear programming, quantum mechanics; Allen Newell – artificial intelligence, Computer Structures; Max Newman – Colossus computer, MADM; Andrew Ng – artificial intelligence, machine learning, robotics
Louis Hodes – Lisp, pattern recognition, logic programming, cancer research; John Henry Holland – pioneer in what became known as genetic algorithms, developed Holland's schema theorem, Learning Classifier Systems; Allen Holub – author and public speaker, Agile Manifesto signatory; Grace Hopper – Harvard Mark I computer, FLOW-MATIC, COBOL
Alonzo Church (June 14, 1903 – August 11, 1995) was an American computer scientist, mathematician, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. [2]
Konrad Zuse designed and built electromechanical logic gates for his computer Z1 (from 1935 to 1938). Up to and during the 1930s, electrical engineers were able to build electronic circuits to solve mathematical and logic problems, but most did so in an ad hoc manner, lacking any theoretical rigor.
Robert Anthony Kowalski (born 15 May 1941) is an American-British logician and computer scientist, whose research is concerned with developing both human-oriented models of computing and computational models of human thinking. [1]
Grace Brewster Hopper (née Murray; December 9, 1906 – January 1, 1992) was an American computer scientist, mathematician, and United States Navy rear admiral. [1] She was a pioneer of computer programming.
A logician is a person who studies logic. Some famous logicians are listed below in English alphabetical transliteration order (by surname ). This is a dynamic list and may never be able to satisfy particular standards for completeness.