Files

comp_sci_fundamentals_and_history

Name		Name	Last commit message	Last commit date
parent directory ..
README.md		README.md
axiomatic-basis-computer-programming.pdf		axiomatic-basis-computer-programming.pdf
early-lisp-history-1956-1959-herbert-stoyan-html-rendering.pdf		early-lisp-history-1956-1959-herbert-stoyan-html-rendering.pdf
hints-for-computer-system-design.pdf		hints-for-computer-system-design.pdf
recursive-functions-of-symbolic-expressions-and-their-computation-by-machine-parti.pdf		recursive-functions-of-symbolic-expressions-and-their-computation-by-machine-parti.pdf
story-of-squeak-a-practical-smalltalk-written-in-itself.pdf		story-of-squeak-a-practical-smalltalk-written-in-itself.pdf

README.md

Computer Science Fundamentals and History

"Turing, On computable numbers, with an application to the Entscheidungsproblem" by Alan Turing
- As a PDF: Turing, On computable numbers, with an application to the Entscheidungsproblem
- As a collection of single images: Turing, On computable numbers, with an application to the Entscheidungsproblem by Alan Turing
Mealy, A Method for Synthesizing Sequential Circuits by George H. Mealy
📜 Back to the Future - The Story of Squeak, A Practical Smalltalk Written in Itself by Dan Ingalls, Ted Kaehler, John Maloney, Scott Wallace & Alan Kay
📜 Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I by John McCarthy
📜 An Axiomatic Basis for Computer Programming by C. A. R. HOARE
On the Computational Complexity of Algorithims by J. HARTMANIS AND R. E. STEARNS
📜 Hints for Computer System Design
📜 Early Lisp History: 1956-1959 by Herbert Stoyan. This is a pdf rendering of the HTML page available at Archive.org.
📜 Why Programming is a good medium for expressing poorly understood and sloppily-formulated ideas by Marvin Minsky