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
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]
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 ]
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.
Computer Pioneers. IEEE. ISBN 0-8186-6357-X. (the two Lee books are likely the same book, one printed in the U.S, the other in England) Lee, J.A.N. (1995). International Biographical Dictionary of Computer Pioneers. Routledge. ISBN 1-884964-47-8. Mims, Forrest M., III (1986). Siliconnections: Coming of Age in the Electronic Era.
[4] [5] [6] Aristotle also described means–ends analysis (an algorithm for planning) in Nicomachean Ethics, the same algorithm used by Newell and Simon's General Problem Solver (1959). [7] 3rd century BC Ctesibius invents a mechanical water clock with an alarm. This was the first example of a feedback mechanism. [citation needed] 1st century