Search results
Results from the WOW.Com Content Network
Contributions to the foundations of computational complexity theory and its application to cryptography and program checking [16] 1966 Böhm, Corrado: Theorized of the concept of structured programming. 1847, 1854 Boole, George: Formalized Boolean algebra, the basis for digital logic and computer science. 1947 Booth, Kathleen
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.
The history of computer science began long before the modern discipline of computer science, usually appearing in forms like mathematics or physics. Developments in previous centuries alluded to the discipline that we now know as computer science. [ 1 ]
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.
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 ...
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
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 ...
Allen Newell (March 19, 1927 – July 19, 1992) was an American researcher in computer science and cognitive psychology at the RAND Corporation and at Carnegie Mellon University's School of Computer Science, Tepper School of Business, and Department of Psychology.