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 Alan Robinson (9 March 1930 – 5 August 2016) was a philosopher, mathematician, and computer scientist.He was a professor emeritus at Syracuse University.. Alan Robinson's major contribution is to the foundations of automated theorem proving.
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.
John Corcoran (/ ˈ k ɔːr k ər ən / KOR-kər-ən; March 20, 1937 – January 8, 2021) was an American logician, philosopher, mathematician, and historian of logic.He is best known for his philosophical work on concepts such as the nature of inference, relations between conditions, argument-deduction-proof distinctions, the relationship between logic and epistemology, and the place of proof ...
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] He has spent most of his career in the United Kingdom.
The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma. Oxford University Press. ISBN 0-19-825080-0. Turing, Sarah (1959). Alan M. Turing. Heffer. Yates, David M. (1997). Turing's Legacy: A History of Computing at the National Physical Laboratory, 1945–1995.
George Robert Stibitz (April 30, 1904 [1] – January 31, 1995) [2] was an American researcher at Bell Labs who is internationally recognized as one of the fathers of the modern digital computer. He was known for his work in the 1930s and 1940s on the realization of Boolean logic digital circuits using electromechanical relays as the switching ...
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