enow.com Web Search

Search results

  1. Results from the WOW.Com Content Network
  2. John Alan Robinson - Wikipedia

    en.wikipedia.org/wiki/John_Alan_Robinson

    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.

  3. List of pioneers in computer science - Wikipedia

    en.wikipedia.org/wiki/List_of_pioneers_in...

    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

  4. Allen Newell - Wikipedia

    en.wikipedia.org/wiki/Allen_Newell

    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.

  5. History of computer science - Wikipedia

    en.wikipedia.org/wiki/History_of_computer_science

    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 ]

  6. Robert Kowalski - Wikipedia

    en.wikipedia.org/wiki/Robert_Kowalski

    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.

  7. John von Neumann - Wikipedia

    en.wikipedia.org/wiki/John_von_Neumann

    He was a pioneer in building the mathematical framework of quantum physics, in the development of functional analysis, and in game theory, introducing or codifying concepts including cellular automata, the universal constructor and the digital computer. His analysis of the structure of self-replication preceded the discovery of the structure of ...

  8. John Corcoran (logician) - Wikipedia

    en.wikipedia.org/wiki/John_Corcoran_(logician)

    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 ...

  9. Logic in computer science - Wikipedia

    en.wikipedia.org/wiki/Logic_in_computer_science

    Diagrammatic representation of computer logic gates. Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas: Theoretical foundations and analysis; Use of computer technology to aid logicians; Use of concepts from logic for computer applications