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
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 Science of Computing: Shaping a Discipline. Taylor and Francis / CRC Press. ISBN 978-1-4822-1769-8. Kak, Subhash : Computing Science in Ancient India; Munshiram Manoharlal Publishers Pvt. Ltd (2001) The Development of Computer Science: A Sociocultural Perspective Matti Tedre's Ph.D. Thesis, University of Joensuu (2006) Ceruzzi, Paul E. (1998).
Stephen Cole Kleene (/ ˈ k l eɪ n i / KLAY-nee; [a] January 5, 1909 – January 25, 1994) was an American mathematician.One of the students of Alonzo Church, Kleene, along with Rózsa Péter, Alan Turing, Emil Post, and others, is best known as a founder of the branch of mathematical logic known as recursion theory, which subsequently helped to provide the foundations of theoretical computer ...
Christopher S. Strachey (/ ˈ s t r eɪ tʃ i /; 16 November 1916 – 18 May 1975) was a British computer scientist. [1] [2] [3] He was one of the founders of denotational semantics, and a pioneer in programming language design and computer time-sharing. [4]
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.
The oldest known recordings of computer generated music were played by the Ferranti Mark 1 computer. The Mark 1 is a commercial version of the Manchester Mark 1 machine from the University of Manchester. The music program was written by Christopher Strachey. 1951: US EDVAC (electronic discrete variable computer). The first computer to use ...