Hewitt, Carl; Bishop, Peter; Steiger, Richard (1973). "A Universal Modular Actor Formalism for Artificial Intelligence". IJCAI.
Most Influential Papers in Computer Science History
21–30 of 114 posts
Re: Most Influential Papers in Computer Science History
#22[1] https://courses.cs.duke.edu/spring03/cps296.5/papers/ziv_lem...
Re: Most Influential Papers in Computer Science History
#23I wonder how someone could make such a list and completely ignore cryptography. No, it is not enough to mention NP-completeness.
Re: Most Influential Papers in Computer Science History
#24The Turing paper is foundational for CS, but without it, would the technology have evolved differently? Probably not. Most software engineers have not read it. Conversely, the IP standard is a technological cornerstone, but there's hardly any science in it. It's just a specification of a fairly simple protocol that you need to know when doing almost anything network-adjacent.
Re: Most Influential Papers in Computer Science History
#25Surprised the Bitcoin paper isn't on here.
It doesn't really add anything to computer science, but then again the Sergey-Brin paper probably doesn't match that rigidity either.
Re: Most Influential Papers in Computer Science History
#26I was actually doing something similar on my own, so I might recommend some papers
- RSA: A Method for Obtaining Digital Signatures and Public-Key Cryptosystems (1978)
- PageRank: The PageRank Citation Ranking: Bringing Order to the Web (1999)
- MapReduce: MapReduce: simplified data processing on large clusters (2008)
- Bitcoin: Bitcoin: A Peer-to-Peer Electronic Cash System (2008)
- BackProp: Learning representations by back-propagating errors (1986)
- Hoare Logic: An Axiomatic Basis for Computer Programming (1969)
Re: Most Influential Papers in Computer Science History
#27I think the also ran list should be in the main list.
Re: Most Influential Papers in Computer Science History
#28It would be interesting to see the opposite of this; which papers are really interesting and look useful, but did not end up having a significant impact?
Re: Most Influential Papers in Computer Science History
#29That's not what Turing proved. Instead, what he proved in his paper was that there are some problems which aren't solvable by Turing Machines (and therefore presumably by any machine). That's the Entscheidungsproblem (decision problem) referenced in the title.
What TFA references is the so-called Church-Turing-Thesis, which is exactly that, a thesis. It can't really be proven although we have very strong reason to believe it given that in almost 100 years nobody has found a system of computation more powerful than Turing Machines.
Re: Most Influential Papers in Computer Science History
#30"Sketchpad: A Man-machine Graphical Communication System."