Search results
Results from the WOW.Com Content Network
Pioneering work on automata theory, parallel computing, artificial intelligence, man-machine interfaces and computer graphics; one of the lead architects of the TR 4 supercomputer; invented Händler diagrams for logic function minimization; devised the Erlangen Classification System (ECS) for parallel computers
John Vincent Atanasoff – computer pioneer, creator of Atanasoff Berry Computer (ABC) Shakuntala Atre – database theory; Lennart Augustsson – languages (Lazy ML, Cayenne), compilers (HBC Haskell, parallel Haskell front end, Bluespec SystemVerilog early), LPMud pioneer, NetBSD device drivers
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
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.
The History of Computing by J.A.N. Lee "Things that Count: the rise and fall of calculators" The History of Computing Project; SIG on Computers, Information and Society of the Society for the History of Technology; The Modern History of Computing; A Chronology of Digital Computing Machines (to 1952) by Mark Brader
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.
Stibitz was born in York, Pennsylvania, the son of Mildred Murphy, a math teacher, and George Stibitz, a German Reformed minister and theology professor. Throughout his childhood, Stibitz enjoyed assembling devices and systems, working with material as diverse as a toy Meccano set or the electrical wiring of the family home. [3]
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]