User:Psion7s/Books/dropbox


 * Algorithm
 * Calculation
 * Data processing
 * Automated reasoning
 * Muhammad ibn Musa al-Khwarizmi
 * Function (mathematics)
 * Computation
 * Execution (computing)
 * Determinism
 * Randomized algorithm
 * Entscheidungsproblem
 * David Hilbert
 * Effective method
 * Kurt Gödel
 * Jacques Herbrand
 * Stephen Cole Kleene
 * Recursion (computer science)
 * Alonzo Church
 * Lambda calculus
 * Emil Leon Post
 * Alan Turing
 * Turing machine
 * Abstract machine
 * Computer
 * Random-access memory
 * Turing completeness
 * Algorithm characterizations
 * Computable function
 * Random-access machine
 * Random-access stored-program machine
 * Turing machine equivalents
 * Chomsky hierarchy
 * Formal grammar
 * Formal language
 * Taxonomy (general)
 * Programming language
 * M4 (computer language)
 * C preprocessor
 * William Stanley Jevons
 * Syllogism
 * Logical form
 * John Venn
 * Primitive recursive function
 * Μ operator
 * Μ-recursive function
 * Wilhelm Ackermann
 * Ackermann function
 * Rózsa Péter
 * Cantor's diagonal argument
 * Church–Turing thesis
 * Counter machine
 * Counter-machine model
 * Andrey Markov
 * Recursion
 * Ian Stewart (mathematician)
 * Constructivism (mathematics)
 * Intuitionism
 * Gödel's incompleteness theorems
 * Recursive set
 * Axiomatic system
 * Natural number
 * Peano axioms
 * Axiom
 * Gödel numbering
 * Axiom of choice
 * Continuum hypothesis
 * Set theory
 * Proof theory
 * Classical logic
 * Intuitionistic logic
 * Modal logic
 * On Formally Undecidable Propositions of Principia Mathematica and Related Systems
 * Recursively enumerable set
 * Albert Einstein
 * Theoretical physics
 * General relativity
 * Modern physics
 * Quantum mechanics
 * Philosophy of science
 * Mass–energy equivalence
 * Nobel Prize in Physics
 * Photoelectric effect
 * Introduction to quantum mechanics
 * Classical mechanics
 * Electromagnetic field
 * Special relativity
 * Gravitational field
 * Statistical mechanics
 * Particle
 * Brownian motion
 * Photon
 * Universe